- Page 4: Model-Based Software Testing andAna
- Page 10: CAMBRIDGE UNIVERSITY PRESSCambridge
- Page 14: viContents2.7 Some simple scenarios
- Page 18: viiiContents8.5 Limitations of offl
- Page 22: xContentsVAppendicesA Modeling Libr
- Page 26: xiiPrefacespecification, or applica
- Page 30: xivPrefaceone of the main purposes
- Page 34: xviAcknowledgmentsas evolving algeb
- Page 40: 1 Describe, Analyze,TestCreating so
- Page 44: Overview 5To see how to write a mod
- Page 48: Overview 7and stops responding to e
- Page 52:
Overview 9Concept✁✕DeliverySpec
- Page 56:
Overview 11tool. This test harness
- Page 64:
Overview 15method calls coded by de
- Page 68:
Overview 17using System;using Syste
- Page 72:
Overview 19using System;using Syste
- Page 76:
Overview 21using System;using Syste
- Page 80:
Overview 23control structure (seque
- Page 84:
Overview 25assembly. Attributes can
- Page 88:
Overview 27// Client requests one t
- Page 94:
30 Why We Need Model-Based Testingd
- Page 98:
3 Why We NeedModel-BasedAnalysisThi
- Page 102:
34 Why We Need Model-Based Analysis
- Page 106:
36 Why We Need Model-Based Analysis
- Page 110:
38 Why We Need Model-Based Analysis
- Page 114:
40 Why We Need Model-Based Analysis
- Page 118:
42 Why We Need Model-Based Analysis
- Page 122:
44 Why We Need Model-Based Analysis
- Page 126:
46 Why We Need Model-Based Analysis
- Page 130:
TimeoutMsgLate()Message("99.9")Chec
- Page 134:
50 Why We Need Model-Based Analysis
- Page 138:
52 Why We Need Model-Based Analysis
- Page 142:
54 Further ReadingThe standard refe
- Page 148:
5 Model ProgramsThis chapter introd
- Page 152:
Systems with Finite Models 59Figure
- Page 156:
Systems with Finite Models 61topics
- Page 160:
Systems with Finite Models 63condit
- Page 164:
Systems with Finite Models 65using
- Page 168:
Systems with Finite Models 675.4.1
- Page 172:
Systems with Finite Models 69condit
- Page 176:
Systems with Finite Models 71action
- Page 180:
Systems with Finite Models 73except
- Page 184:
Systems with Finite Models 75are se
- Page 188:
Systems with Finite Models 77// ...
- Page 192:
Systems with Finite Models 79// ...
- Page 196:
Systems with Finite Models 81action
- Page 200:
Systems with Finite Models 83Featur
- Page 204:
Systems with Finite Models 85The mo
- Page 208:
Systems with Finite Models 87// ...
- Page 212:
Systems with Finite Models 89// ...
- Page 216:
Systems with Finite Models 91// ...
- Page 220:
Systems with Finite Models 93action
- Page 224:
Systems with Finite Models 95Table
- Page 228:
Systems with Finite Models 97disabl
- Page 232:
Systems with Finite Models 99Model
- Page 236:
Systems with Finite Models 1010Show
- Page 240:
Systems with Finite Models 103more
- Page 244:
Systems with Finite Models 105state
- Page 248:
Systems with Finite Models 107[Stat
- Page 252:
Systems with Finite Models 1090Time
- Page 256:
0Command()1Timeout() NoHandler() Co
- Page 260:
Systems with Finite Models 1130Comm
- Page 264:
7 Structuring ModelPrograms withFea
- Page 268:
Systems with Finite Models 1170Serv
- Page 272:
Systems with Finite Models 119names
- Page 276:
Systems with Finite Models 121This
- Page 280:
Systems with Finite Models 1230A()1
- Page 284:
Systems with Finite Models 1250 C()
- Page 288:
Systems with Finite Models 1270B(2)
- Page 292:
Systems with Finite Models 129Recal
- Page 296:
Systems with Finite Models 1310Serv
- Page 300:
Systems with Finite Models 1330Show
- Page 304:
Systems with Finite Models 135021Ti
- Page 308:
8 Testing ClosedSystemsIn this chap
- Page 312:
Systems with Finite Models 1390Test
- Page 316:
Systems with Finite Models 141TestS
- Page 320:
Systems with Finite Models 143using
- Page 324:
Systems with Finite Models 145Here
- Page 328:
Systems with Finite Models 147When
- Page 332:
Systems with Finite Models 149in Ch
- Page 336:
Systems with Finite Models 151testi
- Page 344:
10 Modeling Systemswith StructuredS
- Page 348:
Systems with Complex State 157limit
- Page 352:
Systems with Complex State 159The d
- Page 356:
Systems with Complex State 161Set c
- Page 360:
Systems with Complex State 163syste
- Page 364:
Systems with Complex State 165Seque
- Page 368:
Systems with Complex State 16710.3.
- Page 372:
Systems with Complex State 169Bag p
- Page 376:
Systems with Complex State 171Edit(
- Page 380:
Systems with Complex State 173Clien
- Page 384:
Systems with Complex State 175}{}ve
- Page 388:
Systems with Complex State 177}}rev
- Page 392:
Systems with Complex State 179}retu
- Page 396:
Systems with Complex State 181...11
- Page 400:
11 Analyzing Systemswith Complex St
- Page 404:
Systems with Complex State 185relat
- Page 408:
Systems with Complex State 187We mi
- Page 412:
Systems with Complex State 18911.2.
- Page 416:
12 Testing Systemswith Complex Stat
- Page 420:
Systems with Complex State 193This
- Page 424:
Systems with Complex State 195using
- Page 428:
Systems with Complex State 197using
- Page 432:
Systems with Complex State 199The D
- Page 436:
Systems with Complex State 201using
- Page 440:
Systems with Complex State 203After
- Page 444:
Systems with Complex State 205}if (
- Page 448:
Systems with Complex State 207sever
- Page 452:
Systems with Complex State 209# fac
- Page 456:
Systems with Complex State 211the s
- Page 460:
Systems with Complex State 2130Add(
- Page 464:
Systems with Complex State 215TestR
- Page 468:
Systems with Complex State 217"b".
- Page 472:
13 Further ReadingThere are many ex
- Page 476:
Part IVAdvanced Topics
- Page 482:
224 Compositional Modeling1. First,
- Page 486:
226 Compositional Modelinga lot of
- Page 490:
228 Compositional Modelingterms) th
- Page 494:
230 Compositional ModelingFSM(0, Ac
- Page 498:
232 Compositional Modelingand it is
- Page 502:
234 Compositional ModelingFSM(0, Ac
- Page 506:
236 Compositional Modelingnamespace
- Page 510:
238 Compositional Modeling14.2.6 Co
- Page 514:
0ReqSetup(0, 2)1ResSetup(0, 2, Stat
- Page 518:
242 Compositional Modelingplacehold
- Page 522:
244 Compositional ModelingIt is cle
- Page 526:
246 Compositional ModelingFor param
- Page 530:
248 Modeling Objects}static class C
- Page 534:
250 Modeling Objectsnamespace Payro
- Page 538:
252 Modeling Objectsvoid SetSalary(
- Page 542:
254 Modeling Objects0CreateEmployee
- Page 546:
256 Modeling ObjectsThe most import
- Page 550:
258 Modeling ObjectsWhat effect wil
- Page 554:
260 Reactive Systemswhat part of it
- Page 558:
262 Reactive Systemsnamespace BagMo
- Page 562:
264 Reactive Systems16.3 Asynchrono
- Page 566:
266 Reactive Systemsnamespace SPImp
- Page 570:
268 Reactive Systemsrefers to the p
- Page 574:
270 Reactive Systemstester actions
- Page 578:
272 Reactive Systems16.5.3 Passive
- Page 582:
274 Reactive SystemsThe stepper con
- Page 586:
276 Further ReadingAn approach of u
- Page 592:
Part VAppendices
- Page 598:
282 Modeling Library Referencenames
- Page 602:
284 Modeling Library Referenceand n
- Page 606:
286 Modeling Library Reference“Do
- Page 610:
288 Modeling Library Reference[Acti
- Page 614:
290 Modeling Library ReferenceIf th
- Page 618:
292 Modeling Library ReferenceRequi
- Page 622:
294 Modeling Library ReferenceSynta
- Page 626:
296 Modeling Library ReferenceIsEmp
- Page 630:
298 Modeling Library ReferenceRemov
- Page 634:
300 Modeling Library ReferenceLastI
- Page 638:
302 Modeling Library ReferenceCount
- 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,