Issue No. 12 - Dec. (1986 vol. 12)
Elaine J. Weyuker , Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, New York, NY 10012
A test data adequacy criterion is a set of rules used to determine whether or not sufficient testing has been performed. A general axiomatic theory of test data adequacy is developed, and five previously proposed adequacy criteria are examined to see which of the axioms are satisfied. It is shown that the axioms are consistent, but that only two of the criteria satisfy all of the axioms.
Testing, Vectors, Syntactics, Shape, Positron emission tomography, Semantics, Software, test data adequacy, Software testing
E. J. Weyuker, "Axiomatizing software test data adequacy," in IEEE Transactions on Software Engineering, vol. 12, no. , pp. 1128-1138, 1986.