2 Why We Need Model-Based Testing

More documents

Recommendations

Info

B Command Reference This appendix describes the command-line options for the visualization and analysis tool mpv (model program viewer), the test generator tool otg (offline test generator), and the test runner tool ct (conformance tester). B.1 <strong>Model</strong> program viewer, mpv B.1.1 Usage B.1.2 Examples 308 mpv [/reference:]* [/initialTransitions:]* [/transitionLabels:{None|ActionSymbol|Action}]* [/nodeLabelsVisible[+|-]]* [/initialStateColor:]* [/hoverColor:]* [/selectionColor:]* [/deadStateColor:]* [/deadStatesVisible[+|-]]* [/unsafeStateColor:]* [/maxTransitions:]* [/loopsVisible[+|-]]* [/mergeLabels[+|-]]* [/acceptingStatesMarked[+|-]]* [/stateShape:{Box|Circle|Diamond|Ellipse|Octagon|Plaintext}]* [/direction:{TopToBottom|LeftToRight|RightToLeft|BottomToTop}]* [/combineActions[+|-]]* [/livenessCheckIsOn[+|-]]* [/safetyCheckIsOn[+|-]]* [/testSuite:]* [/fsm:]* [/startTestAction:]* [/group:]* * @ mpv @mpv_args.txt mpv /fsm:M1.txt /fsm:M2.txt mpv /testSuite:ContractTest.txt mpv /r:NewsReaderUI.dll NewsReader.Factory.Create mpv /r:Controller.dll Reactive.Factory.Create /safetyCheckIsOn+ 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 652: Appendices 309 B.1.3 Options /?, /h
Page 656: Appendices 311 B.2 Offline test gen
Page 660: Appendices 313 accepting state is r
Page 664: C Glossary Undefined terms The foll
Page 668: Appendices 317 assurance method. A
Page 672: Appendices 319 decrementing action
Page 676: Appendices 321 finitize. To write a
Page 680: Appendices 323 IUT. Implementation
Page 684: Appendices 325 oracle. The authorit
Page 688: Appendices 327 sandbox. Atest harne
Page 692: Appendices 329 stopping rule. A rul
Page 696: Appendices 331 wait action.Anintern
Page 700:
Bibliography J.-R. Abrial. The B Bo
Page 704:
Bibliography 335 E. M. Clarke, O. G
Page 708:
Bibliography 337 D. Lee and M. Yann
Page 712:
Bibliography 339 J. Woodcock and M.
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?