路径条件生成中的优化策略
文献类型：期刊论文
| 作者 | 于亚南; 周喜
|
| 刊名 | 计算机工程与设计
 |
| 出版日期 | 2012 |
| 卷号 | 33期号:10页码:3995-3998+4003 |
| 关键词 | 符号执行 路径条件 前向遍历 后向遍历 依赖变量 |
| ISSN号 | 1000-7024 |
| 中文摘要 | 为了提高利用符号执行生成测试数据的效率,提出了一种结合传统前向遍历和后向遍历的方法。通过对传统前向遍历和后向遍历方式的优缺点进行对比分析,设计了一个结合二者优点的算法。该算法将程序分块处理,整体采用前向遍历的思想,但在每一个块中是后向遍历代码的;它兼具前向遍历较早发现不可达路径的优点和后向遍历可以避免不相关变量赋值的优点,解决了传统前向遍历中的冗余问题。实验结果表明了该方法的可行性和有效性。 |
| 公开日期 | 2013-04-20 |
| 源URL | [http://ir.xjipc.cas.cn/handle/365002/2413]  |
| 专题 | 新疆理化技术研究所_多语种信息技术研究室 |
| 作者单位 | 中国科学院新疆理化技术研究所;中国科学院研究生院 |
| 推荐引用方式 GB/T 7714 | 于亚南,周喜. 路径条件生成中的优化策略[J]. 计算机工程与设计,2012,33(10):3995-3998+4003. |
| APA | 于亚南,&周喜.(2012).路径条件生成中的优化策略.计算机工程与设计,33(10),3995-3998+4003. |
| MLA | 于亚南,et al."路径条件生成中的优化策略".计算机工程与设计 33.10(2012):3995-3998+4003. |
入库方式： OAI收割
来源：新疆理化技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。