您的位置： 专家智库 > >

于亚南

作品数：1 被引量：1H指数：1
供职机构：中国科学院研究生院更多>>
发文基金：新疆维吾尔自治区自然科学基金电子信息产业发展基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇遍历

机构

  • 1篇中国科学院研...
  • 1篇中国科学院新...

作者

  • 1篇周喜
  • 1篇于亚南

传媒

  • 1篇计算机工程与...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
路径条件生成中的优化策略被引量：1
2012年
为了提高利用符号执行生成测试数据的效率,提出了一种结合传统前向遍历和后向遍历的方法。通过对传统前向遍历和后向遍历方式的优缺点进行对比分析,设计了一个结合二者优点的算法。该算法将程序分块处理,整体采用前向遍历的思想,但在每一个块中是后向遍历代码的;它兼具前向遍历较早发现不可达路径的优点和后向遍历可以避免不相关变量赋值的优点,解决了传统前向遍历中的冗余问题。实验结果表明了该方法的可行性和有效性。
于亚南周喜
全选 清除 导出
共1页<1>
聚类工具0