動態(tài)程序切片在面向?qū)ο筌浖y試中的應(yīng)用.pdf

1、上海大學碩士學位論文動態(tài)程序切片在面向?qū)ο筌浖y試中的應(yīng)用姓名：阿內(nèi)自尼申請學位級別：碩士專業(yè)：計算機軟件與理論指導教師：徐拾義20030201上海大學碩士學位論文ThePostgraduateThesisofShanghaiUniversityAPPLICATl0N0FDYNAMICPRoGRAMSLICINGTOOBJECToRIENTEDSoFrWARETESTINGObjeet。Orientedo—O)softwaredevel

2、opmenthasbeenthefoCUSofsoftwaretechnology，andthequalityandreliabilityoftIlissoftwarehavebeenofmuchconcclTltomanysoftwaredevelopersandresearchersTheonlyanswertothisisthatbeforethedeploymentofthesoftwareproduct。itmustbetho

3、roughlyandefficientlytestedduringthedevelopmentphaseTestingisexpensivesincetestingcanrepresent60％ofthesoftwaredevelopmentphaseButtestingisalsonecessarybecausetestingisthemostprecise，mosteasilymeasuredandcontrolledpartoft

4、hesoftwaredevelopment曲aseToachievethis、dependsonaverygoodandcost—effectiveO—OsoftwaretestingtechniqueTestingofsoftwarerequiresderivationoftestcasesButthebigproblemthatliesaheadisthathowmanytestcasesyouactuallyneedtocompl

5、etelyandefficientlytestthissoftwarehourtechniquewcfirstdrawthecentrelflowgraphoftheclassundertest(CUT)andthenusetheCyclomaticComplexitymcthodtodeterminetheupperboundofthenumberoftestcasesofeachmemberfunotionWi也ourselecte

6、ddataflowandcentrelflowtestingcriteria，wcdeterminethedefinition—useassociation(defuseassociation，DUA)inthepresenceofscalarvariablesonlyandthenpointervariables(arrayvariablesarehandledthesamewaysimilartopointers)soastefin

7、e(minimize)也enumberoftestcasesWeselecttestcasesbasedontheDUAandtheabovementionedcriteriaandthenwritetheexecutionpathincludingtheexpectedontrlutandthendeterminewhetherthetestcoveragecriteriahasbeensatisfiedWewriteatestdri

8、verandinputthetestcasestoexecutetheCUTnleobservedoutputisthencomparedwiththeexpectedoutputTheresultoft11iscomparisonisreportedinthetestrepoftasFAILorPASSIfthetestfailsthcaweuseDynamicProgramSlicing(DPS)todetectandfixthef

9、ailure／sAfterwhich，were—usetheprevioustestsuitetetestthemodifiedCUTInourapproach，weusebethdynamicprogrginslicingalgorithmsinthepresenceofscalarsandpointersThealgorithmpresentedinthecaseofpointerscanalsobeusedinasimilarwa

10、ytocomputedynamicsliceinthepresenceofarrayvariablesThereasonfortheabeveapproachisthatwebelievethattestingisdonewiththeintentionoffindingfailuresbutnoterrors；andthatprogramslicin雙dynamicprogramslicing，inparticular)isparto

11、fsoftwaretestingbutnotviceversaTestingjsadi雎cult，errorprone，expensiveactivitybutitisnecessaryItisdifficultinthesensethattestingcanbeusedtoshowthepresenceofbugs，butnevertoshowtheirabsence；andthatnotestingmethod(orcombinat

12、ionofmethods)iseffectiveatexposhaga11possiblefailuresTestingiserrorpronesincethesystemtobetestedm叫belargeandcomplex，manybehaviorshavetobechecked，andfailuresmaybedifnculttodetectOurtestingtechniqueassun!csCasourprogrammin

13、glanguageButthistechniqueissufficientlyflexibletosupportotherO—OprogramminglanguagessuchasJavawithsimilarfeatures，Theadvantageofourtechniqueoverotherprevious0—0softwaretestingtechniqueisthatweintegratetheCyclomaticComple

14、xityandDynamicProgramSlicingmethodsintothesoftwaretestingprocessTheoverallgoalofourtestingtechniquejstopresentaneasytounderstandbutefficienttechniquetoderivewhiteboxtestcasesaswellastodetectandfixprogramfaults(failures)a