运用变异测试的并行程序测试用例最小化算法

在并行程序测试中,测试输入和线程交互时序是影响并行错误检测的两个关键因素。以缩减并行错误检测的输入空间为目标,给出一种基于变异测试的测试用例最小化算法。首先对并行程序进行研究,选取与并行错误密切相关的9个变异算子,并以此为基础为待测程序生成多种变异体；采用JPF作为线程调度工具来执行测试用例,根据变异评分与平均时间成本对测试用例进行排序,在优化后的测试用例集中选取检测能力不重复的测试用例,从而得到面向并行错误检测的最小测试用例集。实验结果证明,该方法能有效减小测试用例集的规模,并大幅缩短运行时间,从而提高了并行程序的测试效率。

Mutation Test Based Test Case Minimization for Concurrent Program

In the test of concurrency program,test input and the timing of threads interaction are the two key factors that affect the concurrency bug detection.For narrowing input space of concurrency bug detection,this paper proposed an algorithm of test case minimization based on mutation test.It first studies on different concurrency programs and selects 9 mutation operators which can contribute to the generation of mutants to the testing programs.Then it chooses JPF as the detecting tool during the execution of programs,through which the test cases are sorted according to mutation score(MS) and average cost(AC).Finally it picks those test cases which can find out different bugs in the prioritized test cases.Experimental results show that the method can effectively reduce the size of test cases,shorten running time and improve the effectiveness of concurrency bug detection.