The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - March (1993 vol.19)
pp: 202-213
ABSTRACT
<p>Several relationships between software testing criteria, each induced by a relation between the corresponding multisets of subdomains, are examined. The authors discuss whether for each relation R and each pair of criteria, C/sub 1/ and C/sub 2/, R(C/sub 1/, C/sub 2/) guarantees that C/sub 1/ is better at detecting faults than C/sub 2/ according to various probabilistic measures of fault-detecting ability. It is shown that the fact that C/sub 1/ subsumes C/sub 2/ does not guarantee that C/sub 1/ is better at detecting faults. Relations that strengthen the subsumption relation and that have more bearing on fault-detecting ability are introduced.</p>
INDEX TERMS
formal analysis; software testing criteria; multisets; subdomains; probabilistic measures; fault-detecting ability; subsumption relation; program testing; system recovery
CITATION
P.G. Frankl, E.J. Weyuker, "A Formal Analysis of the Fault-Detecting Ability of Testing Methods", IEEE Transactions on Software Engineering, vol.19, no. 3, pp. 202-213, March 1993, doi:10.1109/32.221133
27 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool