Paper Info
Title
An Automated Testing Tool for Java Application Using Symbolic Execution Based Test Case Generation
Abstract
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.
Year
DOI
Venue
2013
10.1109/APSEC.2013.121
APSEC (2)
Keywords
Field
DocType
necessary process,manual routine work,internal process,manual effort,automated testing tool,symbolic execution,java application,test coverage,test case generation service,difficult task,implementation detail,test case generation,high level,java program,coverage,java
Test suite,Test harness,Test Management Approach,Computer science,Manual testing,Test script,Real-time computing,Test case,Concolic testing,Keyword-driven testing
Conference
ISSN
Citations 
PageRank 
1530-1362
0
0.34
References 
Authors
1
4
Name
Order
Citations
PageRank
Supasit Monpratarnchai171.85
Shoichiro Fujiwara2101.36
Asako Katayama3111.75
Tadahiro Uehara41159.66