1、2022/7/151第2章黑盒測試用例設計方法2022/7/152黑盒測試用例設計方法 -決策表方法2022/7/1535.決策表法5.1 概述在一個程序中，假設輸入輸出比較多，輸入之間、輸出之間相互制約的條件比較多，在這種情況下運用決策表更適宜，它可以清楚地表達它們之間的各種復雜關系。決策表法是黑盒測試方法中最為嚴厲、最具有邏輯性的測試方法2022/7/1555.決策表法5.2決策表:2022/7/1565.決策表法決策表通常由四部分組成:條件樁動作樁條件項動作項規那么2022/7/157條件樁: 列出問題的一切條件條件項：針對條件樁給出的條件列出一切能夠的取值動作樁：給出問題規定的能夠采取

2、的操作動作項：與條件項嚴密相關，指出在條件項的各組取值情況下應采取的動作項中的每一列是一條 規那么2022/7/1585.決策表法規那么指示在條件部分中指示的條件環境下要采取什么行動.在上圖的決策表中,假設條件1條件2為真,而條件3條件4為假,那么采取行動3.規那么1中的條件1.2.3稱為“不關懷條目.不關懷條目解釋有兩種:條件無關或條件不適用.2022/7/1595.3決策表的化簡有n個條件的決策表,對應的規那么將有2n條，當n非常大的時候，這是非常繁瑣的。因此,應對決策表進展化簡.決策表的化簡包括兩個方面:2022/7/15105.3決策表的化簡(1)合并假設一個條件項(表中某列中的條件值

3、)和另外一個條件項所產生的動作是一樣的,且兩個條件項對應的每一行的值只需一個是不同的,那么可以將其合并.合并的項除了不同值變成不關懷條目外,其他不變1兩條規那么合并成一條2022/7/1511條件項“表示與取值無關。(2)包含假設兩個條件項的動作是一樣的,對恣意條件1的值和條件2中對應的值,假設滿足:A.假設條件1的值是T(F),那么條件2中的值也是T(F).B.假設條件1的值是-(不關懷),那么條件2中的值是T,F,-,稱條件1包含條件2,條件2可以撤去.反復A,B就可以得到精簡的決策表.2兩條規那么的進一步合并2022/7/1513條件項“在邏輯上包含其它的條件。2022/7/15145.

4、3決策表的化簡8F-TF2022/7/15155.決策表法構造決策表的步驟:(1) 列出一切的條件樁和動作樁(2)確定規那么的個數(3)填入條件項(4)填入動作項,得到初始的決策表(5)對初始的決策表化簡2022/7/1516例：維修機器問題問題描畫：“對于功率大于50馬力的機器，并且維修記錄不全或已運轉10年以上的機器，應給予優先的維修處置請建立決策表。例：維修機器問題續1列出一切的條件樁和動作樁條件樁C1：功率大于50馬力嗎？C2：維修記錄不全嗎？C3：運轉超越10年嗎？動作樁A1：進展優先處置A2：作其他處置2022/7/15172確定規那么個數輸入條件個數：3；每個條件的取值：“是或“

5、否；規那么個數：2*2*2 =8；2022/7/1518 功率大于50馬力嗎 維修記錄不全嗎 運轉超越10年嗎例：維修機器問題續3填入條件項；2022/7/151912345678條件功率大于50馬力嗎？YYYYNNNN維修記錄不全嗎？YYNNYYNN運行超過10年嗎？YNYNYNYN動作進行優先處理作其他處理利用集合的笛卡爾積計算條件項的取值例：維修機器問題續2022/7/15204填入動作項；12345678條件功率大于50馬力嗎？YYYYNNNN維修記錄不全嗎？YYNNYYNN運行超過10年嗎？YNYNYNYN動作進行優先處理 作其他處理 1，2合并，5，7合并，6，8合并例：維修機器問

6、題續2022/7/1521(1)(2)(3)(4)(5)條件功率大于50馬力嗎？YYYNN維修記錄不全嗎？YNN運行超過10年嗎？YNYN動作進行優先處理作其他處理三角形問題2022/7/1522問題描畫 輸入三個正整數a、b、c，分別作為三角形的三條邊，經過程序判別三條邊能否能構成三角形？假設能構成三角形，判別三角形的類型等邊三角形、等腰三角形、普通三角形。請用基于斷定表的方法設計測試用例。一、設計斷定表2022/7/15231條件樁C1：a,b,c構成三角形？C2：a = b?C3：a = c？C4：b = c？2規那么數共有四個條件，每個條件的取值為“是或“否，因此有24= 16條規那么

7、。2022/7/15243動作樁 A1：非三角形； A2：不等邊三角形； A3：等腰三角形； A4：等邊三角形； A5：不能夠；2022/7/15255.決策表法5.4三角形問題的決策表用例設計表11-8910111213141516C1:abc能否構成三角形?C2:a=b?C3:a=c?C4:b=c?N-YYYYYYYNYYNYYYNNYNYYYNYNYNNYYNNNA1:非三角形A2:一般三角形A3:等腰三角形A4:等邊三角形A5:不可能該條件可以擴展成：a+bcb+cac+ab2022/7/15265.決策表法表21234567891011C1:ab+c?C2:ba+c?C3:ca+b?

8、C4:a=b?C5:a=c?C6:b=c?N-YN-YYN-YYYYYYYYYYYNYYYYNYYYYYNNYYYNYYYYYNYNYYYNNYYYYNNNA1:非三角形A2:一般三角形A3:等腰三角形A4:等邊三角形A5:不可能三角形問題的擴展決策表條件:a,b,c能否可以構成三角形2022/7/1527根據決策表測試用例編號a,b,c期望輸出DT1DT2DT3DT4DT5DT6DT7DT8DT9DT10DT114 1 21 4 21 2 45 5 5? ? ? ? ?2 2 3? ? ?2 3 23 2 23 4 5非三角形非三角形非三角形等邊三角形不可能不可能等腰三角形不可能等腰三角形等

9、腰三角形一般三角形2022/7/1528NextDate函數的決策表問題描畫 程序有三個輸入變量month、day、year，并且滿足：1month12、1day31、1900 year 2050。它們分別作為輸入日期的月份、日、年份，經過程序可以輸出該輸入日期在日歷上下一天的日期。例如，輸入為2005年11月29日，那么該程序的輸出為2005年11月30日。2022/7/15295.決策表法涉及的操作:a1:不能夠a2:day加1a3:day復位a4:month加1a5:month復位a6:year加1第一次嘗試M1=月份：每月有30天M2=月份：每月有31天M3=月份：此月是2月D1=日期

10、：1日期28D2=日期：日期=29D3=日期：日期=30D4=日期：日期=31Y1=年：年是閏年Y2=年：年是平年有256條規那么的第一次嘗試年變量對應的等價類收縮為表中的一個條件第二次嘗試關注日期和月份M1=月份：每月有30天M2=月份：每月有31天，12月除外M3=月份：此月是12月M4=月份：此月是2月D1=日期：1日期 27D2=日期：日期=28D3=日期：日期=29D4=日期：日期=30D5=日期：日期=31Y1=年：年是閏年Y2=年：年不是閏年2022/7/15335.決策表法建立條件:c1:month在Mi中(如M1,M2)c2:day在Di中c3:year在Yi中NextDat

11、e函數的斷定表每月30天每月31天,12月除外續此月是12月此月是2月此年是閏年NextDate函數的精簡斷定表續NextDate函數的測試用例2022/7/15395.決策表法5.6決策表測試法的適用范圍決策表測試法適用于具有以下特征的運用程序：(1)if-then-else邏輯突出(2)輸入變量之間存在邏輯關系(3)涉及輸入變量子集的計算(4)輸入和輸出之間存在因果關系2022/7/15405.決策表法適用于運用決策表設計測試用例的情況:(1)規格闡明以決策表方式給出,或較容易轉換為決策表.(2)條件的陳列順序不會也不應該影響執行的操作(3)規那么的陳列順序不會也不應該影響執行的操作202

12、2/7/1541(4)當某一規那么的條件曾經滿足,并確定要執行的操作后,不用檢驗別的規那么.(5)假設某一規那么的條件要執行多個操作義務,這些操作的執行順序無關緊要.假設一個中國的航空公司規定：中國去歐美的航線一切座位都有食物供應。每個座位都可以播放電影。中國去非歐美的國外航線都有食物供應，只需商務艙可以播放電影。中國國內的航班的商務艙有食物供應，但是不可以播放電影。中國國內的航班的經濟艙除非飛行時間大于2小時就有食物供應，但是不可以播放電影。2022/7/1542斷定表2022/7/1543條件規則1規則2規則3規則4規則5規則6航線是國外歐美的100000航線是國外非歐美的011000航線

13、是國內的000111 商務艙10100 飛行時間大于2小時10動作食物供應111110播放電影110000測試用例2022/7/1544測試案例輸入條件預期結果1航線是國外歐美的食物供應、播放電影2航線是國外非歐美的，是商務艙食物供應、播放電影3航線是國外非歐美的，非商務艙食物供應4航線是國內的，是商務艙食物供應5航線是國內的，是經濟艙，飛行時間大于2小時食物供應6航線是國內的，是經濟艙，飛行時間不大于2小時2022/7/15456.其他黑盒測試技術 錯誤推測法：人們也可以靠閱歷和直覺推測程序中能夠存在的各種錯誤，從而有針對性地編寫檢查這些錯誤的例子。這就是錯誤推測法。錯誤推測法的根本想法是：列舉出程序中一切能夠有的錯誤和容易發生錯誤的特殊情況，根據它們選擇測試用例。 模擬沒有閱歷的用戶那樣運用軟件 在曾經找到軟件缺陷的地方再找找2022/7/15492022/7/15502022/7/15512022/7/15522022/7/15532022/7/15542022/7/15552022/7/15562022/7/15572022/7/15582022/7/15592022/7/15602022/7/