The Community for Technology Leaders
Green Image
<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.G. Frankl, E.J. Weyuker, "A Formal Analysis of the Fault-Detecting Ability of Testing Methods", IEEE Transactions on Software Engineering, vol. 19, no. , pp. 202-213, March 1993, doi:10.1109/32.221133
88 ms
(Ver 3.3 (11022016))