软体动态测试01 动态测试案例设计技术档案 - NCNU Moodle 课程.PPT

32 黑箱等價劃分 Equivalence Partition 33 System Output Invalid Inputs Valid inputs 簡介 ? 以不同資料類別、劃分規則，切割輸入域，設計測試案 例。 – 輸入域的子集合-各輸入資料對程式中的錯誤都是等效的 – 同一類測試案例，會發現某類同樣錯誤，如所有字元資料的 錯誤處理。 34 Less than 4 More than 10 3 7 Between 4 and 10 11 等價劃分原則(1) ? 輸入條件規定值的範圍a和b ，則取一個有效 等價類別axb，和兩個無效等價類別a, b 的值設計測試案例 – 輸入 x 為 ，4 x 10 – 選擇測試案例為邊界值：3, 7, 11 – 選擇測試案例為：負數、非數字 35 等價劃分原則(2) ? 輸入條件規定值的個數N，則取一個有效等價類 別N，和兩個無效等價類別N, N的值設計測試 案例資料。 – 輸入班級所有人成績，計算全班平均，班級人數為 10=N=75人。 – 輸入9, 60, 76人的成績。 36 等價劃分原則(3) ? 輸入資料須遵守某規則 – 一個有效等價類別和若干個無效等價類別 – 輸入條件：非0非1開始的3位數字 ? 200的值，011, 100, 300 37 等價劃分原則(4) ? 輸入條件規定值的集合或一個變數字串 – 一個有效等價類別和一個無效等價類別 – ATM系統，輸入6個數字密碼，後面緊跟關鍵字 命令，輸入條件：6個數字的字串、命令集合 “check”, “dePosit”, “billPay” ? 測試資料：{“check”, “dePosit”, “billPay”, “OK”} – 輸入為顏色，”black”, “Red” ? 測試資料：”black”, “Red”和其他字串 38 等價劃分原則(5) ? 輸入條件是布林值 – 一個有效等價類別和一個無效等價類別 – 輸入ATM提款，是否要換小額鈔票 – Yes/True, No/False 39 等價劃分原則(6) ? 輸入條件是一組值(n個) ，程式要對每一個輸 入值分別處理 – n個有效等價類別和一個無效等價類別 – 輸入ATM提款金額，{1000, 2000, …, 30000} ? 測試資料：1000, 2000,.. ,30000, 31000 40 等價劃分原則(7) ? 等價作業系統環境 – 記憶體需求：64K, 128K, 256K, .. – 周邊設備數量，顯示器、磁碟機、印表機 – CPU頻率 41 – – – – CPU idle時印出文件 存取磁碟時，印出文件 多個使用者時，印出文件 不同優先等級時，多使用者印出文件 等價劃分原則(8) ? 以時間為導向分類 42 等價劃分原則(9) ? 若等價類別中各元素在程式處理的方式不同 – 將該等價類別進一步劃分為更小的等價類別。 43 等價劃分範例- Search(1) procedure Search (Key : ELEM ; T: ELEM_ARRAY; Found : in out BOOLEAN; L: in out ELEM_INDEX) ; Pre-condition -陣列至少有一個元素（T’FIRST = T’LAST ） Post-condition - 元素被找到，L是索引 ( Found and T (L) = Key) 或 - 元素不在陣列中 ( not Found and not (exists i, T’FIRST = i = T’LAST, T (i) = Key )) 44 等價劃分範例- Search(2) ? 輸入資料等價劃分，第一類 – 符合前置條件 ? 陣列有一個元素 ? 陣列有多個元素 – 不符合前置條件 ? 陣列長度為 0 ? 輸入資料等價劃分，第二類 – Key element 在陣列 ? 找到方式：First, Middle, Last – Key element 不在陣列 45 – – – – – – – 陣列長度為 0 陣列有一個元素，Key element 在陣列中 陣列有一個元素，Key element 不在陣列中 陣列