Parallel Architectures, Algorithms and Programming, International Symposium on (2011)
Dec. 9, 2011 to Dec. 11, 2011
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PAAP.2011.58
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.
Inter-class test cases generation; mutation; model check; multi-core computers; parallel threads
Z. Cheng and W. Xi-hua, "Thread-Level Parallel Generating Inter-class Test Cases," Parallel Architectures, Algorithms and Programming, International Symposium on(PAAP), Tianjin, China, 2011, pp. 42-46.