CLARIFYING SOME FUNDAMENTAL-CONCEPTS IN SOFTWARE TESTING

Authors
PARRISH AS ZWEBEN SH
Citation
As. Parrish et Sh. Zweben, CLARIFYING SOME FUNDAMENTAL-CONCEPTS IN SOFTWARE TESTING, IEEE transactions on software engineering, 19(7), 1993, pp. 742-746
Citations number
13
Categorie Soggetti
Computer Sciences","Engineering, Eletrical & Electronic","Computer Applications & Cybernetics
Journal title
IEEE transactions on software engineering → ACNP
ISSN journal
00985589
Volume
19
Issue
7
Year of publication
1993
Pages
742 - 746
Database
ISI
SICI code
0098-5589(1993)19:7<742:CSFIST>2.0.ZU;2-K
Abstract
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.