This Article 
 Bibliographic References 
 Add to: 
April 1989 (vol. 15 no. 4)
pp. 496-500

E.J. Weyuker recently proposed a set of properties which should be satisfied by any reasonable criterion used to claim that a computer program has been adequately tested. The author called these properties 'axioms'. She also evaluated several well-known testing strategies with respect to these properties, and concluded that some of the commonly used strategies failed to satisfy several of the properties. The commenters question both the fundamental nature of the properties and the precision with which they are presented, and illustrate how a number of ideas in E.J. Weyuker's paper can be simplified and clarified through greater precision and a more consistent set of definitions. They also reanalyze the testing strategies after accounting for these inconsistencies. The strategies tend to work better as a result of this reanalysis. The author rebuts the commenter's arguments.

[1] E. J. Weyuker, "Axiomatizing software test data adequacy,"IEEE Trans. Software Eng., vol. SE-12, no. 12, pp. 1128-1138, Dec. 1986.

Index Terms:
software test data adequacy; program testing; program testing.
S.H. Zweben, J.S. Gourlay, "Comments on 'Axiomatizing Software Test Data Adequacy' by E.J. Weyuker," IEEE Transactions on Software Engineering, vol. 15, no. 4, pp. 496-500, April 1989, doi:10.1109/32.16609
Usage of this product signifies your acceptance of the Terms of Use.