【正文】 ? 合并后的條件項用符號 ? ‖表示，說明執(zhí)行的動作與該條件的取值無關(guān)，稱為無關(guān)條件。 （ 3） 填入條件項。簡化后的決策表如下： 13 4 5 69 10 1114 15 16 17 18 19 20 2122 條 件 C1:month在 M1 M1 M1 M2 M2 M3 M3 M4 M4 M4 M4 M4 M4 C2:day在 D1D3 D4 D5 D1D4 D5 D1D4 D5 D1 D2 D2 D3 D3 D4,D5 C3:year在 Y1 Y2 Y1 Y2 動 作 A1:不可能 √ √ √ A2:day加 1 √ √ √ √ √ A3:day復(fù)位 √ √ √ √ √ month加 1 √ √ √ √ month復(fù)位 √ A6:year加 1 √ 決策表法 ? 根據(jù)簡化后的決策表，可設(shè)計測試用例如下表所示。 – 以合并相似規(guī)則為 目標 ，即：若表中有兩條或以上規(guī)則具有相同的 動作 ，并且在條件項之間存在極為相似的關(guān)系，便可合并 1 2 3 4 5 條 件 功率大于 50馬力嗎？ Y Y Y N N 維修記錄不全嗎？ Y N N 運行超過 10年嗎？ Y N Y N 動 作 進行優(yōu)先處理 X X X 作其他處理 X X 決策表法 ? NextDate函數(shù) 需求： – NextDate函數(shù)輸入為 month(月份 )、 day(日期 )和 year(年 )，輸出為輸入后一天的日期。如第三行是： Y N Y N Y N Y N，第二行是： Y Y N N Y Y N N等等。請建立判定表。 ? 當某一規(guī)則的條件已經(jīng)滿足，并確定要執(zhí)行的操作后，不必檢驗別的規(guī)則。 決策表法 ? 三角形問題的決策表： 決策表法 規(guī)則 18 規(guī)則 9 規(guī)則 10 規(guī)則 11 規(guī)則 12 規(guī)則 13 規(guī)則14 規(guī)則15 規(guī)則16 條件： c1: a,b,c構(gòu)成 三角形？ c2: a=b? c3: a=c? c4: b=c? N Y Y Y Y Y Y Y N Y Y N Y Y Y N N Y N Y Y Y N Y N Y N N Y Y N N N 動作： a1: 非三角形 a2: 一般三角形 a3: 等腰三角形 a4: 等邊三角形 a5: 不可能 √ √ √ √ √ √ √ √ √ ? 決策表測試法適用于具有以下特征的應(yīng)用程序： ifthenelse邏輯突出；輸入變量之間存在邏輯關(guān)系；涉及輸入變量子集的計算；輸入與輸出之間存在因果關(guān)系。 （ 4） 填入動作項，得到初始決策表。 決策表法 ? 構(gòu)造決策表的 5個步驟： （ 1） 確定規(guī)則的個數(shù)。 ? 在一些數(shù)據(jù)處理問題當中，某些操作的實施依賴于多個邏輯條件的組合，即：針對不同邏輯條件的組合值，分別執(zhí)行不同的操作。 第一章 軟件測試基礎(chǔ)知識 76 黑盒測試技術(shù)介紹 黑盒測試用例設(shè)計方法 等價類劃分法 邊界值分析法 因果圖法 決策表法 正交試驗法 場景法 錯誤推測法 綜合測試策略 黑盒測試技術(shù) 決策表法 ? 在所有的黑盒測試方法中，基于決策表（也稱判定表）的測試是最為嚴格、最具有邏輯性的測試方法。由于語法或環(huán)境的限制，有些原因和結(jié)果的組合情況是不可能出現(xiàn)的。 因果圖法 ? 根據(jù)原因和結(jié)果，我們可以設(shè)計這樣一個因果圖： 因果圖法 ? 將因果圖轉(zhuǎn)換成如下所示的決策表 1 2 3 4 5 6 7 8 9 10 11 輸 入 投入 1元 5角硬幣 （ 1） 1 1 1 1 0 0 0 0 0 0 0 投入 2元硬幣 （ 2） 0 0 0 0 1 1 1 1 0 0 0 按“可樂”按鈕 （ 3） 1 0 0 0 1 0 0 0 1 0 0 按“雪碧”按鈕 （ 4） 0 1 0 0 0 1 0 0 0 1 0 按“紅茶”按鈕 （ 5） 0 0 1 0 0 0 1 0 0 0 1 中間 結(jié)點 已投幣 （ 11） 1 1 1 1 1 1 1 1 0 0 0 已按鈕 （ 12） 1 1 1 0 1 1 1 0 1 1 1 輸 出 退還 5角硬幣 （ 21） 0 0 0 0 1 1 1 0 1 0 0 送出“可樂”飲料 （ 22） 1 0 0 0 1 0 0 0 0 0 0 送出“雪碧”飲料 （ 23） 0 1 0 0 0 1 0 0 0 0 0 送出“紅茶”飲料 （ 24） 0 0 1 0 0 0 1 0 0 0 0 因果圖法 ? 回顧采用因果圖法設(shè)計測試用例的步驟： ①分析程序規(guī)格說明的描述中，哪些是原因，哪些是結(jié)果。 分析這一段說明，我們可以列出原因和結(jié)果。 （ 4）根據(jù)（ 3）中的判定表，設(shè)計測試用例的輸入數(shù)據(jù)和預(yù)期輸出。 程序的規(guī)格說明要求：輸入的第一個字符必須是 或 *，第二個字符必須是一個數(shù)字，此情況下進行文件的修改；如果第一個字符不是 或 *，則給出信息 N，如果第二個字符不是數(shù)字，則給出信息 M。為表明這些特定的情況，在因果圖上使用若干標準的符號標明約束條件。原因常常是輸入條件或是輸入條件的等價類，而結(jié)果是輸出條件。 ? O約束 (唯一 )： a和 b必須有一個且僅有一個為 1。 因果圖法 ? 因果圖中的約束 在實際問題中輸入狀態(tài)相互之間、輸出狀態(tài)相互之間可能存在某些依賴關(guān)系，稱為 ? 約束 ? 。 ? 恒等：若 c1 是 1，則 e1 也為 1，否則 e1 為 0。 ? 能夠幫助測試人員按照一定的步驟 ， 高效率的開發(fā)測試用例 。 如果在測試時必須考慮輸入條件的各種組合，則可能的組合數(shù)目將是天文數(shù)字，因此必須考慮采用一種適合于描述多種條件的組合、相應(yīng)產(chǎn)生多個動作的形式來進行測試用例的設(shè)計，這就需要利用因果圖（邏輯模型） 。 說明：如果程序規(guī)格說明中沒有顯式地給出邊界值，則可以在設(shè)計測試用例前先設(shè)定取值的下限值和上限值。 則采用邊界值分析法設(shè)計的測試用例是： { 1,15, 2,15, 11,15, 12,15, 6,15, 6,1, 6,2, 6,30, 6,31 } ? 推論：對于一個含有 n個變量的程序，采用邊界值分析法測試程序會產(chǎn)生 4n+1個測試用例。 ? 邊界值分析法是基于可靠性理論中稱為 ? 單故障 ? 的假設(shè)，即有兩個或兩個以上故障同時出現(xiàn)而導(dǎo)致軟件失效的情況很少，也就是說，軟件失效基本上是由單故障引起的。 ? ⑤如果程序中使用了一個內(nèi)部數(shù)據(jù)結(jié)構(gòu)，則應(yīng)當選擇這個內(nèi)部數(shù)據(jù)結(jié)構(gòu)邊界上的值作為測試用例。 (7) 分析程序規(guī)格說明，找出其它可能的邊界條件 邊界值分析法 ? 對邊界值設(shè)計測試用例，應(yīng)遵循以下幾條原則： ? ①如果輸入條件規(guī)定了值的范圍，則應(yīng)取剛達到這個范圍的邊界的值，以及剛剛超越這個范圍邊界的值作為測試輸入數(shù)據(jù)。 (3) 根據(jù)程序規(guī)格說明的每個輸出條件，使用原則 (1)。 項 范圍或值 位（ bit） 0 或 1 字節(jié)（ byte） 0 ~ 255 字（ word） 0~65535（單字）或 0~4294967295（雙字） 千（ K） 1024 兆（ M） 1048576 吉（ G） 1073741824 邊界值分析法 ? 次邊界－字符的邊界值檢驗： 在計算機軟件中，字符也是很重要的表示元素，其中 ASCII和Unicode是常見的編碼方式。 空間 小于空余空間一點 /大于滿空間一點 例如在用 U盤存儲數(shù)據(jù)時，使用比剩余磁盤空間大一點（幾 KB）的文件作為邊界條件。對應(yīng)于 (i) 和 (b) 。 ? 例：測試計算平方根的函數(shù) ——輸入：實數(shù) ——輸出：實數(shù) ——規(guī)格說明：當輸入一個 0或比 0大的數(shù)的時候，返回其正平方根；當輸入一個小于 0的數(shù)時，顯示錯誤信息 ? 平方根非法 輸入值小于 0‖并返回 0。 ? 怎樣用邊界值分析法設(shè)計測試用例 ？ （ 1） 首先確定邊界情況 。 ? 年齡：一位或兩位非零整數(shù)，值的有效范圍為 1~99 ? 性別：一位英文字符，只能取值 ‘ M‘或 ’ F‘ ? 婚姻：字符，只能取值 ‘ 已婚 ’ 或 ‘ 未婚 ’ ? 撫養(yǎng)人數(shù)：空白或一位非零整數(shù)（ 1~9） ? 點數(shù) ：一位或兩位非零整數(shù)，值的范圍為 1~99 （ 2）根據(jù)（ 1）中的等價類表，設(shè)計能覆蓋所有等價類的 測試用例 ? 使用等價類劃分法測試的實例 等價類劃分法 輸入條件 有效等價類 編號 無效等價類 編號 年齡 20~39歲 1 40~59歲 2 1~19歲 60~99歲 3 小于 1 12 大于 99 13 性別 單個英文字符 4 非英文字符 14 非單個英文字符 15 ‘ M’ 5 除‘ M’和‘ F’之外的 其它單個字符 16 ‘ F’ 6 婚姻 已婚 7 除’已婚’和’未婚’之外的其它字符 17 未婚 8 撫養(yǎng)人數(shù) 空白 9 除空白和數(shù)字之外 的其它字符 18 1~6人 10 小于 1 19 6~9人 11 大于 9 20 等價類劃分法 測試用例 編號 輸入數(shù)據(jù) 預(yù)期輸出 年齡 性別 婚姻 撫養(yǎng)人數(shù) 保險費率 1 27 F 未婚 空白 % 2 50 M 已婚 2 % 3 70 F 已婚 7 % 4 0 M 未婚 空白 無法推算 5 100 F 已婚 3 無法推算 6 99 男 已婚 4 無法推算 7 1 Child 未婚 空白 無法推算 8 45 N 已婚 5 無法推算 9 38 F 離婚 1 無法推算 10 62 M 已婚 沒有 無法推算 11 18 F 未婚 0 無法推算 12 40 M 未婚 10 無法推算