Title :
Clarifying some fundamental concepts in software testing
Author :
Parrish, Allen S. ; Zweben, Stuart H.
Author_Institution :
Dept. of Comput. Sci., Alabama Univ., Tuscaloosa, AL, USA
fDate :
7/1/1993 12:00:00 AM
Abstract :
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
Keywords :
formal verification; program testing; formal definitions; realistic models; software test data adequacy criterion; software testing; test set; useful adequacy criteria; Computer science; Information science; Performance analysis; Software testing; System testing;
Journal_Title :
Software Engineering, IEEE Transactions on
