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

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

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

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

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

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