第7章基于決策表的測(cè)試因果圖方法是一種檢查程序輸入條件的各種組合情況的邏輯模型。使用因果圖的好處考慮了多個(gè)輸入之間的相互組合、相互制約關(guān)系；能夠幫助我們按一定步驟，高效率地選擇測(cè)試用例，同時(shí)還能為我們指出，程序規(guī)格說明描述中存在著什么問題。因果圖法的原理1．因果圖

因果圖法的原理因果圖的基本符號(hào)恒等：若原因出現(xiàn)，則結(jié)果出現(xiàn)；若原因不出現(xiàn)，則結(jié)果不出現(xiàn)。非（～）：若原因出現(xiàn)，則結(jié)果不出現(xiàn)；若原因不出現(xiàn)，則結(jié)果出現(xiàn)?；颍╒）：若幾個(gè)原因中有一個(gè)出現(xiàn)，則結(jié)果出現(xiàn)；若幾個(gè)原因都不出現(xiàn)，則結(jié)果不出現(xiàn)。與（∧）：若幾個(gè)原因都出現(xiàn)，結(jié)果才出現(xiàn)；若其中有一個(gè)原因不出現(xiàn)，則結(jié)果不出現(xiàn)。因果圖的基本符號(hào)從輸入（原因）考慮四種約束E（異或）：表示兩個(gè)原因不會(huì)同時(shí)成立，兩個(gè)中最多有一個(gè)可能成立。I（或）：表示三個(gè)原因中至少有一個(gè)必須成立。O（惟一）：表示兩個(gè)原因中必須有一個(gè)，且僅有一個(gè)成立。R（要求）：表示兩個(gè)原因，a出現(xiàn)時(shí)，b也必須出現(xiàn)，a出現(xiàn)時(shí)，b不可能不出現(xiàn)。因果圖的基本符號(hào)從輸出（結(jié)果）考慮一種約束M（強(qiáng)制）：兩個(gè)結(jié)果，a為1時(shí)，b必須是0，當(dāng)a為0時(shí)，b值不定。

因果圖方法利用因果圖生成測(cè)試用例的基本步驟：確定軟件規(guī)格中的原因和結(jié)果。分析軟件規(guī)格說明描述中，哪些是原因(即輸入條件或輸入條件的等價(jià)類)，哪些是結(jié)果(即輸出條件)，并給每個(gè)原因和結(jié)果賦予一個(gè)標(biāo)識(shí)符。確定原因和結(jié)果之間的邏輯關(guān)系。分析軟件規(guī)格說明描述中的語義。找出原因與結(jié)果之間，原因與原因之間對(duì)應(yīng)的關(guān)系。根據(jù)這些關(guān)系，畫出因果圖。因果圖方法利用因果圖生成測(cè)試用例的基本步驟：確定因果圖中的各個(gè)約束。由于語法或環(huán)境限制，有些原因與原因之間，原因與結(jié)果之間的組合情況不可能出現(xiàn)。為表明這些特殊情況，在因果圖上用一些記號(hào)表明約束或限制條件。把因果圖轉(zhuǎn)換為決策表。把決策表的每一列拿出來作為依據(jù)，設(shè)計(jì)測(cè)試用例。因果圖方法從因果圖生成的測(cè)試用例（局部，組合關(guān)系下的）包括了所有輸入數(shù)據(jù)的取TRUE與取FALSE的情況，構(gòu)成的測(cè)試用例數(shù)目達(dá)到最少，且測(cè)試用例數(shù)目隨輸入數(shù)據(jù)數(shù)目的增加而線性地增加。因果圖實(shí)例某軟件規(guī)格說明中包含這樣的要求：

第一列字符必須是A或B，第二列字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改。但如果第一列字符不正確，則給出信息L;如果第二列字符不是數(shù)字，則給出信息M。因果圖實(shí)例分開原因和結(jié)果原因：1----第一列字符是A;

2----第一列字符是B;

3----第二列字符是一數(shù)字。

結(jié)果：21----修改文件;

22----給出信息L;

23----給出信息M。因果圖實(shí)例因果圖實(shí)例因果圖實(shí)例—中國(guó)象棋中走馬測(cè)試用例設(shè)計(jì)

分析中國(guó)象棋中走馬的實(shí)際情況1、如果落點(diǎn)在棋盤外，則不移動(dòng)棋子；2、如果落點(diǎn)與起點(diǎn)不構(gòu)成日字型，則不移動(dòng)棋子；3、如果落點(diǎn)處有自己方的棋子，則不移動(dòng)棋子；4、如果在落點(diǎn)方向的鄰近交叉點(diǎn)有棋子（絆馬腿），則不移動(dòng)棋子；5、如果不屬于1-4條，且落點(diǎn)處無棋子，則移動(dòng)棋子；6、如果不屬于1-4條，且落點(diǎn)處為對(duì)方棋子(非老將)，則移動(dòng)棋子并除去對(duì)方棋子；7如果不屬于1-4條，且落點(diǎn)處為對(duì)方老將，則移動(dòng)棋子，并提示戰(zhàn)勝對(duì)方，游戲結(jié)束。因果圖實(shí)例—中國(guó)象棋中走馬測(cè)試用例設(shè)計(jì)根據(jù)分析明確原因和結(jié)果原因：

1、落點(diǎn)在棋盤上；

2、落點(diǎn)與起點(diǎn)構(gòu)成日字；

3、落點(diǎn)處為自己方棋子；

4、落點(diǎn)方向的鄰近交叉點(diǎn)無棋子；

5、落點(diǎn)處無棋子；

6、落點(diǎn)處為對(duì)方棋子（非老將）；

7、落點(diǎn)處為對(duì)方老將。結(jié)果：

21、不移動(dòng)棋子；

22、移動(dòng)棋子；

23、移動(dòng)棋子，并除去對(duì)方棋子；

24、移動(dòng)棋子，并提示戰(zhàn)勝對(duì)方，結(jié)束游戲。添加中間節(jié)點(diǎn)11，作為導(dǎo)出結(jié)果的進(jìn)一步原因。因果圖實(shí)例—中國(guó)象棋中走馬測(cè)試用例設(shè)計(jì)因果圖實(shí)例—中國(guó)象棋中走馬測(cè)試用例設(shè)計(jì)根據(jù)因果圖建立判定表：(分為兩表)因果圖實(shí)例—中國(guó)象棋中走馬測(cè)試用例設(shè)計(jì)決策表法在所有的黑盒測(cè)試方法中，基于決策表的測(cè)試是最嚴(yán)格，最具有邏輯性的測(cè)試方法，用來表示和分析復(fù)雜的邏輯關(guān)系。主要用來描述不同條件集合下產(chǎn)生動(dòng)作的若干組合的情況。決策表法決策表決策表是把作為條件的所有輸入的各種組合值以及對(duì)應(yīng)輸出值都羅列出來而形成的表格。它能夠?qū)?fù)雜的問題按照各種可能的情況全部列舉出來，簡(jiǎn)明并避免遺漏。因此，利用決策表能夠設(shè)計(jì)出完整的測(cè)試用例集合。決策表基本術(shù)語組成：樁部分（位于表左側(cè)列）：包括條件樁和動(dòng)作樁。條目部分（右側(cè)）：包括條件項(xiàng)和動(dòng)作項(xiàng)。表中一列是一條規(guī)則（表示在規(guī)則的條件部分中指示的條件環(huán)境下要采取的動(dòng)作）。動(dòng)作項(xiàng)和條件項(xiàng)緊密相關(guān)，指出在條件項(xiàng)的各組取值情況下應(yīng)采取的動(dòng)作。

條件樁條件項(xiàng)動(dòng)作樁動(dòng)作項(xiàng)規(guī)則決策表基本術(shù)語無關(guān)項(xiàng)條件無關(guān)條件不適用（—或N/A)有限條目決策表：所有條件都是二叉條件（兩個(gè)取值，真/假，是/否，0/1）的決策表。擴(kuò)展條目決策表：條件可以有多個(gè)值的決策表。注意：決策表中條件沒有特別的順序，動(dòng)作發(fā)生也沒有特定的順序。使用技巧標(biāo)識(shí)測(cè)試用例時(shí)，把條件對(duì)應(yīng)輸入（輸入的等價(jià)類），動(dòng)作對(duì)應(yīng)輸出（被測(cè)軟件的主要功能處理部分），每條規(guī)則對(duì)應(yīng)一個(gè)測(cè)試用例。在條件和動(dòng)作中，不關(guān)心條目和不可能規(guī)則的使用。（表7-2）不同的條件選擇方法可能會(huì)大大擴(kuò)展決策表的規(guī)模。在條件中引入等價(jià)類的決策表。（表7-4）決策表中規(guī)則數(shù)目的統(tǒng)計(jì)。規(guī)則條數(shù)對(duì)有限條目決策表，如果有n個(gè)條件，則產(chǎn)生2n條規(guī)則。在決策表中有不關(guān)心條目時(shí)，規(guī)則數(shù)的統(tǒng)計(jì)：沒有不關(guān)心條目的規(guī)則數(shù)計(jì)為1；規(guī)則中每出現(xiàn)一個(gè)不關(guān)心條目，規(guī)則數(shù)乘2。構(gòu)造決策表的步驟列出所有的條件樁和動(dòng)作樁確定規(guī)則的個(gè)數(shù)填入條件項(xiàng)填入動(dòng)作項(xiàng)，得到初始決策表簡(jiǎn)化決策表，合并相似規(guī)則決策表的化簡(jiǎn)對(duì)于n個(gè)條件的決策表，相應(yīng)有2n個(gè)規(guī)則（每個(gè)條件分別取真、假值），當(dāng)n較大時(shí)，決策表很繁瑣。實(shí)際使用決策表時(shí)，常常先將它簡(jiǎn)化。決策表的簡(jiǎn)化是以合并相似規(guī)則為目標(biāo)。即若表中有兩條以上規(guī)則具有相同的動(dòng)作，并且在條件項(xiàng)之間存在極為相似的關(guān)系，便可以合并。NextDate函數(shù)—決策表測(cè)試的完美例子決策表使用“不可能動(dòng)作”的概念表示條件的不可能組合，適用于處理變量之間在輸入定義域中存在邏輯依賴關(guān)系的問題。決策表總結(jié)決策表的邏輯嚴(yán)格性，使我們開發(fā)和識(shí)別完備決策表，解決冗余性和不一致性。開發(fā)完備又不冗余的決策表，測(cè)試人員必須在決策表中小心使用不關(guān)心條目！練習(xí)一個(gè)處理單價(jià)為5元錢的飲料自動(dòng)售貨機(jī)軟件測(cè)試用例的設(shè)計(jì)。規(guī)格說明如下：若投