多核计算机上并行生成类测试用例-计算机工程.PDF

36 19 2010 10 Vol.36 No.19 Computer Engineering October 2010 ·· 2010 A TP311 ( 530004) - JPF Generating Class Test Case in Parallel on Multi-core Computers WU Xi-hua, ZHONG Cheng, MO Ying-hong, TANG Jin-hui (School of Computer, Electronics and Information, Guangxi University, Nanning 530004, China) AbstractThe definition-use pair for each instance variable and the post conditions and preconditions for each member function are computed by the class data flow analysis. The class to be tested is preprocessed by the inheritance and the polymorphism of the class. The search environment of Java PathFinder(JPF) is configured, and the problem of generating test case is transformed into the one of finding the counter example in model check. A method to generate the class test case in parallel with multi-threading is presented on multi-core computers. Experimental results show that the algorithm can remarkably reduce the required states and run time of the test case generation, and spends the less time with more processing cores used. Key wordsclass test; case generation; multi-thread; multi-core computer; parallel processing 1 SPIN [1] 2.2 [6] [2]Java PathFinder(JPF) [3]