基于模型驅動架構軟件測試用例自動生成的研究.pdf

1、浙江理工大學碩士學位論文基于模型驅動架構軟件測試用例自動生成的研究姓名：蔣忠煒申請學位級別：碩士專業(yè)：計算機應用技術指導教師：張云華20070101浙江理丁大學碩士學位論文AbstractDuringtheprocessofsoftwaretesting，thegenerationoftestcaseiscriticalanddifficultPresentlygenerationoftestcaseisprimarilydoneman

2、uallyrelyingontesters’experienceandcapabilitywhichresultsinlowefficiencyofsoftwaretesting，highcostofsoftwaredevelopmentanduncertainlyofsoftwarequalityConsequentlyimprovingthemethodofsoftwaretestinganddevelopmenttoolsthat

3、CallgeneratetestcaseautomaticallyareinurgentneedstoimprovetheefficiencyandautomationdegreeofsoftwaretestingtolowersoftwarecostandassuresoftwarequalityInthepastofcomputerscience，anumberofresearchesfocusedontestcasesgenera

4、tionfromformalspecificationButsometimes，agapbetweenthetestingandtheformalmethodscommunitycouldbeobservedTesterdidnotbelieveintheapplicabilityofformalverificationtechniquestorealworldproblems，andformalmethods’advocatescou

5、ldnotaccepttestingtechniquesasanadequateverificationmethodforproducingcorrectsoftwareThedisadvantageoftraditionalformallanguagesisthattheyaresuitabletopersonswithastrongmathematicalbackground，butdifficultfortheaveragebus

6、inessorsystemmodelertouseThispaperintroducestheObjectConstraintLanguage(OCL)andformallydefinesthe、、，_、_7、／一syntaxandsemanticsofOCLOCLisaformallanguageusedtodescribeconstraintsonUMLmodelsTheseconstraintsareparticularlyuse

7、ful，astlleyallowadevelopertocreateahighlyspecificsetofrulesthatgoverntheaspectsofanindividualobjectAmethodoffaultbasedtestCasegenerationforpreandpostconditionspecificationwasproposedinthispaperWepresenttheunderlyingtheor

8、ybygivingtestcasesaformalsemanticsandtranslatethisgeneraltestingtheorytoaconstraintsatisfactionproblemAnovelapproachforperformingmutationanalysisonOCLspecificationw_w鼉presentedandtheimplementationofsomemutationoperatorsw

9、asdescribedindetailThisapproachhassolved；—～thetraditionalmutationsystemperformanceproblems，enhancedtheusabilityofmutationanalysisInthispaperWeshowhowthepartitionanalysisofindividualmethodsofclassesCanbeautomated，andhowav