【正文】 是天文數(shù)字，因此必須考慮采用一種適合于描述多種條件的組合、相應(yīng)產(chǎn)生多個動作的形式來進(jìn)行測試用例的設(shè)計(jì)，這就需要利用因果圖（邏輯模型） 。 ? 因果圖法的定義：是一種利用圖解法分析輸入的各種組合情況 ， 從而設(shè)計(jì)測試用例的方法 ， 它適合于檢查程序輸入條件的各種組合情況 。 ? 能夠幫助測試人員按照一定的步驟 ， 高效率的開發(fā)測試用例 。 因果圖法 ? 因果圖中用來表示 4種因果關(guān)系的基本符號： c1 e1 恒等 c1 e1 非 ～ c1 e1 或 c2 c3 ∨ c1 e1 與 c2 ∧ 因果圖法 ? 因果圖中的 4種基本關(guān)系 在因果圖的基本符號中，圖中的左結(jié)點(diǎn) ci表示輸入狀態(tài)（或稱原因），右結(jié)點(diǎn) ei表示輸出狀態(tài)（或稱結(jié)果）。 ? 恒等：若 c1 是 1，則 e1 也為 1，否則 e1 為 0。 ? 或：若 c1 或 c2 或 c3 是 1，則 e1 為 1，否則 e1 為 0。 因果圖法 ? 因果圖中的約束 在實(shí)際問題中輸入狀態(tài)相互之間、輸出狀態(tài)相互之間可能存在某些依賴關(guān)系，稱為 ? 約束 ? 。 ? E約束 (異 )： a和 b中最多有一個可能為 1，即 a和 b不能同時 為 1。 ? O約束 (唯一 )： a和 b必須有一個且僅有一個為 1。 ? M約束 (強(qiáng)制 )：若結(jié)果 a為 1，則結(jié)果 b強(qiáng)制為 0。原因常常是輸入條件或是輸入條件的等價(jià)類，而結(jié)果是輸出條件。 ③標(biāo)明約束條件。為表明這些特定的情況，在因果圖上使用若干標(biāo)準(zhǔn)的符號標(biāo)明約束條件。 ⑤為判定表中每一列表示的情況設(shè)計(jì)測試用例。 程序的規(guī)格說明要求：輸入的第一個字符必須是 或 *，第二個字符必須是一個數(shù)字，此情況下進(jìn)行文件的修改；如果第一個字符不是 或 *，則給出信息 N，如果第二個字符不是數(shù)字，則給出信息 M。 （ 2）找出原因與結(jié)果之間的因果關(guān)系、原因與原因之間的約束關(guān)系，畫出因果圖。 （ 4）根據(jù)（ 3）中的判定表，設(shè)計(jì)測試用例的輸入數(shù)據(jù)和預(yù)期輸出。若投入 1元 5角硬幣，按下 ? 可樂 ? 、 ? 雪碧 ? 或 ? 紅茶 ? 按鈕，相應(yīng)的飲料就送出來。 分析這一段說明，我們可以列出原因和結(jié)果。 中間狀態(tài)：①已投幣；②已按鈕。 因果圖法 ? 根據(jù)原因和結(jié)果，我們可以設(shè)計(jì)這樣一個因果圖： 因果圖法 ? 將因果圖轉(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é)點(diǎn) 已投幣 （ 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è)計(jì)測試用例的步驟： ①分析程序規(guī)格說明的描述中，哪些是原因，哪些是結(jié)果。 ②分析程序規(guī)格說明的描述中語義的內(nèi)容，并將其表示成連接各個原因與各個結(jié)果的 ? 因果圖 ? 。由于語法或環(huán)境的限制，有些原因和結(jié)果的組合情況是不可能出現(xiàn)的。 ④把因果圖轉(zhuǎn)換成判定表。 第一章 軟件測試基礎(chǔ)知識 76 黑盒測試技術(shù)介紹 黑盒測試用例設(shè)計(jì)方法 等價(jià)類劃分法 邊界值分析法 因果圖法 決策表法 正交試驗(yàn)法 場景法 錯誤推測法 綜合測試策略 黑盒測試技術(shù) 決策表法 ? 在所有的黑盒測試方法中，基于決策表（也稱判定表）的測試是最為嚴(yán)格、最具有邏輯性的測試方法。 ? 決策表的優(yōu)點(diǎn)：能夠?qū)?fù)雜的問題按照各種可能的情況全部列舉出來，簡明并避免遺漏。 ? 在一些數(shù)據(jù)處理問題當(dāng)中，某些操作的實(shí)施依賴于多個邏輯條件的組合，即：針對不同邏輯條件的組合值，分別執(zhí)行不同的操作。 決策表法 ? ―閱讀指南?決策表 1 2 3 4 5 6 7 8 問題 覺得疲倦？ Y Y Y Y N N N N 感興趣嗎？ Y Y N N Y Y N N 糊涂嗎？ Y N Y N Y N Y N 建議 重讀 √ 繼續(xù) √ 跳下一章 √ √ 休息 √ √ √ √ ? 決策表通常由以下 4部分組成： ? 條件樁 —列出問題的所有條件 ? 條件項(xiàng) —針對條件樁給出的條件列出所有可能的取值 ? 動作樁 —列出問題規(guī)定的可能采取的操作 ? 動作項(xiàng) —指出在條件項(xiàng)的各組取值情況下應(yīng)采取的動作 條件樁 動作樁 條件項(xiàng) 動作項(xiàng) 規(guī)則 將任何一個條件組合的特定取值及相應(yīng)要執(zhí)行的動作稱為一條規(guī)則。 決策表法 ? 構(gòu)造決策表的 5個步驟： （ 1） 確定規(guī)則的個數(shù)。 （ 2） 列出所有的條件樁和動作樁。 （ 4） 填入動作項(xiàng)，得到初始決策表。 ? 若表中有兩條以上規(guī)則具有相同的動作，并且在條件項(xiàng)之間存在極為相似的關(guān)系，便可以合并。 決策表法 ? 三角形問題的決策表： 決策表法 規(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)系；涉及輸入變量子集的計(jì)算；輸入與輸出之間存在因果關(guān)系。 ? 條件的排列順序不會也不應(yīng)影響執(zhí)行的操作。 ? 當(dāng)某一規(guī)則的條件已經(jīng)滿足，并確定要執(zhí)行的操作后，不必檢驗(yàn)別的規(guī)則。 決策表法 決策表法 ? 需求一： – 要求： ? …… 對 ’ 功率大于 50馬力的機(jī)器且維修記錄不全 ’ 或 ’已運(yùn)行 10年以上 ’ 的機(jī)器，應(yīng)給予優(yōu)先的維修處理 ……‖ 。請建立判定表。 2*2*2=8 1 2 3 4 5 6 7 8 條 件 功率大于 50馬力嗎？ 維修記錄不全嗎？ 運(yùn)行超過 10年嗎？ 動 作 進(jìn)行優(yōu)先處理 作其他處理 決策表法 ? 分析： – ③填入條件項(xiàng)。如第三行是： Y N Y N Y N Y N，第二行是： Y Y N N Y Y N N等等。這樣便得到形如圖的初始判定表。 – 以合并相似規(guī)則為 目標(biāo) ，即：若表中有兩條或以上規(guī)則具有相同的 動作 ，并且在條件項(xiàng)之間存在極為相似的關(guān)系，便可合并 1 2 3 4 5 條 件 功率大于 50馬力嗎？ Y Y Y N N 維修記錄不全嗎？ Y N N 運(yùn)行超過 10年嗎？ Y N Y N 動 作 進(jìn)行優(yōu)先處理 X X X 作其他處理 X X 決策表法 ? NextDate函數(shù) 需求： – NextDate函數(shù)輸入為 month(月份 )、 day(日期 )和 year(年 )，輸出為輸入后一天的日期。要求輸入變量 month、 day和 year都是整數(shù)值，并且滿足以下條件： – Con1． 1≤month≤12 – Con2． 1≤day≤31 – Con3． 1900≤year≤2050 分析 … 決策表法 ? 分析： ? 1）條件樁、動作樁 – 輸入 ? Month ? Day ? year – 為獲得下一個日期， NextDate函數(shù)需執(zhí)行的 操作 只有如下 5種： ? ① day變量值加 1； ? ② day變量值復(fù)位為 1； ? ③ month變量值加 1； ? ④ month變量值復(fù)位為 1； ? ⑤ year變量值加 1。簡化后的決策表如下： 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è)計(jì)測試用例如下表所示。 ? 有 n個條件的決策表有 2n個規(guī)則（每個條件取真、假值）。 （ 3） 填入條件項(xiàng)。 （ 5） 簡化決策表，合并相似規(guī)則。 ? 合并后的條件項(xiàng)用符號 ? ‖表示，說明執(zhí)行的動作與該條件的取值無關(guān)，稱為無關(guān)條