2 Why We Need Model-Based Testing

More documents

Recommendations

Info

Bibliography 339 J. Woodcock and M. Loomes. Software Engineering Mathematics. Addison-<strong>We</strong>sley, 1989. T. Xie, D. Marinov, W. Schulte, and D. Notkin. Symstra: A framework for generating object-oriented unit tests using symbolic execution. In N. Halbwachs and L. D. Zuck, editors, TACAS, volume 3440 of Lecture Notes in Computer Science, pages 365–381. Springer, April 2005. M. Yannakakis. <strong>Testing</strong>, optimizaton, and games. In LICS’04: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS’04), pages 78–88. IEEE Computer Society, Washington, DC, 2004. more free ebooks download links at: http://www.ebook-x.com
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 716: Index a priori testing. See offline
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?