资源描述:
《a systematic review of model based testing tool support》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、CarletonUniversity,TechnicalReportSCE-10-04May2010ASystematicReviewofModelBasedTestingToolSupportMuhammadShafique,YvanLabicheSoftwareQualityEngineeringLaboratory,DepartmentofSystemsandComputerEngineering,CarletonUniversity,1125ColonelByDrive,OttawaONK1S5B6,Canadamshafiqu@connect.ca
2、rleton.ca,labiche@sce.carleton.caAbstract.Model-basedtesting(MBT)isabouttestingasoftwaresystembyusingamodelofitsbehaviour.TobenefitfullyfromMBT,automationsupportisrequired.ThispaperpresentsasystematicreviewofprominentMBTtoolsupportwherewefocusontoolsthatrelyonstate-basedmodels.Thes
3、ystematicreviewprotocolpreciselydescribesthescopeofthesearchandthestepsinvolvedintoolselection.Preciselydefinedcriteriaareusedtocompareselectedtoolsandcomprisesupportfortestcoveragecriteria,levelofautomationforvarioustestingactivities,andsupportfortheconstructionoftestscaffolding.T
4、heresultsofthisreviewshouldbeofinteresttoawiderangeofstakeholders:softwarecompaniesinterestedinselectingthemostappropriateMBTtoolfortheirneeds;organizationswillingtoinvestintocreatingMBTtoolsupport;researchersinterestedinsettingresearchdirections.Keywords:state-basedtesting,transit
5、ion-basedtesting,systematicreview.1IntroductionSoftwaretesting,thatisevaluatingsoftwarebyobservingitsexecutionsonactualvaluedinputs[1],isprobablythemostwidelyusedverificationandvalidationtechnique.Softwaretestingtechniquesareusuallycharacterizedasbeingblack-box(orfunctional)orwhite
6、-box(orstructural)dependingonwhethertheyrelysolelyonaspecificationofthesoftwareundertest(SUT)orsolelyonitsimplementation[2].Authorsalsointroducethenotionofgrey-boxtestingthatmixesinformationfromthespecificationandtheimplementationtoderivetests[14].Anothertermthatismoreandmoreusedin
7、textbooksandarticlesismodel-basedtesting(MBT)[5,7,17].UttingandLegeardrecognizethatthistermhasdifferentacceptionsandtheyfocusononewhichistheautomationofthedesignofblack-boxtests[17].Inthispaperweconsideraslightlybroaderdefinitionandconsidermodel-basedtestingasthesupportofoneormore(
8、themorethemerrier)software