帶參數(shù)約束的組合測(cè)試用例生成研究.pdf

1、隨著計(jì)算機(jī)技術(shù)的不斷發(fā)展，軟件測(cè)試漸漸成為一項(xiàng)耗費(fèi)大量資源的活動(dòng)，因此人們一直在研究使用何種方法來降低軟件測(cè)試的成本。經(jīng)驗(yàn)及實(shí)踐表明，組合測(cè)試是一種實(shí)際而有效的測(cè)試方法，它假設(shè)待測(cè)軟件系統(tǒng)中的缺陷往往是由少數(shù)參數(shù)間的相互作用而觸發(fā)的。因其能使用較小規(guī)模的測(cè)試用例集來實(shí)現(xiàn)對(duì)被測(cè)試系統(tǒng)進(jìn)行科學(xué)有效的測(cè)試而得到廣泛的研究和應(yīng)用。
　　 組合測(cè)試用例集的生成技術(shù)是測(cè)試領(lǐng)域研究的重點(diǎn)之一。本文在第二章介紹了組合測(cè)試的一些基本概念以及幾種常

2、見的組合測(cè)試用例生成算法，并簡(jiǎn)要說明了這幾種算法的優(yōu)缺點(diǎn)。
　　 在傳統(tǒng)組合測(cè)試用例生成方法中，一般是假設(shè)待測(cè)系統(tǒng)軟件中各參數(shù)取值是互不影響的，但是在實(shí)際應(yīng)用中，軟件各參數(shù)間往往存在一定的約束關(guān)系，從而會(huì)使這些參數(shù)中某些取值的組合受到一定限制。本文在第三章介紹了四種約束處理策略，并通過實(shí)例說明了這幾種策略處理約束的過程，分析了使用這四種約束處理策略的前提條件，給出了一個(gè)簡(jiǎn)單的算法機(jī)制用來縮減使用其中三種策略后生成的冗余測(cè)試用例。

3、
　　 參數(shù)間的約束關(guān)系大致上可以分為兩類：第一類是非強(qiáng)制性約束；第二類是強(qiáng)制性約束。由于非強(qiáng)制性約束對(duì)待測(cè)軟件的錯(cuò)誤檢測(cè)能力影響不大，因此本文主要針對(duì)的是強(qiáng)制性約束。在測(cè)試用例生成時(shí)考慮參數(shù)間的約束關(guān)系，就有可能精簡(jiǎn)測(cè)試用例集的規(guī)模。因?yàn)閰?shù)間的復(fù)雜關(guān)系，可能會(huì)出現(xiàn)給定的參數(shù)約束誘導(dǎo)出新的約束關(guān)系，即隱含約束，如果忽略對(duì)隱含約束的處理，可能會(huì)導(dǎo)致測(cè)試用例生成算法出現(xiàn)異常。為了解決該問題，本文提出了一種能夠處理隱含約束關(guān)系的算法

4、，該算法通過對(duì)給定的參數(shù)約束集合進(jìn)行處理，得到隱含約束關(guān)系后，將其并入原有的參數(shù)約束集，得到所有的約束關(guān)系的集合，本文最后通過實(shí)例說明了算法的有效性。
　　 本文在深入研究PSST算法的基礎(chǔ)上，引入輸入?yún)?shù)間的約束關(guān)系，使其在不影響覆蓋率的前提下，生成規(guī)模更小的測(cè)試用例集并在第四章給出了算法的具體描述。算法的基本步驟是：首先檢查待測(cè)系統(tǒng)給定的約束關(guān)系集合中是否包含隱含約束，如果存在則求解出隱含約束，將其并入到原有的約束關(guān)系集。約

5、束關(guān)系集里的約束組合不能出現(xiàn)在最后生成的測(cè)試用例中；然后用回溯算法遍歷解空間樹，遍歷的同時(shí)，利用參數(shù)間的約束關(guān)系對(duì)樹的枝葉進(jìn)行裁剪，以避免產(chǎn)生無(wú)效的測(cè)試用例并減少遍歷的次數(shù)。當(dāng)遍歷到葉子節(jié)點(diǎn)時(shí)，把符合條件的從根到葉子節(jié)點(diǎn)之間的路徑組合輸出，即生成了測(cè)試用例集；最后檢查回溯算法生成的測(cè)試用例集是否包含所有參數(shù)的取值組合對(duì)，如果還有沒被覆蓋的組合對(duì)，則使用貪心算法補(bǔ)全測(cè)試用例，以達(dá)到兩兩組合覆蓋的標(biāo)準(zhǔn)。在第五章，通過實(shí)驗(yàn)表明了使用該方法也能