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

Generating Class Test Case in Parallel on Multi-core Computers

作　　者：吴惜华[1] 钟诚[1] 莫英红[1] 唐金辉[1] 

机构地区：[1]广西大学计算机与电子信息学院,南宁530004

出　　处：《计算机工程》2010年第19期90-92,共3页Computer Engineering

基　　金：广西科学基金资助项目(桂科自0728033);广西研究生教育创新计划基金资助项目;广西高校人才小高地建设创新团队基金资助项目(桂教人[2007]7号)

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

关 键 词：类测试 用例生成 多线程 多核计算机 并行处理 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]