多核计算机上并行生成类测试用例

通过类的数据流分析计算出实例变量的“定义-使用”对信息以及成员函数的前置和后置条件，利用类的继承多态性对被测试类进行预处理。在JPF中设置搜索环境，将测试用例生成问题简化成模型检测中寻找反例的问题，提出一种在多核计算机上实现的线程级并行生成类测试用例的方法。实验结果表明，该方法可以减少测试生成所需的状态数和运行时间，算法可使用的处理核心越多、测试生成所需的时间越少。

Generating Class Test Case in Parallel on Multi-core Computers

The 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.