Automating Test-Suite Augmentation

Roderick Bloem, Robert Koenighofer, Franz Rock, Michael Tautschnig
2014 2014 14th International Conference on Quality Software  
Test suites are hardly ever created from scratch. Hence, automatic test case generation methods should take advantage of existing tests to produce high-quality test suites more efficiently. We present an approach for automatic test suite augmentation addressing this challenge. It modifies existing test cases in such a way that full branch coverage in specified target functions is achieved. It is based on symbolic execution and model checking, and has been implemented as an extension to FShell,
more » ... tension to FShell, a test case generation tool for C programs. Finally, we present a case study where we apply our tool to augment a model-based test suite for real industrial code of a Java Card applet firewall, ultimately achieving 100% branch coverage fully automatically.
doi:10.1109/qsic.2014.40 dblp:conf/qsic/BloemKRT14 fatcat:hkj57tanfbcuncjk4lfj7rlw7y