中国科学院新疆理化技术研究所机构知识库
Advanced  
XJIPC OpenIR  > 多语种信息技术研究室  > 期刊论文
题名: 路径条件生成中的优化策略
作者: 于亚南; 周喜
关键词: 符号执行 ; 路径条件 ; 前向遍历 ; 后向遍历 ; 依赖变量
刊名: 计算机工程与设计
发表日期: 2012
卷: 33, 期:10, 页:3995-3998+4003
资助者: 工业和信息化部电子信息产业发展基金项目([2009]453);新疆维吾尔自治区自然科学基金项目(2010211B26);自治区电子发展基金项目——新疆软件服务外包共性技术支撑平台([2011]327)
摘要: 为了提高利用符号执行生成测试数据的效率,提出了一种结合传统前向遍历和后向遍历的方法。通过对传统前向遍历和后向遍历方式的优缺点进行对比分析,设计了一个结合二者优点的算法。该算法将程序分块处理,整体采用前向遍历的思想,但在每一个块中是后向遍历代码的;它兼具前向遍历较早发现不可达路径的优点和后向遍历可以避免不相关变量赋值的优点,解决了传统前向遍历中的冗余问题。实验结果表明了该方法的可行性和有效性。
内容类型: 期刊论文
URI标识: http://ir.xjipc.cas.cn/handle/365002/2413
Appears in Collections:多语种信息技术研究室_期刊论文

Files in This Item:
File Name/ File Size Content Type Version Access License
路径条件生成中的优化策略.pdf(321KB)期刊论文作者接受稿开放获取View 联系获取全文

作者单位: 中国科学院新疆理化技术研究所;中国科学院研究生院

Recommended Citation:
于亚南,周喜. 路径条件生成中的优化策略[J]. 计算机工程与设计,2012,33(10):3995-3998+4003.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[于亚南]'s Articles
[周喜]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[于亚南]‘s Articles
[周喜]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
文件名: 路径条件生成中的优化策略.pdf
格式: Adobe PDF
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

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

 

 

Valid XHTML 1.0!
Powered by CSpace