【正文】 。 ? 若表中有兩條以上規(guī)則具有相同的動作，并且在條件項之間存在極為相似的關(guān)系，便可以合并。 （ 4） 填入動作項，得到初始決策表。 （ 2） 列出所有的條件樁和動作樁。 測試用例 month day year 預(yù)期輸出 Test13 Test4 Test5 Test69 Test10 Test1114 Test15 Test16 Test17 Test18 Test19 Test20 Test2122 6 6 6 1 1 12 12 2 2 2 2 2 2 16 30 31 16 31 16 31 16 28 28 29 29 30 2022 2022 2022 2022 2022 2022 2022 2022 2022 2022 2022 2022 2022 17/6/2022 1/7/2022 不可能 17/6/2022 1/2/2022 17/12/2022 1/1/2022 17/2/2022 29/2/2022 1/3/2022 1/3/2022 不可能 不可能 決策表法 ? 回顧構(gòu)造決策表的 5個步驟： （ 1） 確定規(guī)則的個數(shù)。 決策表法 ? 分析： ? 2）考慮規(guī)則個數(shù) ? M1: {month: month有 30天 }； ? M2: {month:month有 31天， 12月除外 }； ? M3: {month:month是 12月 }； ? M4: {month:month是 2月 }； ? D1:{day:1≤day≤27} ； ? D2: {day:day=28}； ? D3: {day:day=29}； ? D4: {day:day=30}； ? D5: {day:day=31}； ? Y1:{year:year是閏年 }； ? Y2: {year:year不是閏年 } 2： 真、假 ?3）輸入條件項 ?4）輸入動作項 規(guī)則 選項 1 2 3 4 5 6 7 8 9 10 11 條件 C1:month在 C2:day在 C3:year在 M1 M1 M1 M1 M1 M2 M2 M2 M2 M2 M3 D1 D2 D3 D4 D5 D1 D2 D3 D4 D5 D1 － － － － － － － － － － － 動 作 A1:不可能 A2:day加 1 A3:day復(fù)位 A4:month加 1 A5:month復(fù)位 A6:year加 1 規(guī)則 選項 12 13 14 15 16 17 18 19 20 21 22 條 件 C1:month在 M3 M3 M3 M3 M4 M4 M4 M4 M4 M4 M4 C2:day在 D2 D3 D4 D5 D1 D2 D2 D3 D3 D4 D5 C3:year在 － － － － － Y1 Y2 Y1 Y2 － － 動 作 A1:不可能 A2:day加 1 A3:day復(fù)位 A4:month加 1 A5:month復(fù)位 A6:year加 1 規(guī)則 選項 條件 1 在 2 在 3 在 1 1 1 1 1 2 2 2 2 2 3 1 2 3 4 5 1 2 3 4 5 1 － － － － － － － － － － － 動 作 1 不可能 2 加 3 復(fù)位 4 加 5 復(fù)位 6 加 √ √ √ √ √ √ √ √ √ √ √ √ √ 規(guī)則 選項 條 件 1 在 3 3 3 3 4 4 4 4 4 4 4 2 在 2 3 4 5 1 2 2 3 3 4 5 3 在 － － － － － 1 2 1 2 － － 動 作 1 不可能 √ √ √ 2 加 √ √ √ √ √ 3 復(fù)位 √ √ √ 加 √ √ 復(fù)位 √ 加 √ 決策表法 規(guī)則選項條件 在在在 － － － － － － － － － － －動作不可能加復(fù)位加復(fù)位加 規(guī)則選項條件在在在 － － － － － － －動作不可能 加 復(fù)位 加 復(fù)位 加 決策表法 ? 可進(jìn)一步簡化這 22個測試用例。例如，如果輸入為： 1964年 8月 16日，則輸出為 1964年 8月 17日。 條件功率大于 馬力嗎？ Y Y Y Y N N N N 維修記錄不全嗎？ Y Y N N Y Y N N 運行超過 年嗎？ Y N Y N Y N Y N 動作進(jìn)行優(yōu)先處理作其他處理條件功率大于 馬力嗎？維修記錄不全嗎？運行超過 年嗎？動作進(jìn)行優(yōu)先處理 X X X X X 作其他處理 X X X 條件功率大于 馬力嗎？維修記錄不全嗎？運行超過 年嗎？動作進(jìn)行優(yōu)先處理作其他處理決策表法 ? 分析： – ⑤化簡：合并相似規(guī)則后得到圖。 – ④填入動作項?？蓮淖詈?1行條件項開始，逐行向上填滿。 ? 分析： – ①列出所有的條件樁和動作樁 決策表法 ? 分析： – ②確定規(guī)則的個數(shù)：這里有 3個條件，每個條件有兩個取值，故應(yīng)有 2*2*2=8種規(guī)則。這里假定， ? 維修記錄不全 ? 和 ? 優(yōu)先維修處理 ? 均已在別處有更嚴(yán)格的定義 。 ? 如果某一規(guī)則的條件要執(zhí)行多個操作，這些操作的執(zhí)行順序無關(guān)緊要。 ? 規(guī)則的排列順序不會也不應(yīng)影響執(zhí)行的操作。 ? 適用于使用決策表設(shè)計測試用例的條件： ? 規(guī)格說明以決策表形式給出，或較容易轉(zhuǎn)換為決策表。 ? 合并后的條件項用符號 ? ‖表示，說明執(zhí)行的動作與該條件的取值無關(guān)，稱為無關(guān)條件。 （ 5） 簡化決策表，合并相似規(guī)則。 （ 3） 填入條件項。 ? 有 n個條件的決策表有 2n個規(guī)則（每個條件取真、假值）。在決策表中貫穿條件項和動作項的一列就是一條規(guī)則。決策表很適合于處理這類問題。因此，利用決策表能夠設(shè)計出完整的測試用例集合。 ? 決策表的概念：決策表是分析和表達(dá)多邏輯條件下執(zhí)行不同操作的情況的工具。 ⑤為判定表中每一列表示的情況設(shè)計測試用例。為表明這些特定的情況，在因果圖上使用若干標(biāo)準(zhǔn)的符號標(biāo)明約束條件。 ③標(biāo)明約束條件。原因常常是輸入條件或是輸入條件的等價類，而結(jié)果是輸出條件。 結(jié)果：①退還 5角硬幣；②送出 ? 可樂 ? 飲料；③送出 ? 雪碧 ? 飲料；④送出 ? 紅茶 ? 飲料。 原因：①投入 1元 5角硬幣；②投入 2元硬幣；③按 ? 可樂 ? 按鈕；④按 ? 雪碧 ? 按鈕；⑤按 ? 紅茶 ? 按鈕。若投入的是兩元硬幣，在送出飲料的同時退還 5角硬幣。 因果圖法 （ 1） 分析程序規(guī)格說明中的原因和結(jié)果： （ 2） 畫出因果圖（編號為 10的中間結(jié)點是導(dǎo)出結(jié)果的進(jìn)一步原因）： c1 c2 c3 e1 10 e2 e3 ～ ∨ E ～ ∧ 原因 結(jié)果 c1：第一個字符是 e1：給出信息 N c2：第一個字符是 * e2：修改文件 c3：第二個字符是一個數(shù)字 e3：給出信息 M 因果圖法 （ 3）將因果圖轉(zhuǎn)換成如下所示的判定表： 1 2 3 4 5 6 7 8 條件： C1 C2 C3 10 1 1 1 1 1 0 1 0 1 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 動作： e1 e2 e3 不可能 √ √ √ √ √ √ √ √ √ 測試用例 3 A *6 *B A1 GT 因果圖法 （ 4） 根據(jù)判定表中的每一列設(shè)計測試用例： 測試用例編號 輸入數(shù)據(jù) 預(yù)期輸出 1 3 修改文件 2 A 給出信息 M 3 *6 修改文件 4 *B 給出信息 M 5 A1 給出信息 N 6 GT 給出信息 N和信息 M 因果圖法 ? 實例 例如：有一個處理單價為 1元 5角錢的盒裝飲料的自動售貨機(jī)軟件。 （ 3）將因果圖轉(zhuǎn)換成判定表。 ? 解題步驟： （ 1）分析程序的規(guī)格說明，列出原因和結(jié)果。 因果圖法 ? 實例 用因果圖法測試以下程序。 ④把因果圖轉(zhuǎn)換成判定表。由于語法或環(huán)境的限制，有些原因和結(jié)果的組合情況是不可能出現(xiàn)的。 ②分析程序規(guī)格說明的描述中語義的內(nèi)容，并將其表示成連接各個原因與各個結(jié)果的 ? 因果圖 ? 。 因果圖法 ? 因果圖中用來表示約束關(guān)系的約束符號： a b 異 E a b 或 I c a b 唯一 O R a b 要求 M a b 強(qiáng)制 因果圖法 ? 采用因果圖法設(shè)計測試用例的步驟： ①分析程序規(guī)格說明的描述中，哪些是原因，哪些是結(jié)果。 ? R約束 (要求 )： a是 1時， b必須是 1，即 a為 1時， b不能為 0。 ? I 約束 (或 )： a、 b、 c中至少有一個必須為 1，即 a、 b、 c不能同時為 0。對于輸入條件的約束有 E、 I、 O、 R四種約束，對于輸出條件的約束只有 M約束。 ? 與：若 c1 和 c2 都是 1，則 e1 為 1，否則 e1 為 0。 ? 非：若 c1 是 1，則 e1 為 0，否則 e1為 1。 ci 與 ei 取值 0或 1，0表示某狀態(tài)不出現(xiàn)， 1則表示某狀態(tài)出現(xiàn)。 ? 因果圖法是將自然語言規(guī)格說明轉(zhuǎn)化成形式語言規(guī)格說明的一種嚴(yán)格的方法 ， 可以指出規(guī)格說明存在的不完整性和二義性 。 因果圖法 ? 使用因果圖法的優(yōu)點： ? 考慮到了輸入情況的各種組