[發(fā)明專利]基于語句交互覆蓋的回歸測試用例選擇方法

有效

• 申請?zhí)枺?/td>: 201310643493.6
• 申請日: 2013-12-03
• 公開（公告）號: CN103617119A
• 公開（公告）日: 2014-03-05
• 發(fā)明（設(shè)計）人: 陳翔;田丹;徐慧;文萬志;陳繼紅;蔣崢崢
• 申請（專利權(quán)）人: 南通大學(xué)
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種基于語句交互覆蓋的回歸測試用例選擇方法，其特征在于，所述方法包括如下步驟：

(1)對待測程序進(jìn)行插樁，在插樁后的程序上執(zhí)行用于測試被測程序的已有測試用例集中的每個測試用例，記錄每個測試用例的語句覆蓋信息并構(gòu)造出測試用例-語句覆蓋矩陣，確定需覆蓋的語句集R；

(2)基于測試用例-語句覆蓋矩陣生成可覆蓋的語句間交互集I；

(3)根據(jù)可覆蓋的語句間交互集I、需覆蓋的語句集R和已有測試用例集，按照選擇策略執(zhí)行測試用例集壓縮方法，并最終生成壓縮后的測試用例集。

2.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述方法步驟(3)中執(zhí)行測試用例集壓縮方法按照以下步驟進(jìn)行：

1)構(gòu)造壓縮后的測試用例集，并設(shè)置壓縮后測試用例集為空集；

2)按照第一選擇策略S1從已有測試用例集中選擇覆蓋語句集R中相應(yīng)的語句的測試用例，添加到壓縮后的測試用例集中，并確定語句間交互集I中已經(jīng)覆蓋的語句交互；

3)按照第二選擇策略S2從已有測試用例集中選擇覆蓋語句間交互集I中尚未覆蓋的語句交互的測試用例，添加到壓縮后的測試用例集中。

3.根據(jù)權(quán)利要求2所述的方法，其特征在于，所述方法步驟2)按照第一選擇策略S1從已有測試用例集中選擇覆蓋需覆蓋的語句集R中相應(yīng)的語句的測試用例按照如下步驟進(jìn)行：

A1)計算出需覆蓋的語句集R中每個語句的基數(shù)，獲取需覆蓋的語句集R中語句的最小基數(shù)；所述基數(shù)為測試用例集中覆蓋該語句的測試用例數(shù)量；

A2)從已有測試用例集中選擇測試用例子集T1，使其中的測試用例覆蓋擁有最小基數(shù)的語句個數(shù)最多；

A3)如果測試用例子集T1僅包含一個測試用例，則將該測試用例為被選定的測試用例；如果測試用例子集T1包含兩個或兩個以上的測試用例時，從測試用例子集T1中選擇測試用例子集T2，使其中的測試用例覆蓋語句間交互集I中語句交互最多；

A4)如果測試用例子集T2僅包含一個測試用例，則該測試用例為被選定的測試用例；如果測試用例子集T2包含兩個或兩個以上的測試用例時，從測試用例子集T2中隨機(jī)選擇一個測試用例作為被選定的測試用例。

4.根據(jù)權(quán)利要求2所述的方法，其特征在于，所述方法步驟3)按照第二選擇策略S2從已有測試用例集中選擇未同時覆蓋需覆蓋的語句集R中相應(yīng)的語句和語句間交互集I的語句交互的測試用例按照如下步驟進(jìn)行：

A1)計算出語句間交互集I中每個語句交互的基數(shù)，獲取需覆蓋的語句間交互集I中語句交互的最小基數(shù)；所述基數(shù)為測試用例集中覆蓋該語句交互的測試用例數(shù)量；

A2)從已有測試用例集中選擇測試用例子集T1’，使其中的測試用例覆蓋擁有最小基數(shù)的語句交互個數(shù)最多；

A3)如果測試用例子集T1’僅包含一個測試用例，則將該測試用例為被選定的測試用例；如果測試用例子集T1’包含兩個或兩個以上的測試用例時，從測試用例子集T1’中隨機(jī)選擇一個測試用例作為被選定的測試用例。

5.根據(jù)權(quán)利要求2或4所述的方法，其特征在于，所述方法步驟3)中已有測試用例集為原始已有測試用例集中排除已添加到壓縮后的測試用例集中測試用例的測試用例集合。

6.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述方法步驟(1)中假設(shè)已有測試用例集為T，其中包含m個測試用例，待測程序中包含需要覆蓋的n個語句，則測試用例-語句覆蓋矩陣是一個m×n的矩陣，表示為：

c11c12Lc1nc21c22Lc2nLLLLcm1cm2Lcmn]]>

其中若第i個測試用例覆蓋第j個語句，則c_ij取值為1，否則c_ij取值為0；如果語句k與語句u構(gòu)成的語句交互是可覆蓋的，當(dāng)且僅當(dāng)存在測試用例q，使得c_qk和c_qu同時取值為1；其中i、j、n、k、u、q、m均是整數(shù)，且0<=i<=m；0<=j<=n；0<=k<=n；0<=u<=n；0<=q<=m。