您的位置： 专家智库 > >

魏强

作品数：1 被引量：2H指数：1
供职机构：国家数字交换系统工程技术研究中心更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇分析方法

机构

  • 1篇国家数字交换...

作者

  • 1篇刘杰
  • 1篇彭建山
  • 1篇曹琰
  • 1篇魏强

传媒

  • 1篇计算机工程

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
符号执行中的循环依赖分析方法被引量：2
2012年
符号执行方法处理循环时存在路径爆炸的问题。为此,提出一种基于归纳变量的循环依赖分析方法。通过识别循环归纳变量及符号表达式,结合边界约束条件生成可达归纳变量分支的路径约束,并采用符号化映射方法分析嵌套循环归纳变量依赖问题,从而在不展开循环的情况下生成覆盖归纳变量分支的测试用例。对开源工具Libxml2进行实验,该方法能发现其中2个while循环所引发的数组访问越界错误。
刘杰曹琰魏强彭建山
全选 清除 导出
共1页<1>
聚类工具0