Foundations of Software Testing: Fundamental Algorithms and Techniques

Test Generation from Finite-State Models

TT

UIO

W

UIOv

DS

Wp

Fault-detection ability

TT

UIO

UIOv

DS

Wp

Length of test sets

W

Fig. 3.28 Relative fault-detection effectiveness and length of the test sets of various

automata-theoretic techniques.

extra-state errors if each state is one-distinguishable and the usual

assumptions hold.

For machine M

2

, we note that test aba ∈ T distinguishes M

3

from M



3

as O

M

3

(q

1

, abb) = 000 = O

M3



(q

1

, abb). Exercise 3.30 asks

for the derivation of a test set from M

2

in Figure 3.25 that is adequate

with respect to one-switch cover criterion.

3.9.2 COMPARING AUTOMATA-THEORETIC METHODS

Figure 3.28 shows the relative fault-detection effecti ...