【正文】 =0 和 (b) Error – 測試用例有兩個： ? 輸入 4，輸出 2。 ? 邊界值分析： – 劃分 (ii)的邊界為 0和最大正實數；劃分 (i)的邊界為最小負實數和 0。 邊界值分析法 ? 內部邊界值分析： 在多數情況下，邊界值條件是基于應用程序的功能設計而需要考慮的因素，可以從軟件的規(guī)格說明或常識中得到，也是最終用戶可以很容易發(fā)現問題的。下表中列出了一些常用字符對應的ASCII碼值。 (4) 根據程序規(guī)格說明的每個輸出條件，使用原則 (2) 。 ? ②如果輸入條件規(guī)定了值的個數，則用最大個數、最小個數、比最小個數少 比最大個數多 1的數作為測試數據。 ? ⑥分析規(guī)格說明，找出其他可能的邊界條件。 ——因此，在邊界值分析法中獲取測試用例的方法是： (1) 每次保留程序中一個變量，讓其余的變量取正常值，被保留的變量依次取 min、 min+、 nom、 max和 max。 邊界值分析法 ?1件 ￥ 3件 ￥ *3=4 大宗購物折扣 ? 邊界值分析法實例： ? 例 3 邊界值分析法 ? 需求一： ? 一家出售各種商品的商店，它為購買不同數量商品的客戶報出不同的價格，也就是按購買量的不同 ? 分段 ? 計價。 ? 實例 2 NextDate函數的邊界值分析測試用例 在 NextDate函數中，隱含規(guī)定了變量 mouth和變量 day的取值范圍為 1≤mouth≤12和 1≤day≤31，并設定變量 year的取值范圍為1912≤year≤2050 。 因果圖法 ? 因果圖法是基于這樣的一種思想：一些程序的功能可以用判定表 （ 或稱決策表 ） 的形式來表示 ， 并根據輸入條件的組合情況規(guī)定相應的操作 。 ? 因果圖法是將自然語言規(guī)格說明轉化成形式語言規(guī)格說明的一種嚴格的方法 ， 可以指出規(guī)格說明存在的不完整性和二義性 。 ? 非：若 c1 是 1，則 e1 為 0，否則 e1為 1。對于輸入條件的約束有 E、 I、 O、 R四種約束，對于輸出條件的約束只有 M約束。 ? R約束 (要求 )： a是 1時， b必須是 1，即 a為 1時， b不能為 0。 ②分析程序規(guī)格說明的描述中語義的內容，并將其表示成連接各個原因與各個結果的 ? 因果圖 ? 。 ④把因果圖轉換成判定表。 ? 解題步驟： （ 1）分析程序的規(guī)格說明，列出原因和結果。 因果圖法 （ 1） 分析程序規(guī)格說明中的原因和結果： （ 2） 畫出因果圖（編號為 10的中間結點是導出結果的進一步原因）： c1 c2 c3 e1 10 e2 e3 ～ ∨ E ～ ∧ 原因 結果 c1：第一個字符是 e1：給出信息 N c2：第一個字符是 * e2：修改文件 c3：第二個字符是一個數字 e3：給出信息 M 因果圖法 （ 3）將因果圖轉換成如下所示的判定表： 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） 根據判定表中的每一列設計測試用例： 測試用例編號 輸入數據 預期輸出 1 3 修改文件 2 A 給出信息 M 3 *6 修改文件 4 *B 給出信息 M 5 A1 給出信息 N 6 GT 給出信息 N和信息 M 因果圖法 ? 實例 例如：有一個處理單價為 1元 5角錢的盒裝飲料的自動售貨機軟件。 原因：①投入 1元 5角硬幣；②投入 2元硬幣；③按 ? 可樂 ? 按鈕；④按 ? 雪碧 ? 按鈕；⑤按 ? 紅茶 ? 按鈕。原因常常是輸入條件或是輸入條件的等價類，而結果是輸出條件。為表明這些特定的情況，在因果圖上使用若干標準的符號標明約束條件。 ? 決策表的概念：決策表是分析和表達多邏輯條件下執(zhí)行不同操作的情況的工具。決策表很適合于處理這類問題。 ? 有 n個條件的決策表有 2n個規(guī)則（每個條件取真、假值）。 （ 5） 簡化決策表，合并相似規(guī)則。 ? 適用于使用決策表設計測試用例的條件： ? 規(guī)格說明以決策表形式給出，或較容易轉換為決策表。 ? 如果某一規(guī)則的條件要執(zhí)行多個操作，這些操作的執(zhí)行順序無關緊要。 ? 分析： – ①列出所有的條件樁和動作樁 決策表法 ? 分析： – ②確定規(guī)則的個數：這里有 3個條件，每個條件有兩個取值，故應有 2*2*2=8種規(guī)則。 – ④填入動作項。例如，如果輸入為： 1964年 8月 16日，則輸出為 1964年 8月 17日。 測試用例 month day year 預期輸出 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 不可能 不可能 決策表法 ? 回顧構造決策表的 5個步驟： （ 1） 確定規(guī)則的個數。 （ 4） 填入動作項，得到初始決策表。 。 ? 若表中有兩條以上規(guī)則具有相同的動作，并且在條件項之間存在極為相似的關系，便可以合并。 （ 2） 列出所有的條件樁和動作樁。 決策表法 ? 分析： ? 2）考慮規(guī)則個數 ? 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復位 A4:month加 1 A5:month復位 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復位 A4:month加 1 A5:month復位 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 復位 4 加 5 復位 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 復位 √ √ √ 加 √ √ 復位 √ 加 √ 決策表法 規(guī)則選項條件 在在在 － － － － － － － － － － －動作不可能加復位加復位加 規(guī)則選項條件在在在 － － － － － － －動作不可能 加 復位 加 復位 加 決策表法 ? 可進一步簡化這 22個測試用例。 條件功率大于 馬力嗎？ 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ōu)先處理作其他處理條件功率大于 馬力嗎？維修記錄不全嗎？運行超過 年嗎？動作進行優(yōu)先處理 X X X X X 作其他處理 X X X 條件功率大于 馬力嗎？維修記錄不全嗎？運行超過 年嗎？