Foundations of Software Testing: Fundamental Algorithms and Techniques

Test Generation from Finite-State Models

Any nonempty test starting with symbol a distinguishes M from

M

1

. Mutant M

2

is distinguished from M by the input sequence ab.

Note that when excited with ab, M outputs the string 11 whereas

M

2

outputs the string 10. Input ab also distinguishes M

5

from M.

The complete set of distinguishing inputs can be found using the W-

method described in Section 3.6.

3.4.2 FAULT COVERAGE

One way to determine the goodness of a test set is to compute how many

errors it reveals in a given implementation M

i

. A test set that can reveal

all errors in M

i

is considered superior to one that fails to reveal one or

more errors. Methods for ...