您的位置： 专家智库 > >

国家自然科学基金(609700980)

作品数：1 被引量：2H指数：1
相关作者：陈浩潘丽丽邹北骥更多>>
相关机构：中南大学中南林业科技大学更多>>
发文基金：湖南省教育厅优秀青年基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

机构

  • 1篇中南林业科技...
  • 1篇中南大学

作者

  • 1篇邹北骥
  • 1篇潘丽丽
  • 1篇陈浩

传媒

  • 1篇北京工业大学...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于关键分支的不可行路径确定方法被引量：2
2010年
不可行路径增加程序复杂度和冗余度,产生无效DU链,影响程序分析工具的分析结果.有效地确定不可行路径,可以优化路径测试,完善数据流分析、程序切片等程序静态分析工具.在深入分析不可行路径的基础上,提出一种基于关键分支的不可行路径确定方法.该方法利用程序的值依赖关系和控制依赖关系、确定关键分支,通过关键分支查找不可行路径.结果表明,基于关键分支的不可行路径确定方法花费较少的信息存储,有效地节省不可行路径的确定时间.
潘丽丽邹北骥王天锷陈浩
全选 清除 导出
共1页<1>
聚类工具0