5 Model Programs

More documents

Recommendations

Info

Systems with Finite <strong>Model</strong>s 151testing. All of these books have voluminous bibliographies up to their publicationdates.The review article by Lee and Yannakakis (1996) discusses generating tests fromFSMs, including the postman tour. Peled (2001) also discusses the postman tour.Thimbleby (2003) presents a complete implementation of the postman tour.
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:
Page 218:
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:
Page 242:
Page 246:
Page 250:
TimeoutMsgLate()Message("99.9")Chec
Page 254:
Page 258:
Page 262:
Page 266:
116 Structuring Model Programs with
Page 270:
Page 274:
Page 278:
Page 282:
Page 286: 126 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 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:
Page 432:
Systems with Complex State 199The D
Page 436:
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,
show all

5 Model Programs

Create successful ePaper yourself

Delete template?

Save as template?