Thread-Level Parallel Generating Inter-class Test Cases

A complicated class-cluster is transformed into several test blocks, and these test blocks are assigned to the processing cores on multi-core computer. Each processing core executes in parallel multiple threads to handle some test blocks. The relationship among classes in each block is represented by relational pairs, and the mutation program for each relational pair is generated by applying μJava. The generated mutants and model checker Java PathFinder(JPF) are applied to create automatically counterexample, and the test cases for class-cluster are extracted by analyzing the counterexample. The experimental results show that the presented method can speed up test generation and obtain test cases with higher quality.