A Formal Analysis of the Fault-Detecting Ability of Testing Methods

Phyllis G. Frankl, Elaine J. Weyuker

    Research output: Contribution to journalArticle

    Abstract

    This paper examines several relations between software testing criteria, exploring 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 C1 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.

    Original languageEnglish (US)
    Pages (from-to)202-213
    Number of pages12
    JournalIEEE Transactions on Software Engineering
    Volume19
    Issue number3
    DOIs
    StatePublished - Mar 1993

    ASJC Scopus subject areas

    • Software

    Fingerprint Dive into the research topics of 'A Formal Analysis of the Fault-Detecting Ability of Testing Methods'. Together they form a unique fingerprint.

  • Cite this