第7章基于決策表的測試.ppt

1、第7章 基于決策表的測試,前面介紹的等價類劃分方法和邊界值分析方法，都是著重考慮輸入條件，但未考慮輸入條件之間的聯(lián)系，相互組合等。考慮輸入條件之間的相互組合，可能會產(chǎn)生一些新的情況。但要檢查輸入條件的組合不是一件容易的事情，即使把所有輸入條件劃分成等價類，他們之間的組合情況也相當(dāng)多。因此必須考慮采用一種適合于描述對于多種條件的組合，相應(yīng)產(chǎn)生多個動作的形式來考慮設(shè)計測試用例。,因果圖方法,是一種檢查程序輸入條件的各種組合情況的邏輯模型。 使用因果圖的好處 考慮了多個輸入之間的相互組合、相互制約關(guān)系 ； 能夠幫助我們按一定步驟，高效率地選擇測試用例，同時還能為我們指出，程序規(guī)格說明描述中存在著什么

2、問題 。,因果圖法的原理,1因果圖,因果圖法的原理,因果圖的基本符號,恒等：若原因出現(xiàn)，則結(jié)果出現(xiàn)；若原因不出現(xiàn)，則結(jié)果不出現(xiàn)。 非（）：若原因出現(xiàn)，則結(jié)果不出現(xiàn)；若原因不出現(xiàn)，則結(jié)果出現(xiàn)。 或（V）：若幾個原因中有一個出現(xiàn)，則結(jié)果出現(xiàn)；若幾個原因都不出現(xiàn)，則結(jié)果不出現(xiàn)。 與（）：若幾個原因都出現(xiàn)，結(jié)果才出現(xiàn)；若其中有一個原因不出現(xiàn)，則結(jié)果不出現(xiàn)。,因果圖的基本符號,從輸入（原因）考慮四種約束 E（異或）：表示兩個原因不會同時成立，兩個中最多有一個可能成立。 I（或）：表示三個原因中至少有一個必須成立。 O（惟一）：表示兩個原因中必須有一個，且僅有一個成立。 R（要求）：表示兩個原因，a出現(xiàn)時

3、，b也必須出現(xiàn)，a出現(xiàn)時，b不可能不出現(xiàn)。,因果圖的基本符號,從輸出（結(jié)果）考慮一種約束 M（強(qiáng)制）：兩個結(jié)果，a為1時，b必須是0，當(dāng)a為0時，b值不定。,因果圖方法,利用因果圖生成測試用例的基本步驟： 確定軟件規(guī)格中的原因和結(jié)果。分析軟件規(guī)格說明描述中，哪些是原因(即輸入條件或輸入條件的等價類)，哪些是結(jié)果(即輸出條件)，并給每個原因和結(jié)果賦予一個標(biāo)識符。 確定原因和結(jié)果之間的邏輯關(guān)系。分析軟件規(guī)格說明描述中的語義。找出原因與結(jié)果之間，原因與原因之間對應(yīng)的關(guān)系。根據(jù)這些關(guān)系，畫出因果圖。,因果圖方法,利用因果圖生成測試用例的基本步驟： 確定因果圖中的各個約束。由于語法或環(huán)境限制，有些原因與

4、原因之間，原因與結(jié)果之間的組合情況不可能出現(xiàn)。為表明這些特殊情況，在因果圖上用一些記號表明約束或限制條件。 把因果圖轉(zhuǎn)換為決策表。 把決策表的每一列拿出來作為依據(jù)，設(shè)計測試用例。,因果圖方法,從因果圖生成的測試用例（局部，組合關(guān)系下的）包括了所有輸入數(shù)據(jù)的取TRUE與取FALSE的情況，構(gòu)成的測試用例數(shù)目達(dá)到最少，且測試用例數(shù)目隨輸入數(shù)據(jù)數(shù)目的增加而線性地增加。,因果圖實例,某軟件規(guī)格說明中包含這樣的要求： 第一列字符必須是A或B，第二列字符必須是一個數(shù)字，在此情況下進(jìn)行文件的修改。但如果第一列字符不正確，則給出信息L;如果第二列字符不是數(shù)字，則給出信息M。,因果圖實例,分開原因和結(jié)果 原因：

5、 1-第一列字符是A; 2-第一列字符是B; 3-第二列字符是一數(shù)字。 結(jié)果：21-修改文件; 22-給出信息L; 23-給出信息M。,因果圖實例,因果圖實例,因果圖實例中國象棋中走馬測試用例設(shè)計,分析中國象棋中走馬的實際情況 1、如果落點在棋盤外，則不移動棋子；2、如果落點與起點不構(gòu)成日字型，則不移動棋子；3、如果落點處有自己方的棋子，則不移動棋子；4、如果在落點方向的鄰近交叉點有棋子（絆馬腿），則不移動棋子；5、如果不屬于1-4條，且落點處無棋子，則移動棋子；6、如果不屬于1-4條，且落點處為對方棋子(非老將)，則移動棋子并除去對方棋子；7如果不屬于1-4條，且落點處為對方老將，則移動棋子

6、，并提示戰(zhàn)勝對方，游戲結(jié)束。,因果圖實例中國象棋中走馬測試用例設(shè)計,根據(jù)分析明確原因和結(jié)果 原因： 1、 落點在棋盤上； 2、 落點與起點構(gòu)成日字； 3、 落點處為自己方棋子； 4、 落點方向的鄰近交叉點無棋子； 5、 落點處無棋子； 6、 落點處為對方棋子（非老將）； 7、 落點處為對方老將。,結(jié)果： 21、不移動棋子； 22、移動棋子； 23、移動棋子，并除去對方棋子； 24、移動棋子，并提示戰(zhàn)勝對方，結(jié)束游戲。 添加中間節(jié)點11，作為導(dǎo)出結(jié)果的進(jìn)一步原因。,因果圖實例中國象棋中走馬測試用例設(shè)計,因果圖實例中國象棋中走馬測試用例設(shè)計,根據(jù)因果圖建立判定表： ( 分為兩表 ),因果圖實例中國

7、象棋中走馬測試用例設(shè)計,決策表法,在所有的黑盒測試方法中，基于決策表的測試是最嚴(yán)格，最具有邏輯性的測試方法，用來表示和分析復(fù)雜的邏輯關(guān)系。 主要用來描述不同條件集合下產(chǎn)生動作的若干組合的情況。,決策表法,決策表 決策表是把作為條件的所有輸入的各種組合值以及對應(yīng)輸出值都羅列出來而形成的表格。 它能夠?qū)?fù)雜的問題按照各種可能的情況全部列舉出來，簡明并避免遺漏。因此，利用決策表能夠設(shè)計出完整的測試用例集合。,決策表基本術(shù)語,組成： 樁部分（位于表左側(cè)列）：包括條件樁和動作樁。 條目部分（右側(cè)）：包括條件項和動作項。 表中一列是一條規(guī)則（表示在規(guī)則的條件部分中指示的條件環(huán)境下要采取的動作）。 動作項和

8、條件項緊密相關(guān)，指出在條件項的各組取值情況下應(yīng)采取的動作。,決策表基本術(shù)語,無關(guān)項 條件無關(guān) 條件不適用（或N/A) 有限條目決策表：所有條件都是二叉條件（兩個取值，真/假，是/否，0/1）的決策表。 擴(kuò)展條目決策表：條件可以有多個值的決策表。 注意：決策表中條件沒有特別的順序，動作發(fā)生也沒有特定的順序。,使用技巧,標(biāo)識測試用例時，把條件對應(yīng)輸入（輸入的等價類），動作對應(yīng)輸出（被測軟件的主要功能處理部分），每條規(guī)則對應(yīng)一個測試用例。 在條件和動作中，不關(guān)心條目和不可能規(guī)則的使用。（表7-2） 不同的條件選擇方法可能會大大擴(kuò)展決策表的規(guī)模。 在條件中引入等價類的決策表。（表7-4） 決策表中規(guī)則

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