[发明专利]基于执行序列的JUnit测试用例化简方法

权利要求书

1.一种JUnit测试用例化简方法，化简后的测试用例是化简前测试用例的真子集，化简后的测试用例的揭错能力与化简前接近，其特征在于：化简后的测试用例对方法调用顺序不当导致的故障的揭错能力与化简前相同；化简方法包括以下步骤：

第一步：把JUnit测试用例集合中的每条测试用例都表示成一个k-序列的集合；

第二步：对第一步中得到的k-序列集合进行化简。

2.如权利要求1所述的方法，其特征在于，第一步的实现方法为：先将每条JUnit测试用例拆分成多条k-序列，再将每条JUnit测试用例表示成多个k-序列构成的集合。

3.如权利要求1或2所述的方法，其特征在于，对形如JUnit的测试用例T＝[m₁，m₂，，...，m_n]，表示测试用例T中有n个方法m₁，m₂，m₃，...，m_n被调用，它们的调用顺序是m_i要比m_j先被调用(i＜j)，则把它表示成k-序列形式的过程如下：

A.如果测试用例T只有1个方法被调用，即T＝[m₁]，那么它的序列表示如下：

●如果k＝1，T的k-序列表示为{[m₁]}；

●如果k＞1，T的k-序列表示为

B.如果测试用例T只有2个方法被调用，即T＝[m₁，m₂]，那么它的序列表示如下：

●如果k＝1，T的k-序列表示为{[m₁]，[m₂]}；

●如果k＝2，T的k-序列表示为{[m₁，m₂]}；

●如果k＞2，T的k-序列表示为

C.否则，

●如果2≤k＜k+1＜n，那么，先将T拆分成k-序列：[m₁，...，m_k]，[m₂，...，m_k+1]，...，[m_n-k+1...，m_n]，然后将T表示成{[m₁，...，m_k]，[m₂，...，m_k+1]，...，[m_n-k+1...，m_n]}；

●如果2≤k＜k+1＝n，那么先将T拆分成k-序列：[m₁，...，m_k]，[m₂，...，m_k+1]，然后将T表示成{[m₁，...，m_k]，[m₂，...，m_k+1]}；

●如果2≤k＝n，那么先将T拆分成k-序列：[m₁，...，m_k]，然后将T表示成{[m₁，...，m_k]}。

●如果k＝1，那么先将T拆分成k-序列：[m₁]，[m₂]，...，[m_n]，然后将T表示成{[m₁]，[m₂]，...，[m_n]}；

●如果k＞n＞3，那么先将T拆分成k-序列：然后将T表示成

4.如权利要求1所述的方法，其特征在于，第二步的实现步骤为：

1)根据JUnit测试用例包含的方法数将原测试用例集合T分成两个不相交的子集T₁和T₂，T₁由方法数少于k的JUnit测试用例构成，T₂由方法数不少于k的JUnit测试用例构成，初始时，化简后的测试用例集合T″为空；

2)对于T₁中的测试用例，选择具有不同k-序列表示的JUnit测试用例来构造集合T₃，即：如果有多条JUnit测试用例具有相同的k-序列表示，从中任选一条JUnit测试用例放入T₃中；

3)对于T₂中的测试用例，首先统计T₂中的所有测试用例的k-序列表示包含的方法序列构成集合R，使用如贪心算法在内的任一化简算法，从T₂中挑选出部分测试用例构成集合T₄，使得R中任意方法序列都至少可以被T₄中的某条测试用例对应的k-序列表示包含；

4)T₃和T₄两集合的并就是化简后的JUnit测试用例集合T″。