[發(fā)明專利]一種基于蛻變關系匹配的組合測試方法

在審

• 申請?zhí)枺?/td>: 202111198197.0
• 申請日: 2021-10-14
• 公開（公告）號: CN113934631A
• 公開（公告）日: 2022-01-14
• 發(fā)明（設計）人: 孫顏潔;鈕鑫濤
• 申請（專利權）人: 南京大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 江蘇圣典律師事務所 32237
• 代理人: 胡建華;于瀚文

1.一種基于蛻變關系匹配的組合測試方法，其特征在于，包括如下步驟：

步驟1，輸入抽象參數(shù)模型和蛻變關系，將蛻變關系轉化為對模型的約束；

步驟2，生成抽象測試用例集；

步驟3，生成具體測試用例集；

步驟4，使用測試用例執(zhí)行待測軟件，并使用腳本自動檢測程序是否出現(xiàn)故障。

2.根據(jù)權利要求1所述的方法，其特征在于，步驟1包括如下步驟：

步驟1-1，構建待測軟件的組合測試抽象參數(shù)模型，包括參數(shù)、每個參數(shù)的值域以及約束，并確定待測軟件的蛻變關系、蛻變關系的輸入規(guī)則和輸出規(guī)則。

3.根據(jù)權利要求2所述的方法，其特征在于，步驟1-1包括：設定待測軟件有n個參數(shù)，第i個參數(shù)p_i的有限值域為V_i，其中1≤i≤n；對于每一個參數(shù)p_i，從集合V_i中取抽象值v_i分配給參數(shù)p_i，組成組合測試的一條抽象測試用例，即{(p₁,v₁),(p₂,v₂),...,(p_n,v_n)}，其中抽象值v_i可能對應一個實際值，或者對應一個等價類；

對于抽象測試用例中的每一個抽象值v_i，將其轉換為具有真實含義的具體值c_i，由c_i組成組合測試的一條具體測試用例，即{(p₁,c₁),(p₂,c₂),...,(p_n,c_n)}。

4.根據(jù)權利要求3所述的方法，其特征在于，步驟1-1包括：將蛻變關系轉換為對組合測試模型的約束，包括兩種情況：

第一種情況，蛻變關系能夠被抽象測試用例所滿足，即如果兩條抽象測試用例滿足蛻變關系，則所述兩條抽象測試用例對應的具體測試用例也一定滿足蛻變關系，此時，只需要在抽象測試用例生成階段考慮蛻變關系；設定源抽象測試用例為{(p₁,v_s1),(p₂,v_s2),...,(p_n,v_sn)}，p_i表示第i個抽象參數(shù)，v_si表示第i個參數(shù)p_i的抽象值，其中1≤i≤n；后續(xù)抽象測試用例為{(p₁,v_f1),(p₂,v_f2),...,(p_n,v_fn)}，v_fi表示第i個參數(shù)p_i的抽象值；蛻變關系的輸入關系r_in用以下公式表示：

r_in(v_s1,v_s2,...,v_sn,v_f1,v_f2,...,v_fn)＝true

上述式子表示兩條抽象測試用例的值滿足輸入關系r_in對抽象測試用例對的約束，true表示真值；

第二種情況，蛻變關系只能通過具體測試用例滿足，則僅生成相應的抽象測試用例是不夠的，此時需要在抽象測試用例生成階段和具體測試用例生成階段都考慮蛻變關系，設定源抽象測試用例為{(p₁,v_s1),(p₂,v_s2),...,(p_n,v_sn)},對應的源具體測試用例為{(p₁,c_s1),(p₂,c_s2),...,(p_n,c_sn)},c_si表示源具體測試用例第i個參數(shù)對應具體值，其中1≤i≤n；后續(xù)抽象測試用例為{(p₁,v_f1),(p₂,v_f2),...,(p_n,v_fn)}，對應的后續(xù)具體測試用例為{(p₁,c_f1),(p₂,c_f2),...,(p_n,c_fn)}，c_fi表示后續(xù)具體測試用例第i個參數(shù)對應具體值，其中1≤i≤n；蛻變關系的輸入關系r_in用以下公式表示：

r_in(v_s1,v_s2,...,v_sn,v_f1,v_f2,...,v_fn)＝true

r_in(c_s1,c_s2,...,c_sn,c_f1,c_f2,...,c_fn)＝true

上述式子表示兩條抽象測試用例的值滿足輸入關系r_in對抽象測試用例對的約束，兩條具體測試用例的值滿足輸入關系r_in對具體測試用例對的約束；

測試用例生成階段不考慮蛻變關系的輸出關系，只有在判斷程序是否存在故障時考慮蛻變關系的輸出關系，設定源測試用例輸出為output_s，后續(xù)測試用例輸出為output_f，則蛻變關系的輸出關系r_out用以下公式表示：

r_out(output_s,output_f)＝true

如果滿足蛻變關系輸入關系的測試用例對不滿足蛻變關系的輸出關系，就判定程序出現(xiàn)了故障。