DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces

Unit tests of object-oriented code exercise particular sequences of method calls. A key problem when automatically generating unit tests that achieve high structural code coverage is the selection of relevant method-call sequences, since the number of potentially relevant sequences explodes with the number of methods. To address this issue, we propose a novel approach, called DyGen, that generates tests via mining dynamic traces recorded during program executions. Typical program executions tend to exercise only happy paths that do not include error-handling code, and thus recorded traces often do not achieve high structural coverage. To increase coverage, DyGen transforms traces into parameterized unit tests (PUTs) and uses dynamic symbolic execution to generate new unit tests for the PUTs that can achieve high structural code coverage. In this paper, we show an application of DyGen by automatically generating regression tests on a given version of software.4 Key words: object-oriente...

• Type: Conference
• Year: 2010
• Where: TAP
• Authors: Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth
• Keywords: Dynamic Symbolic Execution, Structural Code Coverage, TAP 2010, Unit Tests