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

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

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

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