Automated search for good coverage criteria

McMinn, Phil; Harman, Mark; Kapfhammer, Gregory M.

doi:10.1145/2897010.2897013

Cited by 9 publications

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Choosing the fitness function for the job: Automated generation of test suites that detect real faults

Salahirad

Almulla

2019

Software Testing Verif & Rel

View full text Add to dashboard Cite

Summary Search‐based unit test generation, if effective at fault detection, can lower the cost of testing. Such techniques rely on fitness functions to guide the search. Ultimately, such functions represent test goals that approximate—but do not ensure—fault detection. The need to rely on approximations leads to two questions—can fitness functions produce effective tests and, if so, which should be used to generate tests? To answer these questions, we have assessed the fault‐detection capabilities of unit test suites generated to satisfy eight white‐box fitness functions on 597 real faults from the Defects4J database. Our analysis has found that the strongest indicators of effectiveness are a high level of code coverage over the targeted class and high satisfaction of a criterion's obligations. Consequently, the branch coverage fitness function is the most effective. Our findings indicate that fitness functions that thoroughly explore system structure should be used as primary generation objectives—supported by secondary fitness functions that explore orthogonal, supporting scenarios. Our results also provide further evidence that future approaches to test generation should focus on attaining higher coverage of private code and better initialization and manipulation of class dependencies.

show abstract