Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria

DMCA

Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria (1994)

Cached

Download Links

by Monica Hutchins , Herb Foster , Tarak Goradia , Thomas Ostrand

Venue:	IN PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
Citations:	313 - 0 self

BibTeX

@INPROCEEDINGS{Hutchins94experimentson,
    author = {Monica Hutchins and Herb Foster and Tarak Goradia and Thomas Ostrand},
    title = {Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria},
    booktitle = {IN PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING},
    year = {1994},
    pages = {191--200},
    publisher = {}
}

OpenURL

Abstract

This paper reports an experimental study investigating the effectiveness of two code-based test adequacy criteria for identifying sets of test cases that detect faults. The alledges and all-D Us (modified all-uses) coverage criteria were applied to 130 faulty program versions derived from seven moderate size base programs by seeding realistic faults. We generated several thousand test sets for each faulty program and examined the relationship between fault detection and coverage. Within the limited domain of our experiments, test sets achieving coverage levels over 90?Zo usually showed sigrdjlcantly better fault detection than randomly chosen test sets of the same size. In addition, sigrd$cant improvements in the effectiveness of coverage-based tests usually occurred as coverage increased from 90 % to 100Yo. Howeve ~ the results also indicate that 100?Zo code coverage alone is not a reliable indicator of the effectiveness of a test set. We also found that tests based respectively on controljlow and dataflow criteria are frequently complementary in their effectiveness.

Keyphrases

test set controlflow-based test adequacy criterion fault detection code-based test adequacy criterion realistic fault faulty program moderate size base program coverage level coverage-based test all-d u coverage criterion zo code coverage dataflow criterion limited domain sigrd cant improvement experimental study test case faulty program version reliable indicator

DMCA