【正文】 ? 有 n個(gè)條件的決策表有 2n個(gè)規(guī)則（每個(gè)條件取真、假值）。 決策表法 決策表法 ? 需求一： – 要求： ? …… 對 ’ 功率大于 50馬力的機(jī)器且維修記錄不全 ’ 或 ’已運(yùn)行 10年以上 ’ 的機(jī)器，應(yīng)給予優(yōu)先的維修處理 ……‖ 。 決策表法 ? ―閱讀指南?決策表 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) —針對條件樁給出的條件列出所有可能的取值 ? 動(dòng)作樁 —列出問題規(guī)定的可能采取的操作 ? 動(dòng)作項(xiàng) —指出在條件項(xiàng)的各組取值情況下應(yīng)采取的動(dòng)作 條件樁 動(dòng)作樁 條件項(xiàng) 動(dòng)作項(xiàng) 規(guī)則 將任何一個(gè)條件組合的特定取值及相應(yīng)要執(zhí)行的動(dòng)作稱為一條規(guī)則。 中間狀態(tài)：①已投幣；②已按鈕。 ③標(biāo)明約束條件。 因果圖法 ? 因果圖中用來表示 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é)果）。 (2) 對程序中的每個(gè)變量重復(fù) (1) 。 字符 ASCII碼值 字符 ASCII碼值 空 (null) 0 A 65 空格 (space) 32 a 97 斜杠 ( / ) 47 Z 90 0 48 z 122 冒號 ( : ) 58 單引號 ( ? ) 96 64 邊界值分析法 ? 次邊界－其他邊界： (1) 如果輸入條件規(guī)定了值的范圍，則應(yīng)取剛達(dá)到這個(gè)范圍的邊界值以及剛剛超過這個(gè)范圍邊界的值作為測試輸入數(shù)據(jù)。 （ 2） 選取正好等于 、 剛剛大于或剛剛小于邊界的值作為測試數(shù)據(jù) ， 而不是選取等價(jià)類中的典型值或任意值 。 （ 2）設(shè)計(jì)一個(gè)新的測試用例，使它能夠盡量覆蓋尚未覆蓋的有效等價(jià)類。 等價(jià)類劃分法 ? 等價(jià)類劃分法（續(xù)） 等價(jià)類劃分法是把所有可能的輸入數(shù)據(jù)，即程序的輸入域劃分為若干部分（子集），然后從每一個(gè)子集中選取少數(shù)具有代表性的數(shù)據(jù)作為測試用例。 ? 檢測人機(jī)交互是否錯(cuò)誤，檢測數(shù)據(jù)結(jié)構(gòu)或外部數(shù)據(jù)庫訪問是否錯(cuò)誤，程序是否能適當(dāng)?shù)亟邮蛰斎霐?shù)據(jù)而產(chǎn)生正確的輸出結(jié)果，并保持外部信息（如數(shù)據(jù)庫或文件）的完整性。 ? 細(xì)分等價(jià)類 在確知已劃分的等價(jià)類中各元素在程序中的處理方式不同的情況下，則應(yīng)再將該等價(jià)類進(jìn)一步劃分為更小的等價(jià)類，并建立等價(jià)類表。 R1 = { a,b,c: 邊為 a,b,c的等邊三角形 } R2 = { a,b,c: 邊為 a,b,c的等腰三角形 } R3 = { a,b,c: 邊為 a,b,c的一般三角形 } R4 = { a,b,c: 邊為 a,b,c不能組成三角形 } 等價(jià)類劃分法 ? 使用等價(jià)類劃分法測試的實(shí)例 實(shí)例 1 三角形問題 測試用例 a b c 預(yù)期輸出 Test1 10 10 10 等邊三角形 Test2 10 10 5 等腰三角形 Test3 3 4 5 一般三角形 Test4 4 1 2 非三角形 等價(jià)類劃分法 ? 使用等價(jià)類劃分法測試的實(shí)例 實(shí)例 1 三角形問題 測試用例 a b c 預(yù)期輸出 Test1 5 6 7 一般三角形 Test2 1 5 5 a值超出輸入值定義域 Test3 5 1 5 b值超出輸入值定義域 Test4 5 5 1 c值超出輸入值定義域 Test5 101 5 5 a值超出輸入值定義域 Test6 5 101 5 b值超出輸入值定義域 Test7 5 5 101 c值超出輸入值定義域 等價(jià)類劃分法 ? 使用等價(jià)類劃分法測試的實(shí)例 實(shí)例 2 保險(xiǎn)公司計(jì)算保費(fèi)費(fèi)率的程序 某保險(xiǎn)公司的人壽保險(xiǎn)的保費(fèi)計(jì)算方式為： 投保額 保險(xiǎn)費(fèi)率 其中，保險(xiǎn)費(fèi)率依點(diǎn)數(shù)不同而有別， 10點(diǎn)及 10點(diǎn)以上保險(xiǎn)費(fèi)率為%， 10點(diǎn)以下保險(xiǎn)費(fèi)率為 %；而點(diǎn)數(shù)又是由 投保人的年齡、性別、婚姻狀況和撫養(yǎng)人數(shù)來決定，具體規(guī)則如下： 年齡 性別 婚姻 撫養(yǎng)人數(shù) 20~39 40~59 其它 M F 已婚 未婚 1人扣 最多扣 3點(diǎn) （四舍五入取整） 6點(diǎn) 4點(diǎn) 2點(diǎn) 5點(diǎn) 3點(diǎn) 3點(diǎn) 5點(diǎn) 等價(jià)類劃分法 實(shí)例 2 保險(xiǎn)公司計(jì)算保費(fèi)費(fèi)率的程序 （ 1）分析程序規(guī)格說明中給出和隱含的對輸入條件的要求，列出等價(jià)類表（包括有效等價(jià)類和無效等價(jià)類）。 數(shù)值 最小值 1/最大值 +1 假設(shè)某軟件的數(shù)據(jù)輸入域要求輸入 5位的數(shù)據(jù)值，可以使用 10000作為最小值、 99999作為最大值；然后使用剛好小于 5位和大于 5位的 數(shù)值來作為邊界條件。 ? ④如果程序的規(guī)格說明給出的輸入域或輸出域是有序集合，則應(yīng)選取集合的第一個(gè)元素和最后一個(gè)元素作為測試用例。這樣雖然各種輸入條件可能出錯(cuò)的情況已經(jīng)測試到了，但多個(gè)輸入條件組合起來可能出錯(cuò)的情況卻被忽視了。 ? I 約束 (或 )： a、 b、 c中至少有一個(gè)必須為 1，即 a、 b、 c不能同時(shí)為 0。 （ 3）將因果圖轉(zhuǎn)換成判定表。 ⑤為判定表中每一列表示的情況設(shè)計(jì)測試用例。 ? 合并后的條件項(xiàng)用符號 ? ‖表示，說明執(zhí)行的動(dòng)作與該條件的取值無關(guān)，稱為無關(guān)條件。 條件功率大于 馬力嗎？ Y Y Y Y N N N N 維修記錄不全嗎？ Y Y N N Y Y N N 運(yùn)行超過 年嗎？ Y N Y N Y N Y N 動(dòng)作進(jìn)行優(yōu)先處理作其他處理?xiàng)l件功率大于 馬力嗎？維修記錄不全嗎？運(yùn)行超過 年嗎？動(dòng)作進(jìn)行優(yōu)先處理 X X X X X 作其他處理 X X X 條件功率大于 馬力嗎？維修記錄不全嗎？運(yùn)行超過 年嗎？動(dòng)作進(jìn)行優(yōu)先處理作其他處理決策表法 ? 分析： – ⑤化簡：合并相似規(guī)則后得到圖。 。 – ④填入動(dòng)作項(xiàng)。 （ 5） 簡化決策表，合并相似規(guī)則。為表明這些特定的情況，在因果圖上使用若干標(biāo)準(zhǔn)的符號標(biāo)明約束條件。 ? 解題步驟： （ 1）分析程序的規(guī)格說明，列出原因和結(jié)果。對于輸入條件的約束有 E、 I、 O、 R四種約束，對于輸出條件的約束只有 M約束。 ? 實(shí)例 2 NextDate函數(shù)的邊界值分析測試用例 在 NextDate函數(shù)中，隱含規(guī)定了變量 mouth和變量 day的取值范圍為 1≤mouth≤12和 1≤day≤31，并設(shè)定變量 year的取值范圍為1912≤year≤2050 。 ? ②如果輸入條件規(guī)定了值的個(gè)數(shù)，則用最大個(gè)數(shù)、最小個(gè)數(shù)、比最小個(gè)數(shù)少 比最大個(gè)數(shù)多 1的數(shù)作為測試數(shù)據(jù)。 ? 邊界值分析： – 劃分 (ii)的邊界為 0和最大正實(shí)數(shù)；劃分 (i)的邊界為最小負(fù)實(shí)數(shù)和 0。 在三角形問題中，有四種可能的輸出：等邊三角形、等腰三角形、一般三角形和非三角形。 ? 按照數(shù)值集合劃分 在輸入條件規(guī)定了輸入值的集合或規(guī)定了 ? 必須如何 ? 的條件下，可以確定一個(gè)有效等價(jià)類和一個(gè)無效等價(jià)類（該集合有效值之外）。在測試時(shí)，把被測程序視為一個(gè)不能打開的黑盒子，在完全不考慮程序內(nèi)部結(jié)構(gòu)和內(nèi)部特性的情況下進(jìn)行。在該子集合中，各個(gè)輸入數(shù)據(jù)對于揭露程序中的錯(cuò)誤都是等效的，它們具有等價(jià)特性，即每一類的代表性數(shù)據(jù)在測試中的作用都等價(jià)于這一類中的其它數(shù)據(jù)。 （ 3）設(shè)計(jì)一個(gè)新的測試用例，使它僅覆蓋一個(gè)尚未覆蓋的無效等價(jià)類。 ? 例：測試計(jì)算平方根的函數(shù) ——輸入：實(shí)數(shù) ——輸出：實(shí)數(shù) ——規(guī)格說明：當(dāng)輸入一個(gè) 0或比 0大的數(shù)的時(shí)候，返回其正平方根；當(dāng)輸入一個(gè)小于 0的數(shù)時(shí)，顯示錯(cuò)誤信息 ? 平方根非法 輸入值小于 0‖并返回 0。 (3) 根據(jù)程序規(guī)格說明的每個(gè)輸出條件，使用原則 (1)。 則采用邊界值分析法設(shè)計(jì)的測試用例是： { 1,15, 2,15, 11,15, 12,15, 6,15, 6,1, 6,2, 6,30, 6,31 } ? 推論：對于一個(gè)含有 n個(gè)變量的程序，采用邊界值分析法測試程序會(huì)產(chǎn)生 4n+1個(gè)測試用例。 ? 恒等：若 c1 是 1，則 e1 也為 1，否則 e1 為 0。為表明這些特定的情況，在因果圖上使用若干標(biāo)準(zhǔn)的符號標(biāo)明約束條件。 因果圖法 ? 根據(jù)原因和結(jié)果，我們可以設(shè)計(jì)這樣一個(gè)因果圖： 因果圖法 ? 將因果圖轉(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é)果。 決策表法 ? 構(gòu)造決策表的 5個(gè)步驟： （ 1） 確定規(guī)則的個(gè)數(shù)。請建立判定表。 （ 3） 填入條件項(xiàng)。簡化后的決策表如下： 13 4 5 69 10 1114 15 16 17 18 19 20 21