[发明专利]并行程序中缩减测试用例方法

摘要

本发明公开了一种并行程序中缩减测试用例方法，用于解决现有缩减测试用例方法复杂的技术问题。技术方案是首先对并行程序进行研究，选取与并行错误密切相关的变异算子，并以此为基础为待测程序生成多种变异体。采用线程调度工具JavaPathFinder(JPF)作为线程调度工具来执行测试用例，根据每一个测试用例变异评分与平均时间成本进行对测试用例进行排序。在排序后的测试用例集中，从上到下依次选取检测能力不重复的测试用例，从而得到面向并行错误检测的最小测试用例集。本发明保证在同等并行错误检测能力的情况下，缩减了测试用例集，降低了测试的时间成本，方法简单。

主权项

1.一种并行程序中缩减测试用例方法，其特征在于包括以下步骤：步骤一、选择变异算子；根据源代码特性，在程序中选取变异算子：MXT,RTXC,RJS,RSK,RSB,MSP和ESP；步骤二、生成变异体；根据变异算子生成变异体：Airline_MXT,Airline_RTXC，Airline_RJS,Airline_RSK,Airline_RSB,Airline_MSP和Airline_ESP；步骤三、执行测试用例并获取其结果；采用线程调度工具JPF作为线程调度工具来执行测试用例，使每个测试用例都在原程序中执行一次；将在原始程序执行的结果视为期望结果；执行变异体程序并将结果与原始程序对比，如果与期望结果相同，这个变异体对应的测试用例项被标记为S，否则被标记为F；步骤四、计算MS值和AC值；在测试用例优先级评定方面，从变异评分MS和平均成本AC两个方面来评价；给定一个程序P和一个测试集T，MS和AC的定义如下：变异评分MS是测试中所检测出的变异算子占整个程序中变异算子总数的比例，在给定程序P和测试用例集T的情况下，变异评分MS采用公式(1)计算：其中，K_m是指被程序发现并杀除的变异算子的数目，T_m是程序中变异算子的总数，E_m是发现的等价变异体的数目；平均成本AC是指一个测试用例分别以不同变异体运行时的平均执行时间；采用公式(2)计算：其中，n表示所有变异体的数量；C_i表示对一个变异体M_i执行测试集T中的一个测试用例t的实际运行时间；步骤五、根据MS值和AC值排序；根据MS值对各个测试用例进行降序排序，得出该测试集T中各个测试用例的优先级为T2‑T6‑T1‑T4‑T5‑T3；由于T2与T6的MS值相同，T1与T4的MS值相同；各测试用例的优先级进一步优化为：T6‑T2‑T4‑T1‑T5‑T3；新生成的序列中，T6优先级最高，因此将其第一个选入最小测试用例集T’中；T6所发现变异体为Airline_MXT,Airline_RTXC,Airline_RJS,Airline_RSK,Airline_MSP和Airline_ESP；以T6为基准，将其所发现的变异体加入至已发现变异体集M’中；在此基础上判断下一个测试用例T2是否发现新的变异体，即是否检测出不在M’中的变异体；若有，则将T2加入到最小测试用例集T’中，否则舍弃T2；继续进行判断下一个测试用例T4，T1…T3，直至判定完所有的测试用例；得到最小测试用例集T’；最终产生的测试用例集T’中包含两个测试用例T6和T4，其余测试用例未检测到新的变异体，因此将其舍弃，得到并行程序中缩减的测试用例。