Automated coverage calculation and test case generation

[摘要] ENGLISH ABSTRACT:This research combines symbolic execution, a formal method of static analysis, with varioustest adequacy criteria, to explore the e ectiveness of using symbolic execution for calculatingcode coverage on a program's existing JUnit test suites. Code coverage is measured with anumber of test adequacy criteria, including statement coverage, branch coverage, conditioncoverage, method coverage, class coverage, and loop coverage. The results of the code coveragecalculation is then used to automatically generate JUnit test cases for areas of a program thatare not su ciently covered. The level of redundancy of each test case is also calculated duringcoverage calculation, thereby identifying fully redundant, and partially redundant, test cases.The combination of symbolic execution and code coverage calculation is extended to performcoverage calculation during a manual execution of a program, allowing testers to measure thee ectiveness of manual testing.This is implemented as an Eclipse plug-in, named ATCO, which attempts to take advantageof the Eclipse workspace and extensible user interface environment to improve usability of thetool by minimizing the user interaction required to use the tool.The code coverage calculation process uses constraint solving to determine method parametervalues to reach speci c areas in the program. Constraint solving is an expensivecomputation, so the tool was parallellised using Java's Concurrency package, to reduce theoverall execution time of the tool.

[发布机构] Stellenbosch University