
3
Test
Generation
from
Finite-State
Models
CONTENT
3.1 Software design and testing
3.2 Finite-state machines
3.3 Conformance testing
3.4 A fault model
3.5 Characterization set
3.6 The W-method
3.7 The par tial W-method
3.8 The UIO-sequence method
3.9 Automata theoretic versus control-flow
based techniques
The purpose of this chapter is to introduce
techniques for the generation of test data
from finite-state models of software
designs. A fault model and three
test-generation techniques are presented.
The test-generation techniques presented
are: the W-method, the Unique
Input/Output method and the
Wp-method.