This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Axiomatizing software test data adequacy
Dec. 1986 (vol. 12 no. 12)
pp. 1128-1138
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.
Index Terms:
Testing,Vectors,Syntactics,Shape,Positron emission tomography,Semantics,Software,test data adequacy,Software testing
Citation:
Elaine J. Weyuker, "Axiomatizing software test data adequacy," IEEE Transactions on Software Engineering, vol. 12, no. 12, pp. 1128-1138, Dec. 1986, doi:10.1109/TSE.1986.6313008
Usage of this product signifies your acceptance of the Terms of Use.