Basics of Software Testing
For example, suppose that program P has been tested against tests gen-
erated from a statechart specification. After the successful execution of
all tests, one finds that some of the branches in P have not been cov-
ered, that is, there are some conditions that have never been evaluated to
both true and false. One could now use code-based test generation tech-
niques to generate tests, or modify existing ones, to generate new tests
that force a condition to evaluate to true or false, assuming that the eval-
uations are feasible. Two such techniques, one based on program muta-
tion and the other on control-flow coverage, are described in a chapter in
a subsequent volume.
Code-based test-generation techniques are also used during ...