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. 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.
81 ms
(Ver 3.3 (11022016))