您的位置： 专家智库 > >

郑瑶海

作品数：2 被引量：0H指数：0
供职机构：中国科学院软件研究所更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 1篇软件测试
  • 1篇软件开发
  • 1篇软件开发自动...
  • 1篇自动化
  • 1篇控制流
  • 1篇控制流分析

机构

  • 2篇中国科学院软...

作者

  • 2篇郑瑶海
  • 1篇赵琛
  • 1篇陈伟

传媒

  • 1篇计算机工程

年份

  • 1篇2007
  • 1篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于中间表示的可复用程序分析系统
2007年
采用一种语言独立AST中间格式以便把程序的分析算法同编译器内部表示分离,利用这种格式设计与实现了Compiler Auxiliary Toolkit(COA)系统框架。COA可同时应用于静态分析算法和动态分析算法。在介绍了COA框架之后,用实例说明了如何利用COA框架进行函数调用图生成算法的静态分析和循环不变量的动态分析。
郑瑶海陈伟赵琛
一种基于中间格式表示的可复用程序分析系统
程序分析技术是以程序为处理对象，按信息获取的需求对程序进行具体的分析。随着现代程序设计技术的发展和软件规模的扩大，程序分析技术在软件工具和软件工程中得到了更多的应用与推广，对软件开发的智能化和自动化起着重要作用。比如，敏...
郑瑶海
关键词：控制流分析软件开发自动化软件测试
全选 清除 导出
共1页<1>
聚类工具0