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...

Full description

Saved in:
Bibliographic Details
Published in2013 20th Asia-Pacific Software Engineering Conference (APSEC) Vol. 2; pp. 93 - 98
Main Authors Monpratarnchai, Supasit, Fujiwara, Shoichiro, Katayama, Asako, Uehara, Tadahiro
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.12.2013
Subjects
Business
coverage
Generators
Java
Manuals
Materials
program testing
Software
symbolic execution
test automation
test case generation
Testing
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:1530-1362
2640-0715
DOI:10.1109/APSEC.2013.121