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

摘要

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