Analytical comparison of the fault-detecting ability of data flow testing techniques

Phyllis G. Frank, Elaine J. Weyuker

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    This paper compares several data flow based software testing criteria to one another and to branch testing. It has previously been shown that the fact that criterion C1 subsumes criterion C2, does not guarantee that C1 is better at detecting faults than C2. However if a certain stronger relation between the criteria holds, then for any program and any specification, C1 is guaranteed to be better at detecting faults than C2 in the following sense: a test suite selected by independent random selection of one test case from each C1 subdomain is at least as likely to detect a fault as a test suite similarly selected using C2. This paper shows that under those conditions, the expected number of failure-causing inputs in the C1 test suite is also at least as great as that of the C2 test suite. These results are used to compare a number of data flow testing criteria to one another and to branch testing.

    Original languageEnglish (US)
    Title of host publicationProceedings - International Conference on Software Engineering
    Pages415-424
    Number of pages10
    DOIs
    StatePublished - 1993
    EventProceedings of the 15th International Conference on Software Engineering - Baltimore, MD, USA
    Duration: May 17 1993May 21 1993

    Publication series

    NameProceedings - International Conference on Software Engineering
    ISSN (Print)0270-5257

    Other

    OtherProceedings of the 15th International Conference on Software Engineering
    CityBaltimore, MD, USA
    Period5/17/935/21/93

    ASJC Scopus subject areas

    • Software

    Fingerprint Dive into the research topics of 'Analytical comparison of the fault-detecting ability of data flow testing techniques'. Together they form a unique fingerprint.

  • Cite this

    Frank, P. G., & Weyuker, E. J. (1993). Analytical comparison of the fault-detecting ability of data flow testing techniques. In Proceedings - International Conference on Software Engineering (pp. 415-424). (Proceedings - International Conference on Software Engineering). https://doi.org/10.1109/ICSE.1993.346024