An Automated Testing Tool for Java Application Using Symbolic Execution Based Test Case Generation

We are developing a test case generation service that uses symbolic execution technique, to support testing of Java programs. In addition to program under test, we need drivers and stubs to execute the service. However, preparing drivers and stubs manually is a time-consuming and sometimes difficult task. In order to reduce the cost of such manual effort, we developed a tool that automates not only driver and stub preparation, but also other necessary processes of our test case generation service. The tool eliminates all manual routine work so that testers can perform the test with only one click. In this paper, we give a description of this tool which includes its implementation details and the techniques developed to automate its internal processes. We also report on its application to real project to evaluate the efficacy of the tool. Our results demonstrate that the tool reduces the amount of manual effort from several minutes to just a few seconds, while preserving a high level of test coverage.