1.一种软件测试用例的递归生成方法，其特征在于，该方法包含以下步骤：步骤1、获取待测软件环境参数及各类软件的可选配置，将测试用例转化为小阶数覆盖阵列CA(2,k,v)；其中k表示k类软件，v表示v种配置；

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

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

2.根据权利要求1所述的软件测试用例的递归生产方法，其特征在于，所述步骤1通过数学构造或者计算机搜索方法在集合 上构造出小阶数覆盖阵列CA(2,k,v)；其中k表示k类软件，v表示v种配置。

3.根据权利要求2所述的软件测试用例的递归生成方法，其特征在于，在覆盖阵列CA(2,k,v)构造的基础上，递归构造出覆盖阵列CA(2,k,v+m)，具体如下：在集合 构造的覆盖阵列CA(2,k,v)，对其进行变量替换，使其首行取值全为0，将所得的新矩阵记为Mv；

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

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

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

将矩阵Mv,Mx,y,MS均删去首行后合并，并去除恒等行，得到覆盖阵列CA(2,k,v+m)。

4.根据权利要求3所述的软件测试用例的递归生成方法，其特征在于，对覆盖阵列CA(2,k,v)进行变量替换，得到新矩阵Mv方法如下：设CA(2,k,v)首行元素分别为x1,x2,…,xk，对每一列元素分别进行变量替换：所得的阵列仍为覆盖阵列，且满足首行全零。

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

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

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

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

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

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