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

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 all-edges and all-DUs (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 % usually showed signijicantly better fault detection than randomly chosen test sets of the same size. In addition, signijicant improvements in the effectiveness of coverage-based tests usually occurred as coverage increased from 90 % to 100%. However; the results also indicate that 100 % 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.