As. Parrish et Sh. Zweben, CLARIFYING SOME FUNDAMENTAL-CONCEPTS IN SOFTWARE TESTING, IEEE transactions on software engineering, 19(7), 1993, pp. 742-746
A software test data adequacy criterion is a means for determining whe
ther a test set is sufficient, or ''adequate,'' for testing a given pr
ogram. Previous work has proposed a set of properties that useful adeq
uacy criteria should satisfy. In this paper, we identify some addition
al properties of useful adequacy criteria that are appropriate under c
ertain realistic models of testing. We then discuss modifications to t
he formal definitions of certain popular adequacy criteria to make the
criteria consistent with these additional properties.