Automated testing for Java programs using JPF-based test case generation

Authors:
Supasit Monpratarnchai;Shoichiro Fujiwara;Asako Katayama;Tadahiro Uehara
Affiliations:
Fujitsu Laboratories LTD., Kanagawa, Japan;Fujitsu Laboratories LTD., Kanagawa, Japan;Fujitsu Laboratories LTD., Kanagawa, Japan;Fujitsu Laboratories LTD., Kanagawa, Japan
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2014

Citing 5
Cited 0

Symbolic execution and program testing

Communications of the ACM
Test input generation with java PathFinder

ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
JPF-SE: a symbolic execution extension to Java PathFinder

TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
A cloud-based TaaS infrastructure with tools for SaaS validation, performance and scalability evaluation

CLOUDCOM '12 Proceedings of the 2012 IEEE 4th International Conference on Cloud Computing Technology and Science (CloudCom)
JST: an automatic test generation tool for industrial Java applications with strings

Proceedings of the 2013 International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Program testing requires a series of tasks such as preparing drivers and stubs, creating test cases, and executing unit tests. To reduce manual effort of performing such tasks for testing Java programs, we developed a tool that fully integrates and automates all of these processes, by using JPF with extensions as a symbolic execution engine for automatically generating unit test cases. In this paper, we present this tool and its application to real projects to evaluate its efficacy. The evaluation results demonstrate that the tool performs well in terms of the test time reduction compared with manual test as it eliminates the total amount of manual effort, while largely preserving a high coverage of greater than 90 % as our expected borderline.