AuthorsJ. P. Galeotti, G. Fraser and A. Arcuri
EditorsC. S. M. Cohen
TitleImproving Search-Based Test Suite Generation With Dynamic Symbolic Execution
Afilliation, , Software Engineering
Project(s)The Certus Centre (SFI)
StatusPublished
Publication TypeProceedings, refereed
Year of Publication2013
Conference NameIEEE International Symposium on Software Reliability Engineering
PublisherIEEE
Place PublishedPasadena, CA
Abstract

Search-based testing can automatically generate unit test suites for object oriented code, but may struggle to generate specific values necessary to cover difficult parts of the code. Dynamic symbolic execution (DSE) efficiently generates such specific values, but may struggle with complex datatypes, in particular those that require sequences of calls for construction. The solution to these problems lies in a hybrid approach that integrates the best of both worlds, but such an integration needs to adapt to the problem at hand to avoid that higher coverage in a few corner cases comes at the price of lower coverage in the general case. We have extended the Genetic Algorithm (GA) in the EVOSUITE unit test generator to integrate DSE in an adaptive approach where feedback from the search determines when a problem is suitable for DSE, and the DSE exploration in turn is driven by a search-based constraint solver that can easily deal with mixed constraints of numerical and string datatypes. In experiments on a set of difficult classes our adaptive hybrid approach achieved an increase in code coverage of up to 63% (11% on average); experiments on the SF100 corpus of roughly 9,000 open source classes confirm that the improvement is of practical value, and a comparison with a DSE tool on the Roops set of benchmark classes shows that the hybrid approach improves over both its constituent techniques, GA and DSE.

Citation KeySimula.simula.1920