The Community for Technology Leaders
Parallel Architectures, Algorithms and Programming, International Symposium on (2011)
Tianjin, China
Dec. 9, 2011 to Dec. 11, 2011
ISBN: 978-0-7695-4575-2
pp: 42-46
ABSTRACT
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.
INDEX TERMS
Inter-class test cases generation; mutation; model check; multi-core computers; parallel threads
CITATION
Zhong Cheng, Wu Xi-hua, "Thread-Level Parallel Generating Inter-class Test Cases", Parallel Architectures, Algorithms and Programming, International Symposium on, vol. 00, no. , pp. 42-46, 2011, doi:10.1109/PAAP.2011.58
176 ms
(Ver 3.3 (11022016))