资源描述:
《position paper model based testing》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、PositionPaper:Model-BasedTestingMarkUttingTheUniversityofWaikato,NewZealandEmail:marku@cs.waikato.ac.nz1IntroductionThispositionpapergivesanoverviewofmodel-basedtestinganddiscusseshowitmightfitintotheproposedgrandchallengeforaprogramverifier.Model-basedtesting[EFW02,BBN04,LPU04]isabreak-thro
2、ughinnovationinsoftwaretestingbecauseitcompletelyautomatesthevalidationtestingprocess.Model-basedtestingtoolsautomaticallygeneratetestcasesfromamodelofthesoftwareproduct.Thegeneratedtestsareexecutableandincludeanoraclecomponentwhichassignsapass/failverdicttoeachtest.Model-basedtestinghelps
3、toensurearepeatableandscientificbasisforproducttesting,givesgoodcoverageofallthebehaviorsoftheproductandallowsteststobelinkeddirectlytorequirements.Intensiveresearchonmodel-basedtestinginthelast5-10yearshasdemonstratedthefeasibilityofthisapproach,shownthatitcanbecost-effective,andhasdevelope
4、davarietyoftestgenerationstrategiesandmodelcoveragecriteria.Somecommercialtoolshavestartedtoemerge,fromtheUSA(T-Vec,ReactiveSystems,I-logix),andalsofromEurope(Conformiq,LeiriosTechnologies,Telelogic),aswellasawidevarietyofacademicandresearchtools[BFS05].Thediscussioninthispaperislimitedtof
5、unctionaltesting,ratherthanthemorespecialistareasoftestingreal-timesoftwareorconcurrentsoftware,becausemodel-basedtestingislessmatureintheseareas.Thepapergivesanoverviewofthevarietyofmethodsandpracticesofmodel-basedtesting,thenspeculatesonhowmodel-basedtestingmightpromoteorcomplementthepro
6、gramverifiergrandchallenge.2OverviewofModel-BasedTestingModel-basedtestingistheautomationofblack-boxtestdesign.Itusuallyin-volvesfourstages:11.buildinganabstractmodelofthesystemundertest.Thisissimilartotheprocessofformallyspecifyingthesystem,butthekindofspecification/modelneededfortestgenera
7、tionmaybealittledifferenttothatneededforotherpurposes,suchasprovingcorrectness,orclarifyingrequirements.2.validatingthemodel(typicallyviaanimation).Thisisdonetodetectgrosserrorsinthemodel.Thisvalidationprocessisincompleteofcourse,butthisislesscrucialinthisconte