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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1145/2557833.2560575 | ACM SIGSOFT Software Engineering Notes |
Keywords | Field | DocType |
unit test case,unit test,evaluation result,manual effort,test time reduction,manual test,jpf-based test case generation,automated testing,expected borderline,program testing,java program,test case,java,generation,coverage,automation,eclipse,stub,driver | Test harness,Programming language,Software engineering,Computer science,Unit testing,Manual testing,Automation,Test case,Symbolic execution,Java,Keyword-driven testing | Journal |
Volume | Issue | Citations |
39 | 1 | 1 |
PageRank | References | Authors |
0.41 | 4 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Supasit Monpratarnchai | 1 | 7 | 1.85 |
Shoichiro Fujiwara | 2 | 10 | 1.36 |
Asako Katayama | 3 | 11 | 1.75 |
Tadahiro Uehara | 4 | 115 | 9.66 |