Test data adequacy measurement

Criteria for test data adequacy are rules for deciding when enough testing has been performed. Development of these criteria is an important objective of research in software testing. The abstract properties of adequacy criteria are investigated in a formal axiomatic style. Starting from work by Weyuker (1986, 1988) and Parrish and Zweben (1991), the authors define an adequacy criterion as a function from specifications, programs and subsets of data to a degree of the adequacy of the test set. They address the general properties of adequacy criteria, independent of the syntax and semantics of specifications and programs. The dependencies between the axioms, as well as the relationship between them and those in Weyuker´s and Parrish and Zweben´s system, are also investigated