Formal analysis of the fault-detecting ability of testing methods

Phyllis Frankl, Elaine Weyuker

    Research output: Contribution to journalArticle

    Abstract

    This paper examines several relations between soft-ware 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 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

    Fingerprint

    Bearings (structural)
    Testing

    ASJC Scopus subject areas

    • Computer Graphics and Computer-Aided Design
    • Software
    • Electrical and Electronic Engineering

    Cite this

    Formal analysis of the fault-detecting ability of testing methods. / Frankl, Phyllis; Weyuker, Elaine.

    In: IEEE Transactions on Software Engineering, Vol. 19, No. 3, 03.1993, p. 202-213.

    Research output: Contribution to journalArticle

    Frankl, Phyllis ; Weyuker, Elaine. / Formal analysis of the fault-detecting ability of testing methods. In: IEEE Transactions on Software Engineering. 1993 ; Vol. 19, No. 3. pp. 202-213.
    @article{1f7d230a36074615bdabade39f17fcd0,
    title = "Formal analysis of the fault-detecting ability of testing methods",
    abstract = "This paper examines several relations between soft-ware 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 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.",
    author = "Phyllis Frankl and Elaine Weyuker",
    year = "1993",
    month = "3",
    doi = "10.1109/32.221133",
    language = "English (US)",
    volume = "19",
    pages = "202--213",
    journal = "IEEE Transactions on Software Engineering",
    issn = "0098-5589",
    publisher = "Institute of Electrical and Electronics Engineers Inc.",
    number = "3",

    }

    TY - JOUR

    T1 - Formal analysis of the fault-detecting ability of testing methods

    AU - Frankl, Phyllis

    AU - Weyuker, Elaine

    PY - 1993/3

    Y1 - 1993/3

    N2 - This paper examines several relations between soft-ware 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 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.

    AB - This paper examines several relations between soft-ware 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 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.

    UR - http://www.scopus.com/inward/record.url?scp=0027555385&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=0027555385&partnerID=8YFLogxK

    U2 - 10.1109/32.221133

    DO - 10.1109/32.221133

    M3 - Article

    VL - 19

    SP - 202

    EP - 213

    JO - IEEE Transactions on Software Engineering

    JF - IEEE Transactions on Software Engineering

    SN - 0098-5589

    IS - 3

    ER -