XJIPC OpenIR  > 多语种信息技术研究室
路径条件生成中的优化策略
于亚南; 周喜
2012
发表期刊计算机工程与设计
ISSN1000-7024
卷号33期号:10页码:3995-3998+4003
摘要为了提高利用符号执行生成测试数据的效率,提出了一种结合传统前向遍历和后向遍历的方法。通过对传统前向遍历和后向遍历方式的优缺点进行对比分析,设计了一个结合二者优点的算法。该算法将程序分块处理,整体采用前向遍历的思想,但在每一个块中是后向遍历代码的;它兼具前向遍历较早发现不可达路径的优点和后向遍历可以避免不相关变量赋值的优点,解决了传统前向遍历中的冗余问题。实验结果表明了该方法的可行性和有效性。
关键词符号执行 路径条件 前向遍历 后向遍历 依赖变量
文献类型期刊论文
条目标识符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.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
路径条件生成中的优化策略.pdf(321KB)期刊论文作者接受稿开放获取CC BY-NC-SA浏览 请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[于亚南]的文章
[周喜]的文章
百度学术
百度学术中相似的文章
[于亚南]的文章
[周喜]的文章
必应学术
必应学术中相似的文章
[于亚南]的文章
[周喜]的文章
相关权益政策
暂无数据
收藏/分享
文件名: 路径条件生成中的优化策略.pdf
格式: Adobe PDF
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。