XJIPC OpenIR  > 多语种信息技术研究室
Fast loop boundary coverage testing in symbolic execution
WangYi; JiangTong Hai; DongJun
2013
会议名称2013 3rd International Conference on Advanced Measurement and Test, AMT 2013
页码2314-2317
会议日期March 13, 2013 - March 14, 2013
会议地点Xiamen, China
出版地Trans Tech Publications Ltd, Kreuzstrasse 10, Zurich-Durnten, CH-8635, Switzerland
摘要

Symbolic execution is a promising approach for software analyzing and testing, but it still suffers from scalability issues, in which a significant challenge is how to handle loop caused path explosion. This paper proposes a new approach to mitigate the scalability problem brought by loops in symbolic execution. By reusing the previously calculated results captured from satisfiability verification process, we implement a fast loop boundary coverage test strategy which can eliminate a large number of redundant paths and unnecessary solver invocations. Experimental results on Symbolic (Java) PathFinder show that our strategy can greatly improve the efficiency of testing for programs having loops

收录类别EI
文献类型会议论文
条目标识符http://ir.xjipc.cas.cn/handle/365002/3617
专题多语种信息技术研究室
作者单位University of Chinese Academy of SciencesXinjiang Technical Institute of Physics and Chemistry,Chinese Academy of Sciences
推荐引用方式
GB/T 7714
WangYi,JiangTong Hai,DongJun. Fast loop boundary coverage testing in symbolic execution[C]. Trans Tech Publications Ltd, Kreuzstrasse 10, Zurich-Durnten, CH-8635, Switzerland,2013:2314-2317.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
Fast loop boundary c(246KB)会议论文 开放获取CC BY-NC-SA浏览 请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[WangYi]的文章
[JiangTong Hai]的文章
[DongJun]的文章
百度学术
百度学术中相似的文章
[WangYi]的文章
[JiangTong Hai]的文章
[DongJun]的文章
必应学术
必应学术中相似的文章
[WangYi]的文章
[JiangTong Hai]的文章
[DongJun]的文章
相关权益政策
暂无数据
收藏/分享
文件名: Fast loop boundary coverage testing in symbolic execution.pdf
格式: Adobe PDF
此文件暂不支持浏览
所有评论 (0)
暂无评论
 

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