A Preprocessing Method of Test Input Generation by Symbolic Execution for Enterprise Application

Techniques for automatically generating test input values by symbolic execution have been studied. However, the existing symbolic execution tool has a problem that it is difficult to apply it to enterprise applications because there are several reasons, for example, that a program using the function of the enterprise application framework can not be analyzed. In this paper, we propose a method for generating test input values for enterprise applications using symbolic execution, without having to modify the symbolic execution tool, by the preprocessing that converts enterprise application programs into programs to be accepted by existing symbolic execution tools. In addition, we implement the proposed method as a test input generation system and show how to combine the proposed preprocessing and existing symbolic execution techniques.