2 Why We Need Model-Based Testing

More documents

Recommendations

Info

Advanced Topics 237 ReqSetup(3, _) Map(3 -> CMD("Setup")) Map() ResSetup(3, _, _) ReqWork(4, _) ResWork(4, _, _) ReqWork(4, _) ResWork(4, _, _) Map(3 -> CMD("Setup"),4 -> CMD("Work")) ResSetup(3, _, _) ReqSetup(3, _) Map(4 -> CMD("Work")) Figure 14.14. Composition of the commands model program in Figure 14.12 with the FSM in Figure 14.13. Labels on states show the value of cmd. Inactive ReqSetup() Activating Active ResSetup(_, _, STATUS("Cancelled")) ResSetup(_, _, STATUS("Completed")) ReqWork() ResWork() FSM("Inactive", AcceptingStates("Active"), Transitions(t("Inactive",ReqSetup(),"Activating"), t("Activating",ResSetup(_,_,STATUS("Cancelled")),"Inactive"), t("Activating",ResSetup(_,_,STATUS("Completed")),"Active"), t("Active",ReqWork(),"Active"), t("Active",ResWork(),"Active"))) Figure 14.15. Setup model program. 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: 212 Testing Systems with Complex St
Page 474: 220 Further Reading (Beizer, 1995).
Page 478: more free ebooks download links at:
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 512: Advanced Topics 239 namespace SP {
Page 516: Advanced Topics 241 14.3 Properties
Page 520: Advanced Topics 243 values "Inactiv
Page 524: Advanced Topics 245 14.4 Modeling t
Page 528: 15 Modeling Objects In the previous
Page 532: Advanced Topics 249 } } public over
Page 536: Advanced Topics 251 This example sh
Page 540: Advanced Topics 253 15.3 Object IDs
Page 544: Advanced Topics 255 namespace Payro
Page 548: Advanced Topics 257 0 CreateEmploye
Page 552: 16 Reactive Systems This chapter di
Page 556: Advanced Topics 261 Client Server R
Page 560:
4 Advanced Topics 263 3 Add("b") Dr
Page 564:
Advanced Topics 265 namespace SPImp
Page 568:
Advanced Topics 267 condition can b
Page 572:
Advanced Topics 269 TestResult RunT
Page 576:
Advanced Topics 271 action. When ex
Page 580:
A1 A2 Advanced Topics 273 a R(0) b
Page 584:
17 Further Reading There is a lot o
Page 588:
Advanced Topics 277 that linearizes
Page 592:
Part V Appendices more free ebooks
Page 596:
A Modeling Library Reference A mode
Page 600:
Appendices 283 namespace MyModelPro
Page 604:
Appendices 285 • If the target me
Page 608:
Appendices 287 The example above de
Page 612:
Appendices 289 where name is a stri
Page 616:
Appendices 291 } { } static Set pen
Page 620:
Appendices 293 GreaterThan(Compound
Page 624:
Appendices 295 Forall(Predicate) Un
Page 628:
Appendices 297 Methods The followin
Page 632:
Appendices 299 Syntax public sealed
Page 636:
Appendices 301 of elements. The dat
Page 640:
Appendices 303 Add(T) Creates a bag
Page 644:
Appendices 305 Second The second va
Page 648:
Appendices 307 The Action data type
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?