Title :
Axiomatizing software test data adequacy
Author :
Weyuker, Elaine J.
Author_Institution :
Dept. of Comput. Sci., Courant Inst. of Math. Sci., New York Univ., NY, USA
Abstract :
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.
Keywords :
program testing; programming theory; axiomatic theory; software test data; test data adequacy; Positron emission tomography; Semantics; Shape; Software; Syntactics; Testing; Vectors; Software testing; test data adequacy;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1986.6313008
