XJIPC OpenIR  > 多语种信息技术研究室
路径条件生成中的优化策略
于亚南; 周喜
2012
Source Publication计算机工程与设计
ISSN1000-7024
Volume33Issue:10Pages:3995-3998+4003
Abstract为了提高利用符号执行生成测试数据的效率,提出了一种结合传统前向遍历和后向遍历的方法。通过对传统前向遍历和后向遍历方式的优缺点进行对比分析,设计了一个结合二者优点的算法。该算法将程序分块处理,整体采用前向遍历的思想,但在每一个块中是后向遍历代码的;它兼具前向遍历较早发现不可达路径的优点和后向遍历可以避免不相关变量赋值的优点,解决了传统前向遍历中的冗余问题。实验结果表明了该方法的可行性和有效性。
Keyword符号执行 路径条件 前向遍历 后向遍历 依赖变量
Document Type期刊论文
Identifierhttp://ir.xjipc.cas.cn/handle/365002/2413
Collection多语种信息技术研究室
Affiliation中国科学院新疆理化技术研究所;中国科学院研究生院
Recommended Citation
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.
Files in This Item:
File Name/Size DocType Version Access License
路径条件生成中的优化策略.pdf(321KB)期刊论文作者接受稿开放获取CC BY-NC-SAView Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[于亚南]'s Articles
[周喜]'s Articles
Baidu academic
Similar articles in Baidu academic
[于亚南]'s Articles
[周喜]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[于亚南]'s Articles
[周喜]'s Articles
Terms of Use
No data!
Social Bookmark/Share
File name: 路径条件生成中的优化策略.pdf
Format: Adobe PDF
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.