Test Adequacy Assessment
operators. Certainly, this is not true in some cases. However, this sug-
gests that one could apply the ABS and ROR operators to evaluate the
adequacy of a test set that is found to be adequate with respect to the all-
uses criterion. By doing so, a tester is likely to gain the two advantages
mentioned above.
7.14 MUTATION TESTING WITHIN BUDGET
The test-adequacy criteria provided by mutation has been found experi-
mentally to be the most powerful of all the existing test-adequacy crite-
ria. This strength of mutation implies that given a test set adequate with
respect to mutation, it is very likely to be adequate with respect to any
other adequacy criterion as well. It also implies that if a test set has been
found adequate with ...