Issue No. 07 - July (1993 vol. 19)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.238573
<p>A software test data adequacy criterion is a means for determining whether a test set is sufficient, or adequate, for testing a given program. A set of properties that useful adequacy criteria should satisfy have been previously proposed (E. Weyuker, 1986; 1988). The authors identify some additional properties of useful adequacy criteria that are appropriate under certain realistic models of testing. They discuss modifications to the formal definitions of certain popular adequacy criteria to make the criteria consistent with these additional properties.</p>
software testing; software test data adequacy criterion; test set; useful adequacy criteria; realistic models; formal definitions; formal verification; program testing
S. Zweben and A. Parrish, "Clarifying Some Fundamental Concepts in Software Testing," in IEEE Transactions on Software Engineering, vol. 19, no. , pp. 742-746, 1993.