基于路徑覆蓋的測(cè)試用例生成算法研究.pdf

1、河海大學(xué)碩士學(xué)位論文基于路徑覆蓋的測(cè)試用例生成算法研究姓名：李煜申請(qǐng)學(xué)位級(jí)別：碩士專業(yè)：計(jì)算機(jī)軟件與理論指導(dǎo)教師：陳金水20080601河海人學(xué)碩十論文摘要AbstractWiththedeVelopmentofcomputertechnology，computerso仟wareplaysanimpOnantroIeTheeme唱ence0fsORwarecrisismakesmorecomputerwOrkersrealizethei

2、mportanceofSofh^，arequality雛suranceSoRwaretestingistheonlyef『ectiVewaytoensuresomVarequalityTestcaSegenerationisthekeyofsofhVaretestingTestcaSedesigninghasadirectimpactontheefrectiVenessofsoRWaretestingThispaperdiscusses

3、OnesearchingalgorithmOftestdatagenerationinthewhiteboxtestingThismethodwiIlimproVethee衢ciencyofso脅areteStingPathcoVerageisoneofthehighestcoVeragemethodsinthewhiteboxtesting，andgenerally，thestructuredtestdataisgeneratedby

4、thewayofpathcoVerageThroughd詡’erentpath，itc鋤generatedia’erent鏟oupsofteStdatawhichcancoVeragedifrerentpath，allthe伊oupsoftestdataconstitutethepro伊am’sintegratedtestcaSeWh訂ereachingthesearchingalgorithmofteStdatageneration，

5、basedontheoriginalsearchingalgorithmisonlyfortheonedimensiOnalpredicate，thisp印eraddsamethodtosolVethecompoundpredicate，andputsfonVardagroupedsearchingalgorithmfortheprogmmwhichincludescompoundpredicateDuringtheprocessofs

6、earchingtestdata，thisarticleintroducesapro黟amslicingtechnologyThistechnOlogycanhelpusanalyzeandunderstandprogram，andalsocanabstractuse如lprocedure，soitcansimplifypro黟amcodeThispaperintroducesthedeVelopmentoftheslicingtech

7、nology，theclaSsificationofslicing，theslicinggudelines，slicingalgorithm，andputstheimponanceonthedynamicslicingalgorithmbaLsedonfornleranalysisAtlast，thisanicleputsfonVardaSystemfhmework，describesthissystem’sprocessesandea

8、chmodule’sexpectedfunctionindetail，andgiVesaspecificalgorithmThrou曲anexample，itVerifiedthefeasibilityofthissyStemframeworkKeywords：somVaretesting，testda氓testcaLse，pathcoverage，slicingtechnology，compoundpredict，branchfunc