2 Why We Need Model-Based Testing

More documents

Recommendations

Info

Index a priori testing. See offline testing Abstract, 256–257. See also Attributes, NModel abstract state machine (ASM), 53, 150, 275 abstract value, 247, 256–257, 315. See also object ID abstraction, 5, 62, 211, 315 behavioral, 62–63, 317 data, 62, 64, 74–75, 318 environmental, 62, 70, 320 level of, 5, 59, 62–63, 75, 323 abstraction function. See state property accepting state, 6, 50, 58, 95, 108–110, 198, 228, 315 accepting state condition, 108–110, 289–290, 315 AcceptingStateCondition, 108, 289–290. See also Attributes, NModel access modifier private, 67, 70, 99 public, 26, 67, 70, 73, 99, 281, 283 action, 4, 58, 63, 73, 83, 141–142, 170, 216–217, 226–228, 232, 235, 252, 284–287, 316 atomic, 142, 317 cleanup, 217, 317 controllable, 8, 33, 142, 216, 318 finish, 141, 216, 320 internal, 216, 322 observable, 8, 33, 142, 216, 259–261, 268, 324 more free ebooks download links at: http://www.ebook-x.com shared, 123, 241, 327 split, 142, 286, 328 start, 141, 328 tester. See controllable action timeout, 268–270, 330 unshared, 123–124, 241 wait, 268–270, 331 Action, 68, 284–287. See also Attributes, NModel action method, 68, 316 action symbol, 63, 142, 316 action vocabulary, 63, 142, 170, 224, 252, 316 active state, 262, 316 adaptive strategy, 270–271, 316 Agedis, 276. See also testing tools algorithms exploration, 103–106 postman tour, 137, 148, 151, 325 test execution, 214–217, 268—270 Alloy, 150, 219. See also modeling languages alternating refinement, 277 analysis liveness, 6, 50–51, 94, 108–113, 323 model-based, 5–7, 10, 47–52, 106–113, 131–136, 228–230, 232–240, 308–310, 324 preliminary, 5, 61–64, 72–75, 82–85, 325 safety, 6, 48–49, 94, 106–108, 326 static, 3, 47, 328 animation. See simulation API. See application programming interface 341
Page 2:
This page intentionally left blank
Page 6:
more free ebooks download links at:
Page 10:
CAMBRIDGE UNIVERSITY PRESS Cambridg
Page 14:
vi Contents 2.7 Some simple scenari
Page 18:
viii Contents 8.5 Limitations of of
Page 22:
x Contents V Appendices A Modeling
Page 26:
xii Preface specification, or appli
Page 30:
xiv Preface one of the main purpose
Page 34:
xvi Acknowledgments as evolving alg
Page 38:
Page 42:
4 Describe, Analyze, Test We also t
Page 46:
6 Describe, Analyze, Test do behave
Page 50:
8 Describe, Analyze, Test To use ct
Page 54:
10 Describe, Analyze, Test Concept
Page 58:
12 Describe, Analyze, Test testing
Page 62:
14 Why We Need Model-Based Testing
Page 66:
Page 70:
Page 74:
Page 78:
Page 82:
Page 86:
Page 90:
Page 94:
Page 98:
32 3 Why We Need Model-Based Analys
Page 102:
34 Why We Need Model-Based Analysis
Page 106:
Page 110:
Page 114:
Page 118:
Page 122:
Page 126:
Page 130:
Page 134:
Page 138:
Page 142:
54 Further Reading The standard ref
Page 146:
Page 150:
58 Model Programs system comprising
Page 154:
60 Model Programs Figure 5.2. Newsr
Page 158:
62 Model Programs reasonable work a
Page 162:
64 Model Programs 5.3.6 Select the
Page 166:
66 Model Programs } } static bool S
Page 170:
68 Model Programs Parameters and lo
Page 174:
70 Model Programs [Test] [Category(
Page 178:
72 Model Programs that the sequence
Page 182:
74 Model Programs ServerSend(212.0)
Page 186:
76 Model Programs using NModel; usi
Page 190:
78 Model Programs // ... continued
Page 194:
80 Model Programs } } // ... contin
Page 198:
82 Model Programs the set of argume
Page 202:
84 Model Programs Timeout(); Poll()
Page 206:
86 Model Programs using System; //
Page 210:
88 Model Programs // ... Reactive s
Page 214:
90 Model Programs // ... Reactive s
Page 218:
92 Model Programs } } // ... Reacti
Page 222:
94 6 Exploring and Analyzing Finite
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:
Page 254:
Page 258:
Page 262:
Page 266:
116 Structuring Model Programs with
Page 270:
Page 274:
Page 278:
Page 282:
Page 286:
Page 290:
Page 294:
Page 298:
Page 302:
Page 306:
Page 310:
138 Testing Closed Systems Instead
Page 314:
140 Testing Closed Systems 0 1 2 3
Page 318:
142 Testing Closed Systems the mode
Page 322:
144 Testing Closed Systems } } } }
Page 326:
146 Testing Closed Systems Compile
Page 330:
148 Testing Closed Systems B() A()
Page 334:
150 9 Further Reading There are man
Page 338:
Page 342:
Page 346:
156 Modeling Systems with Structure
Page 350:
Page 354:
Page 358:
Page 362:
Page 366:
Page 370:
Page 374:
Page 378:
Page 382:
Page 386:
Page 390:
Page 394:
Page 398:
Page 402:
184 Analyzing Systems with Complex
Page 406:
Page 410:
Page 414:
Page 418:
192 Testing Systems with Complex St
Page 422:
Page 426:
Page 430:
Page 434:
Page 438:
Page 442:
Page 446:
Page 450:
Page 454:
Page 458:
Page 462:
Page 466:
Page 470:
Page 474:
220 Further Reading (Beizer, 1995).
Page 478:
Page 482:
224 Compositional Modeling 1. First
Page 486:
226 Compositional Modeling a lot of
Page 490:
228 Compositional Modeling terms) t
Page 494:
230 Compositional Modeling FSM(0, A
Page 498:
232 Compositional Modeling and it i
Page 502:
234 Compositional Modeling FSM(0, A
Page 506:
236 Compositional Modeling namespac
Page 510:
238 Compositional Modeling 14.2.6 C
Page 514:
5 ReqWork(2, 2) 3 0 1 6 7 ReqSetup(
Page 518:
242 Compositional Modeling placehol
Page 522:
244 Compositional Modeling It is cl
Page 526:
246 Compositional Modeling For para
Page 530:
248 Modeling Objects static class C
Page 534:
250 Modeling Objects namespace Payr
Page 538:
252 Modeling Objects } } void SetSa
Page 542:
254 Modeling Objects 0 CreateEmploy
Page 546:
256 Modeling Objects The most impor
Page 550:
258 Modeling Objects What effect wi
Page 554:
260 Reactive Systems what part of i
Page 558:
262 Reactive Systems namespace BagM
Page 562:
264 Reactive Systems 16.3 Asynchron
Page 566:
266 Reactive Systems namespace SPIm
Page 570:
268 Reactive Systems refers to the
Page 574:
270 Reactive Systems tester actions
Page 578:
272 Reactive Systems 16.5.3 Passive
Page 582:
274 Reactive Systems The stepper co
Page 586:
276 Further Reading An approach of
Page 590:
Page 594:
Page 598:
282 Modeling Library Reference name
Page 602:
284 Modeling Library Reference and
Page 606:
286 Modeling Library Reference “D
Page 610:
288 Modeling Library Reference [Act
Page 614:
290 Modeling Library Reference If t
Page 618:
292 Modeling Library Reference Requ
Page 622:
294 Modeling Library Reference Synt
Page 626:
296 Modeling Library Reference IsEm
Page 630:
298 Modeling Library Reference Remo
Page 634:
300 Modeling Library Reference Last
Page 638:
302 Modeling Library Reference Coun
Page 642:
304 Modeling Library Reference IsEm
Page 646:
306 Modeling Library Reference Cons
Page 650:
B Command Reference This appendix d
Page 654:
310 Command Reference [/stateShape:
Page 658:
312 Command Reference B.3 Conforman
Page 662:
314 Command Reference [/randomSeed:
Page 666: 316 Glossary action. The smallest u
Page 670: 318 Glossary compound value. An NMo
Page 674: 320 Glossary enabling condition. Ap
Page 678: 322 Glossary implementation under t
Page 682: 324 Glossary model checking. An ana
Page 686: 326 Glossary protocol. An agreement
Page 690: 328 Glossary everything the system
Page 694: 330 Glossary time-out action. Anobs
Page 698: more free ebooks download links at:
Page 702: 334 Bibliography A. Blass and Y. Gu
Page 706: 336 Bibliography D. Harel and R. Ma
Page 710: 338 Bibliography J. Tretmans. Testi
Page 714: more free ebooks download links at:
Page 720: Index 343 Common Language Infrastru
Page 724: Index 345 IOCO theory, 277 isomorph
Page 728: Index 347 safety requirement, 34, 1
Page 732: Index 349 unshared action, 123-124,
show all

2 Why We Need Model-Based Testing

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?