欢迎来到天天文库
浏览记录
ID:55399185
大小:578.99 KB
页数:8页
时间:2020-05-15
《基于混合测试和动态分析的分段代码测试.pdf》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、第41卷第2期计算机工程2015年2月Vo1.41NO.2ComputerEngineeringFebruary2015·体系结构与软件技术·文章编号:1000-3428(2015)02-0063-07文献标识码:A中图分类号:TP311.5基于混合测试和动态分析的分段代码测试刘春宏,徐立华,颜婷,杨宗源(华东师范大学计算机科学技术系,上海200241)摘要:传统混合执行测试方法无法对源代码不可见函数进行符号执行。针对该问题,将符号执行、分段式符号执行以及具体执行按需结合,提出一种分段式混合执行测试方法,将源代码不可见函数以分段式分析法截取为单独代码
2、片段,结合动态执行和回归分析方法推导其相应的程序语义。为验证该方法的有效性,实现sCREST原型系统,并对5个应用广泛的开源系统进行测试。实验结果表明,该方法能够产生比传统方法覆盖更多分支数的测试数据。关键词:软件测试;混合测试;分段式符号分析;动态分析;测试数据生成;分支覆盖中文引用格式:刘春宏,徐立华,颜婷,等.基于混合测试和动态分析的分段代码测试[J].计算机工程,2015,41(2):63—69,80.英文引用格式:LiuChunhong,XuLihua,YanTing,eta1.SegmentedCodeTestingBasedonConc
3、olicTestingandDynamicAnalysis[J].ComputerEngineering,2015,41(2):63—69,80.SegmentedCodeTestingBasedonConcolicTestingandDynamicAnalysisLIUChunhong,XULihua,YANTing,YANGZongyuan(DepartmentofComputerScienceandTechnology,EastChinaNormalUniversity,Shanghai200241,China)【Abstract】Functi
4、oncallswithunavailablesourcecodescannotbeappropriatelyhandledbysymbolicexecutionintraditionalconcolictesting.Tosolvethisproblem,thispaperproposesasegmentedconcolictestingmethod,whichweaves,bydemand,symbolicexecution,segmentedsymbolicexecutionandconcreteexecutionthroughoutthetes
5、tingprocess.Thesefunctioncallsaretreatedasseparatecodesegments,dynamicallyexecutedandanalyzedtoderivetheircorrespondingprogramsemantics.Todemonstratetheeffectivenessoftheproposedmethod,thispaperimplementssCREST,asegmentedconcolictestingsystembasedonCREST,andexperimentswithfiveo
6、pensourcesystems.Experimentalresultsshowthatsegmenteconcolictestingisabletogeneratetestdatathatcoversmorebranchesthanthatofthetraditionalapproaches.【Keywords】softwaretesting;concolictesting;segmentedsymbolicanalysis;dynamicanalysis;testdatageneration;branchcoverageDoI:10.3969/i
7、.issn.10003428.2015.02.013缺陷语句的测试输入。文献[5]将混合执行测试应1概述用于基于污点指针的二进制代码缺陷检测中。混合混合执行测试。是一种将具体执行和符号执执行测试在100行~2000行代码的小型系统的单行相结合的有效测试方法,自动生成测试输入来执元测试中非常有效,但目前将其用于工业界实际行程序中所有可行路径以进行错误检测,受到广泛软件仍存在一些局限性。本文主要专注于混合执关注]。CREST在混合执行中提供多种基于程行测试中源代码不可见的函数调用处理这一局限性序控制流图的路径搜索策略,以尽量生成覆盖更多(也称为nativ
8、ecalls,它包括源代码不可获得的标准分支的测试输入。文献[4]提出一种目标制导的混库函数或者第三方组件的
此文档下载收益归作者所有