The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.07 - July (1993 vol.19)
pp: 742-746
ABSTRACT
<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>
INDEX TERMS
software testing; software test data adequacy criterion; test set; useful adequacy criteria; realistic models; formal definitions; formal verification; program testing
CITATION
A.S. Parrish, "Clarifying Some Fundamental Concepts in Software Testing", IEEE Transactions on Software Engineering, vol.19, no. 7, pp. 742-746, July 1993, doi:10.1109/32.238573
13 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool