Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester: Foundation Level

297 Pages·2016·6.6 MB·English

by  Anne Kramer

(cid:2)
TrimSize:156mmx234mm Kramer ffirs.tex V3-02/29/2016 10:06am Pagei
MODEL-BASED TESTING
ESSENTIALS
(cid:2) (cid:2)
(cid:2)
(cid:2)
TrimSize:156mmx234mm Kramer ffirs.tex V3-02/29/2016 10:06am Pageii
(cid:2) (cid:2)
(cid:2)
(cid:2)
TrimSize:156mmx234mm Kramer ffirs.tex V3-02/29/2016 10:06am Pageiii
MODEL-BASED TESTING
ESSENTIALS
®
Guide to the ISTQB Certified
Model-Based Tester Foundation Level
ANNEKRAMER
BRUNOLEGEARD
(cid:2) (cid:2)
(cid:2)
(cid:2)
TrimSize:156mmx234mm Kramer ffirs.tex V3-02/29/2016 10:06am Pageiv
Copyright©2016byJohnWiley&Sons,Inc.Allrightsreserved
PublishedbyJohnWiley&Sons,Inc.,Hoboken,NewJersey
PublishedsimultaneouslyinCanada
Allnamesofproductsandcompaniesusedinthisbookmaybetrademarksoftheircorrespondingowners.Inparticular,
thefollowingtermsandabbreviationsareregisteredtrademarks:BPMN™,Hewlett-Packard®,HP®,ISTQB®,
IQBBA®,iSQI®,MATLABSimulink®,Microsoft®Windows®,ModelDrivenArchitecture®,MOF®,Object
ManagementGroup®,OMG®,RUP®,Sparx®SystemsEnterpriseArchitect®,Stateflow®,UML®,UnifiedModeling
Language™,XMI®.
Nopartofthispublicationmaybereproduced,storedinaretrievalsystem,ortransmittedinanyformorbyanymeans,
electronic,mechanical,photocopying,recording,scanning,orotherwise,exceptaspermittedunderSection107or108
ofthe1976UnitedStatesCopyrightAct,withouteitherthepriorwrittenpermissionofthePublisher,orauthorization
throughpaymentoftheappropriateper-copyfeetotheCopyrightClearanceCenter,Inc.,222RosewoodDrive,
Danvers,MA01923,[phone],fax[phone],oronthewebatwww.copyright.com.Requeststothe
PublisherforpermissionshouldbeaddressedtothePermissionsDepartment,JohnWiley&Sons,Inc.,111RiverStreet,
Hoboken,NJ07030,[phone],fax[phone],oronlineathttp://www.wiley.com/go/permission.
LimitofLiability/DisclaimerofWarranty:Whilethepublisherandauthorhaveusedtheirbesteffortsinpreparingthis
book,theymakenorepresentationsorwarrantieswithrespecttotheaccuracyorcompletenessofthecontentsofthis
bookandspecificallydisclaimanyimpliedwarrantiesofmerchantabilityorfitnessforaparticularpurpose.Nowarranty
maybecreatedorextendedbysalesrepresentativesorwrittensalesmaterials.Theadviceandstrategiescontained
(cid:2) (cid:2)
hereinmaynotbesuitableforyoursituation.Youshouldconsultwithaprofessionalwhereappropriate.Neitherthe
publishernorauthorshallbeliableforanylossofprofitoranyothercommercialdamages,includingbutnotlimitedto
special,incidental,consequential,orotherdamages.
Forgeneralinformationonourotherproductsandservicesorfortechnicalsupport,pleasecontactourCustomerCare
DepartmentwithintheUnitedStatesat(800)762-2974,outsidetheUnitedStatesat(317)572-3993orfax(317)
572-4002.
Wileyalsopublishesitsbooksinavarietyofelectronicformats.Somecontentthatappearsinprintmaynotbeavailable
inelectronicformats.FormoreinformationaboutWileyproducts,visitourwebsiteatwww.wiley.com.
LibraryofCongressCataloging-in-PublicationData
Names:Kramer,Anne,(Softwareengineer)author.|Legeard,Bruno,author.
Title:Model-basedtestingessentials:guidetotheISTQBcertified
model-basedtesterfoundationlevel/AnneKramer,BrunoLegeard.
Description:Hoboken,NewJersey:JohnWiley&SonsInc.,[2016]|Includes
bibliographicalreferencesandindex.
Identifiers:LCCN2015035751|ISBN9781119130017(cloth)
Subjects:LCSH:Computersoftware–Testing–Examinations–Studyguides.|
Model-basedreasoning–Examinations–Studyguides.|International
SoftwareTestingQualificationsBoard–Examinations–Studyguides.|
Electronicdataprocessingpersonnel–Certification.
Classification:LCCQA76.76.T48K732016|DDC005.3028/7–dc23LCrecordavailableat
http://lccn.loc.gov/2015035751
Setin10/12pt,Times-RomanbySPiGlobal,Chennai,India.
PrintedintheUnitedStatesofAmerica
10987654321
(cid:2)
(cid:2)
TrimSize:156mmx234mm Kramer ffirs.tex V3-02/29/2016 10:06am Pagev
DEDICATION
Toourfamilies
(cid:2) (cid:2)
(cid:2)
(cid:2)
TrimSize:156mmx234mm Kramer ffirs.tex V3-02/29/2016 10:06am Pagevi
(cid:2) (cid:2)
(cid:2)
(cid:2)
TrimSize:156mmx234mm Kramer ftoc.tex V3-03/01/2016 1:05pm Pagevii
CONTENTS
ForewordbyGualtieroBazzana xi
ForewordbyRobertV.Binder xiii
(cid:2) (cid:2)
Preface xv
1 Introductiontomodel-basedtesting 1
1.1 Whydoweneednewapproachestotesting?, 1
1.2 Whatismodel-basedtesting?, 2
1.3 BenefitsofMBT, 5
1.4 PitfallsofMBT, 13
1.5 Whatcanyourealisticallyexpect?, 19
2 WhatyoushouldknowaboutMBTbeforestarting 21
2.1 ISTQBMBTglossarytermsusedinthisbook, 21
2.2 Othertermstoknow, 23
2.3 Themodelinglanguagesusedinthisbook, 28
3 ProcessaspectsofMBT 35
3.1 MBTandthefundamentaltestprocess, 35
3.2 ThetypicalMBTprocess, 38
3.3 MBTandsoftwaredevelopmentlifecycles, 49
3.4 HowMBTsupportsrequirementengineering, 55
(cid:2)
(cid:2)
TrimSize:156mmx234mm Kramer ftoc.tex V3-03/01/2016 1:05pm Pageviii
viii CONTENTS
4 AspectstoconsiderbeforeyoustartwritinganMBTmodel 59
4.1 PreliminaryconsiderationsonMBTmodeling, 59
4.2 SubjectandfocusofyourMBTmodel, 65
4.3 TheinfluenceoftestobjectivesonMBTmodels, 70
5 Modelinglanguages – theagonyofchoice 75
5.1 Maincategoriesofmodelinglanguages, 76
5.2 UMLandBPMN, 82
5.3 OthergraphicalmodelinglanguagesusedforMBT, 85
5.4 TextualmodelinglanguagesusedforMBT, 90
5.5 Howtoselecttheappropriatemodelinglanguage, 91
6 GoodMBTmodelingpractices 97
6.1 QualitycharacteristicsforMBTmodels, 97
6.2 TypicalmistakesandpitfallsinMBTmodeldesign, 101
6.3 Linkingrequirementsandprocess-relatedinformationtotheMBT
model, 103
6.4 ThesignificanceofmodelingguidelinesforMBT, 107
6.5 Thequestionofreusingmodelsfromotherdevelopmentactivities, 108
(cid:2) 6.6 ToolsupportforMBTmodelingactivities, 112 (cid:2)
6.7 IterativeMBTmodeldevelopment, 114
6.8 Otherrecommendations, 115
7 HowMBTrelatestotestdesigntechniques? 119
7.1 Equivalencepartitioningandboundaryvalueanalysis, 119
7.2 Decisiontables, 122
7.3 Statetransitiontesting, 123
7.4 Usecasetesting, 124
8 DerivingtestsfromanMBTmodel 127
8.1 Taxonomyofselectioncriteria, 127
8.2 Testcaseselectioninpractice, 138
8.3 Examplesofcoveragecriteria, 140
8.4 Prosandconsofspecifictestselectioncriteria, 149
8.5 Somerecommendationsregardingtestcaseselection, 152
8.6 Degreeofautomationintestgeneration, 154
9 Executingmodel-basedtests 155
9.1 Understandingtheconcepts, 155
9.2 Adaptingtestcasesforautomatedexecution, 168
9.3 AdaptingMBTartifactsduetochanges, 173
(cid:2)
(cid:2)
TrimSize:156mmx234mm Kramer ftoc.tex V3-03/01/2016 1:05pm Pageix
CONTENTS ix
10 IntroducingMBTinyourcompany 179
10.1 FivestepstoMBTadoption, 179
10.2 Return-on-investconsiderations, 182
10.3 Prioritizeyourorganizationalobjectives, 186
10.4 Howtomeasureprogressandsuccess?, 189
10.5 DeployingMBT, 191
10.6 InitialandrunningcostsofMBT, 193
10.7 Integratingthetools, 196
11 Casestudies 201
11.1 EnterpriseITmodel-basedtesting – OrangeHRMcasestudy, 201
11.2 MBTforprocess-supportingSW – Toolvalidationcasestudy, 212
11.3 MBTforsecuritycomponents – PKCS#11casestudy, 226
12 Conclusions 241
Appendix A Solutionsofexercises 245
Appendix B Testyourself 253
Appendix C TaxonomyofMBTapproaches 261
(cid:2) (cid:2)
Abbreviations 263
Termsanddefinitions 265
ISTQBterms, 265
Otherterms, 267
References 269
Index 273
(cid:2)