Supporting Tool for Automatic Specification-Based Test Case Generation

Automatic test case generations in a potentially effective technique for program testing, but it still suffers from the lack of appropriate tool support. Our research presented in this paper mainly focuses on the developing of a tool for automatic test case generation based on formal specifications. We take advantage of the Liu’s decompositional test case generation method and put forward a set of algorithms for automatically generating test cases based on various data types. A supporting tool on the application of the approaches is presented. The tool can generate test cases according to the user’s given test conditions, and the result shows that our tool can produce test cases that satisfy most kinds of test conditions