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

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

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

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