覆盖测试中回路结构的启发式引导选择路径探索

Q4 Computer Science

International Journal of Open Source Software and Processes Pub Date : 2017-04-01 DOI:10.4018/IJOSSP.2017040104

Xuzhou Zhang, Yunzhan Gong, Yawen Wang

{"title":"覆盖测试中回路结构的启发式引导选择路径探索","authors":"Xuzhou Zhang, Yunzhan Gong, Yawen Wang","doi":"10.4018/IJOSSP.2017040104","DOIUrl":null,"url":null,"abstract":"Static program analysis is a strong technique for analyzing program behavior, but suffers from scalabilityproblem,suchaspathexplosionwhichiscausedbythepresenceofloopsandfunction calls.This article applies the selective executionmechanismandheuristic strategyonexploring pathsthroughloops.Thiscombinatorialstrategytriestoalleviatethepathexplosionproblemfrom threeaspects:1)exploringloopswithdifferentapproachesaccordingtotheirrelativepositiontoa specifictarget;2)combiningstaticanalysis,dynamicexecution,andsymbolicexecutiontodealwith theseparatedprogram;3)applyingaheuristicstrategyonofferingguidanceforthepathexploration. Theseapproachesareintegratedtoautomaticallygeneratepathsforspecifiedtargetsinloopstructure. Experimentalresultsshowthattheauthors’proposedstrategyisavailableforcombinationofdifferent loops.Itoutperformssomeexistingtechniquesonachievingbettercoverageforprogramscontaining loops,andisapplicableinengineering. KEywORdS Heuristic Strategy, Hybrid Strategy, Path Generation, Program Analysis, Symbolic Execution","PeriodicalId":53605,"journal":{"name":"International Journal of Open Source Software and Processes","volume":"33 1","pages":"59-75"},"PeriodicalIF":0.0000,"publicationDate":"2017-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Heuristic Guided Selective Path Exploration for Loop Structure in Coverage Testing\",\"authors\":\"Xuzhou Zhang, Yunzhan Gong, Yawen Wang\",\"doi\":\"10.4018/IJOSSP.2017040104\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Static program analysis is a strong technique for analyzing program behavior, but suffers from scalabilityproblem,suchaspathexplosionwhichiscausedbythepresenceofloopsandfunction calls.This article applies the selective executionmechanismandheuristic strategyonexploring pathsthroughloops.Thiscombinatorialstrategytriestoalleviatethepathexplosionproblemfrom threeaspects:1)exploringloopswithdifferentapproachesaccordingtotheirrelativepositiontoa specifictarget;2)combiningstaticanalysis,dynamicexecution,andsymbolicexecutiontodealwith theseparatedprogram;3)applyingaheuristicstrategyonofferingguidanceforthepathexploration. Theseapproachesareintegratedtoautomaticallygeneratepathsforspecifiedtargetsinloopstructure. Experimentalresultsshowthattheauthors’proposedstrategyisavailableforcombinationofdifferent loops.Itoutperformssomeexistingtechniquesonachievingbettercoverageforprogramscontaining loops,andisapplicableinengineering. KEywORdS Heuristic Strategy, Hybrid Strategy, Path Generation, Program Analysis, Symbolic Execution\",\"PeriodicalId\":53605,\"journal\":{\"name\":\"International Journal of Open Source Software and Processes\",\"volume\":\"33 1\",\"pages\":\"59-75\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-04-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Journal of Open Source Software and Processes\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4018/IJOSSP.2017040104\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"Computer Science\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Journal of Open Source Software and Processes","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4018/IJOSSP.2017040104","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"Computer Science","Score":null,"Total":0}

引用次数: 2

摘要

静态程序分析是分析程序行为的一种强大的技术，但是会受到scalabilityproblem，suchaspathexplosionwhichiscausedbythepresenceofloopsandfunction调用的影响。This article_ applies_ the_ selective_ executionmechanismandheuristic strategyonexploring pathsthroughloops。上下组合战略缓解路径爆炸问题从三个方面:1)探索循环与不同方法根据相对位置具体目标;2)静态分析,结合动态执行,执行象征性,处理分离程序;3)应用启发式策略提供指导的路径探索。Theseapproachesareintegratedtoautomaticallygeneratepathsforspecifiedtargetsinloopstructure。Experimentalresultsshowthattheauthors ' proposedstrategyisavailableforcombinationofdifferent循环。Itoutperformssomeexistingtechniquesonachievingbettercoverageforprogramscontaining循环，andisapplicableinengineering。关键词启发式策略，混合策略，路径生成，程序分析，符号执行

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Heuristic Guided Selective Path Exploration for Loop Structure in Coverage Testing

Static program analysis is a strong technique for analyzing program behavior, but suffers from scalabilityproblem,suchaspathexplosionwhichiscausedbythepresenceofloopsandfunction calls.This article applies the selective executionmechanismandheuristic strategyonexploring pathsthroughloops.Thiscombinatorialstrategytriestoalleviatethepathexplosionproblemfrom threeaspects:1)exploringloopswithdifferentapproachesaccordingtotheirrelativepositiontoa specifictarget;2)combiningstaticanalysis,dynamicexecution,andsymbolicexecutiontodealwith theseparatedprogram;3)applyingaheuristicstrategyonofferingguidanceforthepathexploration. Theseapproachesareintegratedtoautomaticallygeneratepathsforspecifiedtargetsinloopstructure. Experimentalresultsshowthattheauthors’proposedstrategyisavailableforcombinationofdifferent loops.Itoutperformssomeexistingtechniquesonachievingbettercoverageforprogramscontaining loops,andisapplicableinengineering. KEywORdS Heuristic Strategy, Hybrid Strategy, Path Generation, Program Analysis, Symbolic Execution

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

International Journal of Open Source Software and Processes Computer Science-Software

CiteScore

1.90

自引率

0.00%

发文量

期刊介绍： The International Journal of Open Source Software and Processes (IJOSSP) publishes high-quality peer-reviewed and original research articles on the large field of open source software and processes. This wide area entails many intriguing question and facets, including the special development process performed by a large number of geographically dispersed programmers, community issues like coordination and communication, motivations of the participants, and also economic and legal issues. Beyond this topic, open source software is an example of a highly distributed innovation process led by the users. Therefore, many aspects have relevance beyond the realm of software and its development. In this tradition, IJOSSP also publishes papers on these topics. IJOSSP is a multi-disciplinary outlet, and welcomes submissions from all relevant fields of research and applying a multitude of research approaches.