DocumentCode
959131
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
Volume
19
Issue
7
fYear
1993
fDate
7/1/1993 12:00:00 AM
Firstpage
742
Lastpage
746
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;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.238573
Filename
238573
Link To Document