EFSM generation for C programs with functions

Test data generation in program testing is the process of identifying a suite of test data that satisfy a selected criterion, such as statement coverage or branch coverage. Most existing methods for test data generation are limited to unit testing and may not work for programs with functions. In [1] we present an approach to automated test data generation for unit testing, which is based on extended finite state machines (EFSMs). In order to deal with programs with functions, we extend our work by improving the EFSM generation process. The new approach can eliminate functions in a C program and convert the program into a whole equivalent EFSM. Now the EFSM generator can accept C programs with functions, and its output can be accepted by the EFSM analyzer described in [1].