- Page 2:
This page intentionally left blank
- Page 8:
Model-Based SoftwareTesting and Ana
- Page 12:
ContentsPrefaceAcknowledgmentsxixvI
- Page 16:
Contentsvii5.5 Simulation 705.6 Cas
- Page 20:
ContentsixIVAdvanced Topics14 Compo
- Page 24:
PrefaceThis book teaches new method
- Page 28:
xiiiTo use the NModel library and t
- Page 32:
AcknowledgmentsParts of this book w
- Page 36:
Part IOverview
- Page 42:
4 Describe, Analyze, TestWe also te
- Page 46:
6 Describe, Analyze, Testdo behave
- Page 50:
8 Describe, Analyze, TestTo use ct,
- Page 54:
10 Describe, Analyze, TestConceptSp
- Page 58:
12 Describe, Analyze, Testtesting o
- Page 66:
16 Why We Need Model-Based TestingS
- Page 70:
18 Why We Need Model-Based Testing/
- Page 74:
20 Why We Need Model-Based Testingn
- Page 78:
22 Why We Need Model-Based Testingu
- Page 82:
24 Why We Need Model-Based Testingu
- Page 86:
26 Why We Need Model-Based Testingm
- Page 92:
Overview 29That 0.0 sample right af
- Page 96:
Overview 31))ClientSocket(),ClientC
- Page 100:
Overview 33TimerTemperaturesensorSt
- Page 104:
Overview 35namespace ReactiveImpl{u
- Page 108:
Overview 37}}// ... continuedbool C
- Page 112:
Overview 39// ... continued// Handl
- Page 116:
Overview 41// Typical trouble-free
- Page 120:
Overview 43Included categories: Out
- Page 124:
Overview 45?Message ’100.0’, Me
- Page 128:
Overview 47no confidence that we ar
- Page 132:
Overview 490Timeout() Command()21Re
- Page 136:
Overview 510Timeout()Command()21Res
- Page 140:
4 Further ReadingThe concepts prese
- Page 144:
Part IISystems with FiniteModels
- Page 150:
58 Model Programssystem comprising
- Page 154:
60 Model ProgramsFigure 5.2. Newsre
- Page 158:
62 Model Programsreasonable work as
- Page 162:
64 Model Programs5.3.6 Select the s
- Page 166:
66 Model Programsstatic bool ShowTi
- Page 170:
68 Model ProgramsParameters and loc
- Page 174:
70 Model Programs[Test][Category("A
- Page 178:
72 Model Programsthat the sequence
- Page 182:
74 Model ProgramsServerSend(212.0);
- Page 186:
76 Model Programsusing NModel;using
- Page 190:
78 Model Programs// ... continuedpu
- Page 194:
80 Model Programs// ... continuedpu
- Page 198:
82 Model Programsthe set of argumen
- Page 202:
84 Model ProgramsTimeout();Poll();M
- Page 206:
86 Model Programsusing System; // M
- Page 210:
88 Model Programs// ... Reactive sy
- Page 214:
90 Model Programs// ... Reactive sy
- Page 218:
92 Model Programs// ... Reactive sy
- Page 222:
6 Exploring andAnalyzing FiniteMode
- Page 226:
96 Exploring and Analyzing Finite M
- Page 230:
98 Exploring and Analyzing Finite M
- Page 234:
100 Exploring and Analyzing Finite
- Page 238:
102 Exploring and Analyzing Finite
- Page 242:
104 Exploring and Analyzing Finite
- Page 246:
106 Exploring and Analyzing Finite
- Page 250:
TimeoutMsgLate()Message("99.9")Chec
- Page 254:
110 Exploring and Analyzing Finite
- Page 258:
112 Exploring and Analyzing Finite
- Page 262:
114 Exploring and Analyzing Finite
- Page 266:
116 Structuring Model Programs with
- Page 270:
118 Structuring Model Programs with
- Page 274:
120 Structuring Model Programs with
- Page 278:
122 Structuring Model Programs with
- Page 282:
124 Structuring Model Programs with
- Page 286:
126 Structuring Model Programs with
- Page 290:
128 Structuring Model Programs with
- Page 294:
130 Structuring Model Programs with
- Page 298:
132 Structuring Model Programs with
- Page 302:
134 Structuring Model Programs with
- Page 306:
136 Structuring Model Programs with
- Page 310:
138 Testing Closed SystemsInstead o
- Page 314:
140 Testing Closed Systems0Test(0)1
- Page 318:
142 Testing Closed Systemsthe model
- Page 322:
144 Testing Closed Systems// ... co
- Page 326:
146 Testing Closed SystemsCompile t
- Page 330:
148 Testing Closed SystemsB()A()0 1
- Page 334:
9 Further ReadingThere are many mod
- Page 340:
Part IIISystems withComplex State
- Page 346:
156 Modeling Systems with Structure
- Page 350:
158 Modeling Systems with Structure
- Page 354:
160 Modeling Systems with Structure
- Page 358:
162 Modeling Systems with Structure
- Page 362:
164 Modeling Systems with Structure
- Page 366:
166 Modeling Systems with Structure
- Page 370:
168 Modeling Systems with Structure
- Page 374:
170 Modeling Systems with Structure
- Page 378:
172 Modeling Systems with Structure
- Page 382:
174 Modeling Systems with Structure
- Page 386:
176 Modeling Systems with Structure
- Page 390:
178 Modeling Systems with Structure
- Page 394:
180 Modeling Systems with Structure
- Page 398:
182 Modeling Systems with Structure
- Page 402:
184 Analyzing Systems with Complex
- Page 406:
186 Analyzing Systems with Complex
- Page 410:
188 Analyzing Systems with Complex
- Page 414:
190 Analyzing Systems with Complex
- Page 418:
192 Testing Systems with Complex St
- Page 422:
194 Testing Systems with Complex St
- Page 426:
196 Testing Systems with Complex St
- Page 430:
198 Testing Systems with Complex St
- Page 434:
200 Testing Systems with Complex St
- Page 438:
202 Testing Systems with Complex St
- Page 442:
204 Testing Systems with Complex St
- Page 446:
206 Testing Systems with Complex St
- Page 450:
208 Testing Systems with Complex St
- Page 454:
210 Testing Systems with Complex St
- Page 458:
212 Testing Systems with Complex St
- Page 462:
214 Testing Systems with Complex St
- Page 466:
216 Testing Systems with Complex St
- Page 470:
218 Testing Systems with Complex St
- Page 474:
220 Further Reading(Beizer, 1995).
- Page 480:
14 CompositionalModelingWe have see
- Page 484:
Advanced Topics 225Only a subset of
- Page 488:
Advanced Topics 227namespace SP{[Fe
- Page 492:
Advanced Topics 229FSM(0, Accepting
- Page 496:
Advanced Topics 231namespace SP{[Fe
- Page 500:
Advanced Topics 233namespace SP{enu
- Page 504:
Advanced Topics 235ResSetupCancel0
- Page 508:
Advanced Topics 237Map()ReqSetup(3,
- Page 512:
Advanced Topics 239namespace SP{[Fe
- Page 516:
Advanced Topics 24114.3 Properties
- Page 520:
Advanced Topics 243values "Inactive
- Page 524:
Advanced Topics 24514.4 Modeling te
- Page 528:
15 Modeling ObjectsIn the previous
- Page 532:
Advanced Topics 249}}public overrid
- Page 536:
Advanced Topics 251This example sho
- Page 540:
Advanced Topics 25315.3 Object IDs
- Page 544:
Advanced Topics 255namespace Payrol
- Page 548:
Advanced Topics 2570CreateEmployee(
- Page 552:
16 Reactive SystemsThis chapter dis
- Page 556:
Advanced Topics 261ClientReqSetup(0
- Page 560:
Advanced Topics 2630Add("a")1Draw_F
- Page 564:
Advanced Topics 265namespace SPImpl
- Page 568:
Advanced Topics 267condition can be
- Page 572:
Advanced Topics 269TestResult RunTe
- Page 576:
Advanced Topics 271action. When exe
- Page 580:
Advanced Topics 273A 1a R(0) b R(1)
- Page 584:
17 Further ReadingThere is a lot of
- Page 588: Advanced Topics 277that linearizes
- Page 596: A Modeling LibraryReferenceA model
- Page 600: Appendices 283namespace MyModelProg
- Page 604: Appendices 285• If the target met
- Page 608: Appendices 287The example above def
- Page 612: Appendices 289where name is a strin
- Page 616: Appendices 291{static Set pendingRe
- Page 620: Appendices 293GreaterThan(CompoundV
- Page 624: Appendices 295Forall(Predicate)Univ
- Page 628: Appendices 297MethodsThe following
- Page 632: Appendices 299Syntaxpublic sealed c
- Page 636: Appendices 301of elements. The data
- Page 642: 304 Modeling Library ReferenceIsEmp
- Page 646: 306 Modeling Library ReferenceConst
- Page 650: BCommandReferenceThis appendix desc
- Page 654: 310 Command Reference[/stateShape:B
- Page 658: 312 Command ReferenceB.3 Conformanc
- Page 662: 314 Command Reference[/randomSeed:]
- Page 666: 316 Glossaryaction. The smallest un
- Page 670: 318 Glossarycompound value. An NMod
- Page 674: 320 Glossaryenabling condition. Apr
- Page 678: 322 Glossaryimplementation under te
- Page 682: 324 Glossarymodel checking. An anal
- Page 686: 326 Glossaryprotocol. An agreement
- Page 690:
328 Glossaryeverything the system m
- Page 694:
330 Glossarytime-out action. Anobse
- Page 700:
BibliographyJ.-R. Abrial. The B Boo
- Page 704:
Bibliography 335E. M. Clarke, O. Gr
- Page 708:
Bibliography 337D. Lee and M. Yanna
- Page 712:
Bibliography 339J. Woodcock and M.
- Page 718:
342 Indexapplication, 15, 20-23, 31
- Page 722:
344 Indexevent, 8, 34-43, 46-48, 83
- Page 726:
346 Indexobject, 99, 142, 157, 247.
- Page 730:
348 Indexstrategy, 8, 191, 199-209,