An empirical study on constraint optimization techniques for test generation.pdf

《An empirical study on constraint optimization techniques for test generation.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、SCIENCECHINAInformationSciences.RESEARCHPAPER.January2017,Vol.60012105:1–012105:15doi:10.1007/s11432-015-0450-5AnempiricalstudyonconstraintoptimizationtechniquesfortestgenerationZhiyiZHANG1,ZhenyuCHEN1*,RuizhiGAO2,EricWONG2&BaowenXU11StateKeyLaboratoryforNovelSoftwareTechnol

2、ogy,NanjingUniversity,Nanjing210093,China;2DepartmentofComputerScience,UniversityofTexasatDallas,Richardson75080-3021,USAReceivedNovember13,2015;acceptedFebruary3,2016;publishedonlineOctober13,2016AbstractConstraintsolvingisafrequent,butexpensiveoperationwithsymbolicexecutio

3、ntogeneratetestsforaprogram.Toimprovetheefficiencyoftestgenerationusingconstraintsolving,fouroptimizationtechniquesareusuallyappliedtoexistingconstraintsolvers,whichareconstraintindependence,constraintsetsimplifica-tion,constraintcaching,andexpressionrewriting.Inthispaper,wecon

4、ductedanempiricalstudy,usingthesefourconstraintoptimizationtechniquesinawellknowntestgenerationtoolKLEEwith77GNUCoreutilsapplications,tosystematicallyinvestigatehowtheseoptimizationtechniquesaffecttheefficiencyoftestgenera-tion.Theexperimentalresultsshowthattheseconstraintoptim

5、izationtechniquesaswellastheircombinationscannotimprovetheefficiencyoftestgenerationsignificantlyforALL-SIZEDprograms.Moreover,westudiedtheconstraintoptimizationtechniqueswithrespecttotwostaticmetrics,linesofcode(LOC)andcyclomaticcomplexity(CC),ofprograms.Theexperimentalresults

6、showthatthe“constraintsetsimplification”techniquecanimprovetheefficiencyoftestgenerationsignificantlyfortheprogramswithhighLOCandCCvalues.The“constraintcaching”optimizationtechniquecanimprovetheefficiencyoftestgenerationsignificantlyfortheprogramswithlowLOCandCCvalues.Finally,wepro

7、posefourhybridoptimizationstrategiesandpracticalguidelinesbasedondifferentstaticmetrics.Keywordstestgeneration,symbolicexecution,constraintsolving,constraintoptimization,staticmetricCitationZhangZY,ChenZY,GaoRZ,etal.Anempiricalstudyonconstraintoptimizationtechniquesfortestgen

8、eration.SciChinaInfSci,2017,60(1):012105,doi:10.1007/s11432-015-0450-51Intr