[發明專利]一種軟件測試用例的遞歸生成方法

有效

• 申請號: 202110576410.0
• 申請日: 2021-05-26
• 公開（公告）號: CN113238954B
• 公開（公告）日: 2023-05-09
• 發明（設計）人: 彭茂;張媛;盧長娜
• 申請（專利權）人: 南京信息工程大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 南京經緯專利商標代理有限公司 32200
• 代理人: 周科技

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。