第7章基于決策表的測(cè)試.ppt

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

2、問題 。,因果圖法的原理,1因果圖,因果圖法的原理,因果圖的基本符號(hào),恒等：若原因出現(xiàn)，則結(jié)果出現(xiàn)；若原因不出現(xiàn)，則結(jié)果不出現(xiàn)。 非（）：若原因出現(xiàn)，則結(jié)果不出現(xiàn)；若原因不出現(xiàn)，則結(jié)果出現(xiàn)。 或（V）：若幾個(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í)

3、，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)境限制，有些原因與

4、原因之間，原因與結(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é)果 原因：

5、 1-第一列字符是A; 2-第一列字符是B; 3-第二列字符是一數(shù)字。 結(jié)果：21-修改文件; 22-給出信息L; 23-給出信息M。,因果圖實(shí)例,因果圖實(shí)例,因果圖實(shí)例中國象棋中走馬測(cè)試用例設(shè)計(jì),分析中國象棋中走馬的實(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)棋子

6、，并提示戰(zhàn)勝對(duì)方，游戲結(jié)束。,因果圖實(shí)例中國象棋中走馬測(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í)例中國象棋中走馬測(cè)試用例設(shè)計(jì),因果圖實(shí)例中國象棋中走馬測(cè)試用例設(shè)計(jì),根據(jù)因果圖建立判定表： ( 分為兩表 ),因果圖實(shí)例中國

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

8、條件項(xiàng)緊密相關(guān)，指出在條件項(xiàng)的各組取值情況下應(yīng)采取的動(dòng)作。,決策表基本術(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ī)則

9、數(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)，得到初始決策表 簡化決策表，合并相似規(guī)則,決策表的化簡 對(duì)于n個(gè)條件的決策表，相應(yīng)有2n個(gè)規(guī)則（每個(gè)條件分別取真、假值），當(dāng)n較大時(shí)，決策表很繁瑣。實(shí)際使用決策表時(shí)，常常先將它簡化。決策表的簡化是以合并相似規(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ī)格說明如下：若投入5元