A formal analysis of the fault-detecting ability of testing methods |
| |
Authors: | Frankl PG Weyuker EJ |
| |
Affiliation: | Dept. of Comput. Sci., Polytech. Univ., Brooklyn, NY; |
| |
Abstract: | 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, C1 and C2 , R(C1, C2) guarantees that C1 is better at detecting faults than C2 according to various probabilistic measures of fault-detecting ability. It is shown that the fact that C 1 subsumes C2 does not guarantee that C1 is better at detecting faults. Relations that strengthen the subsumption relation and that have more bearing on fault-detecting ability are introduced |
| |
Keywords: | |
|
|