哈爾濱工業(yè)大學(xué) 黑盒測(cè)試決策表法

1、第3章 黑盒測(cè)試方法 決策表法決策表法目目 錄錄決策表法思想決策表法思想1決策表的生成決策表的生成2決策表法設(shè)計(jì)測(cè)試用例決策表法設(shè)計(jì)測(cè)試用例3決策表的簡(jiǎn)化決策表的簡(jiǎn)化4決策表應(yīng)用決策表應(yīng)用51 1 決策表法思想決策表法思想決策表一直被用來(lái)表示和分析復(fù)雜邏輯關(guān)系。決策表很適合描述不同條件集合下采取行動(dòng)的若干組合的情況。1 1 決策表法思想決策表法思想決策表的概念：決策表是分析和表達(dá)多邏輯條件下執(zhí)行不同操作情況的工具。在一些數(shù)據(jù)處理問(wèn)題當(dāng)中，某些操作的實(shí)施依賴于多個(gè)邏輯條件的組合，即：針對(duì)不同邏輯條件的組合值，分別執(zhí)行不同的操作。決策表很適合于處理這類問(wèn)題。規(guī)則規(guī)則選項(xiàng)選項(xiàng)12345678問(wèn)題覺(jué)得

2、疲倦？YYYYNNNN感興趣嗎？YYNNYYNN糊涂嗎？YNYNYNYN建議重讀繼續(xù)跳下一章休息“閱讀指南閱讀指南”決策表決策表決策表的優(yōu)點(diǎn)：決策表的優(yōu)點(diǎn)：能夠?qū)?fù)雜的問(wèn)題按照各種可能的情況全部列舉出來(lái)，簡(jiǎn)明并避免遺漏。因此，利用決策表能夠設(shè)計(jì)出完整的測(cè)試用例集合。最為嚴(yán)格，最具邏輯性的測(cè)試方法。決策表的組成決策表的組成決策表通常由以下4部分組成：條件樁列出問(wèn)題的所有條件條件項(xiàng)針對(duì)條件樁給出的條件列出所有可能的取值動(dòng)作樁列出問(wèn)題規(guī)定的可能采取的操作動(dòng)作項(xiàng)指出在條件項(xiàng)的各組取值情況下應(yīng)采取的動(dòng)作 條件樁條件樁動(dòng)作樁動(dòng)作樁 條件項(xiàng)條件項(xiàng) 動(dòng)作項(xiàng)動(dòng)作項(xiàng)規(guī)規(guī)則則將任何一個(gè)條件組合的將任何一個(gè)條件組合的

3、特定取值及相應(yīng)要執(zhí)行特定取值及相應(yīng)要執(zhí)行的動(dòng)作稱為一條的動(dòng)作稱為一條規(guī)則規(guī)則。在決策表中貫穿條件項(xiàng)在決策表中貫穿條件項(xiàng)和動(dòng)作項(xiàng)的一列就是一和動(dòng)作項(xiàng)的一列就是一條規(guī)則。條規(guī)則。決策表示例決策表示例 規(guī)則規(guī)則選項(xiàng)選項(xiàng) 1 12 23 3，4 45 56 67 7，8 8條件條件:c1:c1 c2 c2 c3 c3T TT TT TT TT TF FT TF F- -F FT TT TF FT TF FF FF F- -動(dòng)作動(dòng)作:a1:a1 a2 a2 a3 a3 a4 a4條件樁條件樁動(dòng)作項(xiàng)動(dòng)作項(xiàng)動(dòng)作樁動(dòng)作樁條件項(xiàng)條件項(xiàng)決策表的生成決策表的生成若c1、c2、c3都為真,則采取動(dòng)作a1和a2;若c1

4、、c2都為真,c3為假,則采取動(dòng)作a1和a3;在c1為真c2為假條件下規(guī)則中的c3條目叫做“不關(guān)心（條件無(wú)關(guān)或條件不適用）”條目。將任何一個(gè)條件組合的特定取值及相應(yīng)要執(zhí)行的動(dòng)作稱為一條規(guī)則，在決策表中貫穿條件項(xiàng)和動(dòng)作項(xiàng)的一列就是一條規(guī)則。決策表的生成決策表的生成-構(gòu)造決策表的構(gòu)造決策表的5 5個(gè)步驟：個(gè)步驟：（1） 確定規(guī)則的個(gè)數(shù)。有n個(gè)條件的決策表有2n個(gè)規(guī)則（每個(gè)條件取真、假值）。（2） 列出所有的條件樁和動(dòng)作樁。（3） 填入條件項(xiàng)。（4） 填入動(dòng)作項(xiàng)，得到初始決策表。（5） 簡(jiǎn)化決策表，合并相似規(guī)則。若表中有兩條以上規(guī)則具有相同的動(dòng)作，并且在條件項(xiàng)之間存在極為相似的關(guān)系，便可以合并。合并

5、后的條件項(xiàng)用符號(hào)“-”表示，說(shuō)明執(zhí)行的動(dòng)作與該條件的取值無(wú)關(guān)，稱為無(wú)關(guān)條件。決策表的簡(jiǎn)化決策表的簡(jiǎn)化簡(jiǎn)化是以合并相似規(guī)則為目標(biāo)；若表中有兩條以上規(guī)則具有相同的動(dòng)作，并且在條件項(xiàng)之間存在極為相似的關(guān)系，便可以合并。N NY YN NN NY YY YN NY YN NN NN NY YY YN NY Y將將“閱讀指南閱讀指南”決策表簡(jiǎn)化決策表簡(jiǎn)化 規(guī)則選項(xiàng)1 14 45 56 67 78 8問(wèn)題覺(jué)得疲倦嗎Y YN NN NN N感興趣嗎Y YY YN N糊涂嗎Y YN N建議重讀繼續(xù)跳下一章休息決策表舉例決策表舉例三角形問(wèn)題決策表法設(shè)計(jì)測(cè)試用例。要求：能判斷其是否為三角形，非等邊三角形，等腰三角

6、形，等邊三角形。畫(huà)出決策表，并簡(jiǎn)化。三角形問(wèn)題決策表三角形問(wèn)題決策表1.確定規(guī)則個(gè)數(shù)。（有4個(gè)條件，每個(gè)條件兩個(gè)取值，故有24=16種規(guī)則） 2.列出所有的條件樁和動(dòng)作樁 3.填入輸入項(xiàng) 4.填入動(dòng)作項(xiàng)，得到初始決策表 5.化簡(jiǎn)。（合并相似規(guī)則）三角形問(wèn)題決策表三角形問(wèn)題決策表 規(guī)則選項(xiàng)18910111213141516c1:a、b、c構(gòu)成三角形？NYYYYYYYYc2:a=b?YYYYNNNNc3:a=c?YYNNYYNNc4:b=c?YNYNYNYNa1:非三角形a2:不等邊三角形a3:等腰三角形a4:等邊三角形a5:不可能測(cè)試用例測(cè)試用例測(cè)試測(cè)試IDIDa ab bc c預(yù)期輸出預(yù)期輸出

7、Test1412非三角形Test2666等邊三角形Test3?不可能Test4?不可能Test5335等腰三角形Test6?不可能Test7353等腰三角形Test8533等腰三角形Test9345不等邊三角形決策表應(yīng)用決策表應(yīng)用決策表最突出的優(yōu)點(diǎn)是，能夠?qū)?fù)雜的問(wèn)題按照各種可能的情況全部列舉出來(lái)，簡(jiǎn)明并避免遺漏。利用決策表能夠設(shè)計(jì)出完整的測(cè)試用例集合。運(yùn)用決策表設(shè)計(jì)測(cè)試用例可以將條件理解為輸入，將動(dòng)作理解為輸出NEXTDATENEXTDATE函數(shù)的決策表測(cè)試用例設(shè)函數(shù)的決策表測(cè)試用例設(shè)計(jì)計(jì)M1:month:month有30天M2:month:month有31天，12月除外M3:month:m

8、onth是12月M4:month:month是2月D1:day:1day27D2:day:day=28D3:day:day=29D4:day:day=30D5:day:day=31Y1:year:year是閏年Y2:year:year不是閏年案例分析案例分析month變量的有效等價(jià)類： M1: month=4,6,9,11 M2: month=1,3,5,7,8,10 M3: month=12 M4: month=2day變量的有效等價(jià)類： D1: 1day27 D2: day=28 D3: day=29 D4: day=30 D5: day=31year變量的有效等價(jià)類： Y1: year是

9、閏年 Y2: year不是閏年程序中可能采取的操作有以下六種： a1: 不可能 a2: day1 a3: day=1 a4: month+1 a5: month=1 a6: year+1 規(guī)則選項(xiàng)1234567891011條件：c1:monthc2:dayc3:yearM1M1D1D1M1M1D2D2M1M1D3D3M1M1D4D4M1M1D5D5M2M2D1D1M2M2D2D2M2M2D3D3M2M2D4D4M2M2D5D5M3M3D1D1動(dòng)作：a1:不可能a2:day加1a3:day復(fù)位a4:month加1a5:month復(fù)位a6:year加1 選項(xiàng)規(guī)則121314151617181920

10、2122條件：c1:monthc2:dayc3:yearM3D2M3D3M3D4M3D5M4D1M4D2Y1M4D2Y2M4D3Y1M4D3Y2M4D4M4D5動(dòng)作：a1:不可能a2:day加1a3:day復(fù)位a4:month加1a5:month復(fù)位a6:year加1簡(jiǎn)化簡(jiǎn)化NEXTDATENEXTDATE函數(shù)決策表函數(shù)決策表規(guī)則1、2、3都涉及有30天的月份day類D1、D2和D3，并且它們的動(dòng)作項(xiàng)都是day加1，因此可以將規(guī)則1、2、3合并。類似地，有31天的月份day類D1、D2、D3和D4也可合并，2月的D4和D5也可合并。簡(jiǎn)化后的簡(jiǎn)化后的NEXTDATENEXTDATE函數(shù)決策表函數(shù)

11、決策表1-3456-91011-1415161718192021-22條件：c1:monthc2:dayc3:yearM1M1D4M1D5M2M2D5M3M3D5M4D1M4D2Y1M4D2Y2M4D3Y1M4D3Y2M4D4、D5動(dòng)作a1:不可能a2:day加1a3:day復(fù)位a4:month加1a5:month復(fù)位a6:year加1測(cè)試用例表測(cè)試用例表測(cè)試用例monthdayyear預(yù)期輸出Test1-Test3616200117/6/2001Test463020041/7/2004Test56312001不可能Test6-Test9816200417/8/2004Test10831200

12、11/9/2001Test11-Test141216200417/12/2004Test115123120011/1/2002Test16216200417/2/2004Tes2/2004Test1822820011/3/2001Test1922920041/3/2001Test202292001不可能Test21-Test222302004不可能決策表測(cè)試的適用范圍決策表測(cè)試的適用范圍if-else邏輯突出；恒等： IF A THEN B非： IF (NOT A) THEN B或： IF (A OR B) THEN C與：IF (A AND B) THEN C輸入變量之間存在邏輯