[发明专利]一种软件测试用例的递归生成方法

权利要求书

1.一种软件测试用例的递归生成方法，其特征在于，该方法包含以下步骤：

步骤1、获取待测软件环境参数及各类软件的可选配置，将测试用例转化为小阶数覆盖阵列CA(2，k，v)，即，通过数学构造或者计算机搜索方法在集合上构造出小阶数覆盖阵列CA(2，k，v)，其中k表示k类软件，v表示v种配置；

步骤2、每类软件的可选项从v种配置变为v+m种配置时，在覆盖阵列CA(2，k，v)构造的基础上，递归构造出覆盖阵列CA(2，k，v+m)，具体如下：

在集合构造的覆盖阵列CA(2，k，v)，对其进行变量替换，使其首行取值全为0，将所得的新矩阵记为M_v；

定义集合S＝{v，v+1，…，v+m-1}，将扩展至在集合{x，y}上构造覆盖阵列CA(2，k，2)，其中x∈Z_v，y∈S，并对其进行变量替换，使其首行取值全为x，得到m*v个矩阵，将所得的新矩阵记为M_x，y；

对矩阵M_0，v中的元素进行变量替换使其首行取值全为v，并用所得的新矩阵作为M_0，v；

在集合S上构造覆盖阵列CA(2，k，m)，并对其进行变量替换，使其首行取值全为v，将所得的新矩阵记为M_S；

将矩阵M_v，M_x，y，M_S均删去首行后合并，并去除恒等行，得到覆盖阵列CA(2，k，v+m)；

步骤3、将步骤2生成的覆盖阵列转化为实际的软件测试用例方案。

2.根据权利要求1所述的软件测试用例的递归生成方法，其特征在于，对覆盖阵列CA(2，k，v)进行变量替换，得到新矩阵M_v方法如下：

设CA(2，k，v)首行元素分别为x₁，x₂，…，x_k，对每一列元素分别进行变量替换：i＝1，2，…，k，所得的阵列仍为覆盖阵列，且满足首行全零。

3.根据权利要求1所述的软件测试用例的递归生成方法，其特征在于，矩阵M_x，y生成方法为：

通过组合设计方法求出构造CA(2，k，2)的最优解，列出{0，1}上的首行全零的覆盖阵列CA(2，k，2)；

做变量替换即得到集合{x，y}上的覆盖阵列CA(2，k，2)，且满足首行全为x。

4.根据权利要求1所述的软件测试用例的递归生成方法，其特征在于，矩阵M_S生成方法为：

通过组合设计或搜索算法求出小阶数覆盖阵列CA(2，k，m)；

设所得的CA(2，k，m)首行元素分别为x₁，x₂，…，x_k，对每一列元素分别进行变量代换：所得的阵列仍为覆盖阵列，且满足首行取值全为v。