Issue No. 03 - March (1993 vol. 19)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.221133
<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>
formal analysis; software testing criteria; multisets; subdomains; probabilistic measures; fault-detecting ability; subsumption relation; program testing; system recovery
P. Frankl and E. Weyuker, "A Formal Analysis of the Fault-Detecting Ability of Testing Methods," in IEEE Transactions on Software Engineering, vol. 19, no. , pp. 202-213, 1993.