Covering User-Defined Data-flow Test Requirements Using Symbolic Execution
Marcelo Medeiros Eler, André Takeshi Endo, Vinícius H. S. Durelli · 2014
Symbolic execution has been used in software testing as a effective technique to automatically generate test data. Most of approaches are based only on control-flow criteria and generate input data only for a whole program or function. However, testers may want to generate test data for covering data-flow criteria and also for satisfying specific test requirements. This paper presents an approach for generating test data to cover only test requirements selected by users, considering both control- and data-flow criteria. A prototype was implemented to support test data generation for Java programs and to perform a preliminary evaluation of the approach. The results, although in a limited context, are encouraging and motivate future experiments.