約束條件下組合測試用例生成的一種新方法.pdf

1、組合測試是一種科學(xué)有效地軟件測試方法，它能在保證軟件質(zhì)量的前提下，以較少的測試用例檢測待測軟件系統(tǒng)中各個(gè)變量以及它們之間的相互作剛對(duì)系統(tǒng)產(chǎn)生的影響，實(shí)踐證明其具有較高的錯(cuò)誤檢測能力。
　　 當(dāng)前，組合測試用例生成問題是組合測試研究中的熱點(diǎn)問題之一。傳統(tǒng)的組合測試用例生成方法大多是基于覆蓋數(shù)組的，然而，對(duì)于某些待測系統(tǒng)，運(yùn)用這類方法生成的測試用例個(gè)數(shù)還是太多。因此，針對(duì)這一現(xiàn)象人們提出了對(duì)測試用例集中的變量取值組合中加入一些約束條

2、件。約束條件的類型主要有：(1)種子測試，某些變量取值組合必須被測試。(2)變力度組合測試，允許不同變量之間覆蓋強(qiáng)度不同。(3)特殊的測試場景，某些被測程序不僅有多個(gè)輸入，還可能有多個(gè)輸出，那么測試集合需要覆蓋影響任意一個(gè)輸出的所有輸入變量的取值組合。(4)變量間的約束，某些變量取值組合是不允許出現(xiàn)或者是無效的。
　　 本文涉及的是變量間的約束，當(dāng)此類約束出現(xiàn)在較大規(guī)模的測試用例集中的時(shí)候，我們可以將其合理運(yùn)用到組合測試用例的生

3、成過程中。此方法能夠在保證錯(cuò)誤檢測力的前提下，將系統(tǒng)中無效的變量取值組合消除，從而減小測試用例集的規(guī)模，提高測試效率，降低測試成本。
　　 如何處理變量間的約束將是本文研究的主要內(nèi)容?；玖鞒淌牵菏紫龋瑢⒋郎y系統(tǒng)中的約束轉(zhuǎn)換為布爾可滿足問題(SAT問題)，具體做法是：先將約束符號(hào)化為布爾表達(dá)式的形式，再將布爾表達(dá)式轉(zhuǎn)換為合取范式(CNF)的形式。然后，利用SAT求解器zChaff進(jìn)行求解，找出滿足約束條件的組合測試用例。最后，設(shè)