5 Model Programs

More documents

Recommendations

Info

Index 349unshared action, 123–124, 241Uppaal-Tron, 277. See also model checking,testing toolsuser interface (new reader case study), 59–72,95–103, 132–133V-diagram, 8–10validate, 5, 11, 82, 224, 330value array, 166, 301–302, 330. See also datatypesvalue type, 158–159, 172, 194, 248, 253,330VDM, 150, 219. See also modeling languagesvertex. See nodevisualization, 94, 100, 308vocabulary. See action vocabularywait action, 268–270, 331weaken, 331wrapper, 15, 75, 331xUnit, 23, 54. See also testing toolsZ, 150, 219. See also modeling languages
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:
Page 290:
Page 294:
Page 298:
Page 302:
Page 306:
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 340:
Part IIISystems withComplex State
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 480:
14 CompositionalModelingWe have see
Page 484:
Advanced Topics 225Only a subset of
Page 488:
Advanced Topics 227namespace SP{[Fe
Page 492:
Advanced Topics 229FSM(0, Accepting
Page 496:
Page 500:
Advanced Topics 233namespace SP{enu
Page 504:
Advanced Topics 235ResSetupCancel0
Page 508:
Advanced Topics 237Map()ReqSetup(3,
Page 512:
Page 516:
Advanced Topics 24114.3 Properties
Page 520:
Advanced Topics 243values "Inactive
Page 524:
Advanced Topics 24514.4 Modeling te
Page 528:
15 Modeling ObjectsIn the previous
Page 532:
Advanced Topics 249}}public overrid
Page 536:
Advanced Topics 251This example sho
Page 540:
Advanced Topics 25315.3 Object IDs
Page 544:
Advanced Topics 255namespace Payrol
Page 548:
Advanced Topics 2570CreateEmployee(
Page 552:
16 Reactive SystemsThis chapter dis
Page 556:
Advanced Topics 261ClientReqSetup(0
Page 560:
Advanced Topics 2630Add("a")1Draw_F
Page 564:
Advanced Topics 265namespace SPImpl
Page 568:
Advanced Topics 267condition can be
Page 572:
Advanced Topics 269TestResult RunTe
Page 576:
Advanced Topics 271action. When exe
Page 580:
Advanced Topics 273A 1a R(0) b R(1)
Page 584:
17 Further ReadingThere is a lot of
Page 588:
Advanced Topics 277that linearizes
Page 596:
A Modeling LibraryReferenceA model
Page 600:
Appendices 283namespace MyModelProg
Page 604:
Appendices 285• If the target met
Page 608:
Appendices 287The example above def
Page 612:
Appendices 289where name is a strin
Page 616:
Appendices 291{static Set pendingRe
Page 620:
Appendices 293GreaterThan(CompoundV
Page 624:
Appendices 295Forall(Predicate)Univ
Page 628:
Appendices 297MethodsThe following
Page 632:
Appendices 299Syntaxpublic sealed c
Page 636:
Appendices 301of elements. The data
Page 640:
Appendices 303Add(T)Creates a bag t
Page 644:
Appendices 305SecondThe second valu
Page 648:
Appendices 307The Action data type
Page 652:
Appendices 309B.1.3Options/?, /help
Page 656:
Appendices 311B.2 Offline test gene
Page 660:
Appendices 313accepting state is re
Page 664:
C GlossaryUndefined termsThe follow
Page 668:
Appendices 317assurance method. A t
Page 672:
Appendices 319decrementing action w
Page 676:
Appendices 321finitize. To write a
Page 680: Appendices 323IUT. Implementation U
Page 684: Appendices 325oracle. The authority
Page 688: Appendices 327sandbox. Atest harnes
Page 692: Appendices 329stopping rule. A rule
Page 696: Appendices 331wait action.Aninterna
Page 702: 334 BibliographyA. Blass and Y. Gur
Page 706: 336 BibliographyD. Harel and R. Mar
Page 710: 338 BibliographyJ. Tretmans. Testin
Page 716: Indexa priori testing. See offline
Page 720: Index 343Common Language Infrastruc
Page 724: Index 345IOCO theory, 277isomorphic
Page 728: Index 347safety requirement, 34, 10
show all

5 Model Programs

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

Delete template?

Save as template?