It discusses pruning
techiques for sampling or finitizing ???infinite??? state spaces.
Chapter 12 introduces on-the-fly testing, where the test scenarios are created as
the test executes, as a strategy for testing systems with ???infinite??? state space.
Part IV discusses several advanced topics. In contrast with previous parts, the
presentation here is not sequential so you may read these chapters in any order.
Chapter 14 discusses composition as a technique for building up complex models
from simple ones.
Chapter 15 discusses modeling with objects. We explain the complications that
are introduced by objects and describe the solutions provided by the library and
tools.
Chapter 16 discusses reactive systems that include observable actions that cannot
be controlled by the tester. We discuss on-the-fly testing as a strategy for dealing
with nondeterminism.
There are several appendices.
Appendix A describes the attributes and classes provided by the modeling library,
which are used for writing model programs.
Appendix B describes the command-line options for mpv (Model Program Viewer),
otg (Offline Test Generator), and ct (Conformance Tester).
Appendix C is a glossary that provides definitions for all of the terms that are
printed in italics where they first appear.
This book also provides a bibliography and an index.
2 WhyWe Need
Model-Based
Testing
This chapter demonstrates why we need model-based testing, with a small but
complete working example.
Pages:
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43