基于解空間樹的組合測試并行測試算法的研究.pdf

1、組合測試是一種黑盒抽樣技術，它采用組合的思想精簡測試用例集規(guī)模，并且能夠解決組合爆炸問題。經(jīng)驗數(shù)據(jù)表明，二維覆蓋組合測試能覆蓋軟件中50％-97%的缺陷，具有非常高的實用價值。此外，在實際軟件中，參數(shù)取值之間的約束也是普遍存在，并且對解決組合測試用例生成問題具有非常大的現(xiàn)實意義。在此背景下，本文主要針對二值型約束條件，提出了一個基于二值型約束和解空間樹的pairwise測試用例生成算法（PSST_C）。在此基礎之上，本文提出了一個并行測

2、試算法，意在縮短測試過程所花費的時間。
　　首先，本文針對約束條件中的二值型約束和二值型約束對測試用例集規(guī)模的影響等問題進行詳細的研究；其次，將待測軟件模型映射到一顆完整的解空間樹上，并通過待測軟件中存在的二值型約束對解空間樹進行剪枝操作；然后通過回溯法對剪枝后的解空間樹進行充分遍歷，生成符合兩兩覆蓋標準的最小規(guī)模的測試用例集；再次，采用貪心算法做為補充，進一步覆蓋軟件中所有有效的二維組合；最后，在PSST_C用例生成算法基礎之上

3、，本文采用并行的思想，通過將測試用例生成過程與測試用例執(zhí)行檢錯過程并行化的方法實現(xiàn)了并行測試算法。
　　本文通過對兩個經(jīng)典 Benchmark模型和多個不同規(guī)模的待測軟件仿真模型對本文提出的PSST_C算法和并行測試算法進行仿真，仿真結果表明：1）對于本文提出的用例生成算法PSST_C，約束條件能夠明顯的精簡測試用例集規(guī)模；2）在相同約束條件下，本算法能夠產(chǎn)生更小規(guī)模的、更有效的測試用例集；3）在相同條件下，本文提出的并行測試算法