A FORMAL ANALYSIS OF THE FAULT-DETECTING ABILITY OF TESTING METHODS

Authors
FRANKL PG WEYUKER EJ
Citation
Pg. Frankl et Ej. Weyuker, A FORMAL ANALYSIS OF THE FAULT-DETECTING ABILITY OF TESTING METHODS, IEEE transactions on software engineering, 19(3), 1993, pp. 202-213
Citations number
15
Categorie Soggetti
Computer Sciences","Engineering, Eletrical & Electronic","Computer Applications & Cybernetics
Journal title
IEEE transactions on software engineering → ACNP
ISSN journal
00985589
Volume
19
Issue
3
Year of publication
1993
Pages
202 - 213
Database
ISI
SICI code
0098-5589(1993)19:3<202:AFAOTF>2.0.ZU;2-#
Abstract
This paper examines several relations between software testing criteri a, exploring whether for each relation R and each pair of criteria, C1 and C2, R(C1, C2) guarantees that C1 is better at detecting faults th an C2 according to various probabilistic measures of fault-detecting a bility. It is shown that the fact that C1 subsumes C2 does not guarant ee that C1 is better at detecting faults. Relations that strengthen th e subsumption relation and that have more bearing on fault-detecting a bility are introduced.