【正文】 條件 4 ab+ c 條件 2 1≤b≤100 條件 5 ba+ c 條件 3 1≤c≤100 條件 6 ca+ b Return A Free sample background from Slide 10 第三章 黑盒測試及其用例的設(shè)計 三角形問題與 NextDate函數(shù) （續(xù)） ? 如果輸入值 a、 b、 c不滿足條件 條件 2和條件 3 ，程序給出“邊的取值超出允許范圍 ”的信息。 要求輸入變量 month、 day和 year均為整數(shù)值，并且滿足下列條件： 條件 1 1≤ month ≤12 條件 2 1≤ day ≤31 條件 3 1912≤ year ≤2050 ? 結(jié)論： 在 NextDate函數(shù)中有兩種復(fù)雜性的輸入來源，一是輸入域的復(fù)雜性，二是確定閏年的規(guī)則并要增加“額外天”。這樣，對于表征該類的數(shù)據(jù)輸入將能代表整個子集合的輸入。 （ 2）無效等價類 —— 是指對軟件規(guī)格說明而言，是無意義的、不合理的輸入數(shù)據(jù)所構(gòu)成的集合。 例： 程序輸入條件為以字符‘ a’開頭、長度為 8的字符串，并且字符串不包含‘ a’~ ‘ z’之外的其它字符，則有效等價類為滿足了上述所有條件的字符串，無效等價類為不以‘ a’開頭的字符串、長度不為 8的字符串和包含了‘ a’~ ‘ z’之外其它字符的字符串。重復(fù)這一步驟，直到所有的無效等價類均被測試用例所覆蓋。 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不能組成三角形 } 標(biāo)準(zhǔn)等價類測試用例 健壯等價類測試用例 A Free sample background from Slide 24 第三章 黑盒測試及其用例的設(shè)計 使用等價類劃分法測試的實例 （續(xù)） ? 實例 2 保險公司計算保費費率的程序 某保險公司的人壽保險的保費計算方式為： 投保額 保險費率 其中，保險費率依點數(shù)不同而有別， 10點及 10點以上保險費率為 %， 10點以下保險費率為 %；而點數(shù)又是由 投保人的年齡、性別、婚姻狀況和撫養(yǎng)人數(shù)來決定，具體規(guī)則如下： 年齡 性別 婚姻 撫養(yǎng)人數(shù) 20~39 40~59 其它 M F 已婚 未婚 1人扣 最多扣 3點 （四舍五入取整） 6點 4點 2點 5點 3點 3點 5點 A Free sample background from Slide 25 第三章 黑盒測試及其用例的設(shè)計 計算保費費率的程序 （ 1）分析程序規(guī)格說明中給出和隱含的對輸入條件的要求，列出等價類表（包括有效等價類和無效等價類）。 通常輸入或輸出等價類的邊界就是應(yīng)該著重測試的邊界情況 。然而，在測試用例設(shè)計過程中，某些邊界值條件是不需要呈現(xiàn)給用戶的，或者說用戶是很難注意到的，但同時確實屬于檢驗范疇內(nèi)的邊界條件，稱為內(nèi)部邊界值條件或子邊界值條件。 (7) 分析程序規(guī)格說明，找出其它可能的邊界條件。 ? 練習(xí)： 有函數(shù) f(x,y,x)，其中 x∈ [1900,2100]， y∈ [1,12]，z∈ [1,31]的。 ? 實例 2 NextDate函數(shù)的邊界值分析測試用例 在 NextDate函數(shù)中，隱含規(guī)定了變量 mouth和變量 day的取值范圍為 1≤mouth≤12和 1≤day≤31，并設(shè)定變量 year的取值范圍為 1912≤year≤2050 。 ? 因果圖法的定義：是一種利用圖解法分析輸入的各種組合情況 ， 從而設(shè)計測試用例的方法 ， 它適合于檢查程序輸入條件的各種組合情況 。ci 與 ei 取值 0或 1， 0表示某狀態(tài)不出現(xiàn)， 1則表示某狀態(tài)出現(xiàn)。 ? I 約束 (或 )： a、 b、 c中至少有一個必須為 1，即 a、 b、 c不能同時為 0。為表明這些特殊情況，在因果圖上用一些記號表明約束或限制條件。 （ 4）根據(jù)（ 3）中的決策表，設(shè)計測試用例的輸入數(shù)據(jù)和預(yù)期輸出。因此，利用決策表能夠設(shè)計出完整的測試用例集合。 （ 3） 填入條件項。 實例分析 A Free sample background from Slide 71 第三章 黑盒測試及其用例的設(shè)計 決策表應(yīng)用 （續(xù)） ? 決策表測試法適用于具有以下特征的應(yīng)用程序： ifthenelse邏輯突出；輸入變量之間存在邏輯關(guān)系；涉及輸入變量子集的計算；輸入與輸出之間存在因果關(guān)系。 （ 1）分析各種輸入情況，列出為輸入變量 month、 day、year劃分的有效等價類。 ? 錯誤推測方法的基本思想：列舉出程序中所有可能有的錯誤和容易發(fā)生錯誤的特殊情況，根據(jù)它們選擇測試用例。 A Free sample background from Slide 77 第三章 黑盒測試及其用例的設(shè)計 測試方法的選擇 （續(xù)） ? 通常在確定測試策略時，有以下 5條參考原則： （ 1）在任何情況下都必須采用邊界值分析法。 假定被測程序能接受一切符合上述規(guī)定的電話號碼， 拒絕所有不符合規(guī)定的電話號碼。 。 （ 2）如果所生成的測試用例不夠全面，請考慮用別的測試 方法生成一些補充的測試用例。 （ 2）必要時采用等價類劃分法補充測試用例。 ? 還有，輸入數(shù)據(jù)和輸出數(shù)據(jù)為 0的情況、輸入表格為空格或輸入表格只有一行等。 （ 3）根據(jù)（ 1）和（ 2），畫出簡化后的決策表。 ? 條件的排列順序不會也不應(yīng)影響執(zhí)行的操作。 （ 5） 簡化決策表，合并相似規(guī)則。決策表很適合于處理這類問題。 某軟件的一個模塊的需求規(guī)格說明書中描述： （ 1）年薪制員工：嚴(yán)重過失，扣年終風(fēng)險金的 4%；過失，扣年終風(fēng)險金的 2%。 （ 5）根據(jù)決策表中的每一列設(shè)計測試用例。 ? R約束 (要求 )： a是 1時， b必須是 1，即 a為 1時， b不能為 0。 ? 非：若 c1 是 1，則 e1 為 0， 否則 e1為 1。 （ 2） 將得到的因果圖轉(zhuǎn)換為判定表 。 假定此商店的貨幣面值只包括： 50元 (N50)、 10元 (N10)、 5元 (N5)、 1元 (N1) 四種。 { 20xx,6,1, 20xx,6,2, 20xx,6,30, 20xx,6,31, 20xx,1,15, 20xx,2,15, 20xx,11,15, 20xx,12,15, 1900,6,15, 1901,6,15, 2099,6,15, 2100,6,15, 20xx,6,15 } A Free sample background from Slide 43 第三章 黑盒測試及其用例的設(shè)計 健壯性測試 ? 健壯性測試是作為邊界值分析的一個簡單的擴充，它除了對變量的 5個邊界值分析取值外，還需要增加一個略大于最大值 (max+)以及略小于最小值 (min)的取值，檢查超過極限值時系統(tǒng)的情況。 —— 因此，邊界值分析法利用輸入變量的最小值 (min)、略大于最小值 (min+)、 輸入值域內(nèi)的任意值 (nom)、 略小于最大值 (max)和最大值 (max)來設(shè)計測試用例。 A Free sample background from Slide 39 第三章 黑盒測試及其用例的設(shè)計 選擇測試用例的原則 (1) 如果輸入條件規(guī)定了值的范圍，則應(yīng)取剛達(dá)到這個范圍的邊界值以及剛剛超過這個范圍邊界的值作為測試輸入數(shù)據(jù)。 A Free sample background from Slide 31 第三章 黑盒測試及其用例的設(shè)計 舉例 —— 常見的邊界值 ? 對 16bit 的整數(shù)而言 32767 和 32768 是邊界 ? 屏幕上光標(biāo)在最左上 、 最右下位置 ? 報表的第一行和最后一行 ? 數(shù)組元素的第一個和最后一個 ? 循環(huán)的第 0 次 、 第 1 次和倒數(shù)第 2 次 、 最后一次 A Free sample background from Slide 32 第三章 黑盒測試及其用例的設(shè)計 邊界值分析 ? 邊界值分析使用與等價類劃分法相同的劃分，只是邊界值分析假定錯誤更多地存在于劃分的邊界上，因此在等價類的邊界上以及兩側(cè)的情況設(shè)計測試用例。 等價類表 測試用例 A Free sample background from Slide 28 第三章 黑盒測試及其用例的設(shè)計 習(xí)題 ? NextDate函數(shù) 請使用等價類劃分法為 NextDate函數(shù)列出輸入域等價類表，并設(shè)計相應(yīng)的測試用例。 ? 標(biāo)準(zhǔn)等價類測試 —— 不考慮無效數(shù)據(jù)值，測試用例使用 每個等價類中的一個值。 （ 4）按照限制條件或規(guī)則劃分 在規(guī)定了輸入數(shù)據(jù)必須遵守的規(guī)則或限制條件的情況下，可確定一個有效等價類（符合規(guī)則）和若干個無效等價類（從不同角度違反規(guī)則）。 A Free sample background from Slide 17 第三章 黑盒測試及其用例的設(shè)計 等價類的劃分原則 （續(xù)） ? 進(jìn)行等價類劃分的依據(jù)： （ 1）按照區(qū)間劃分 在輸入條件規(guī)定了取值范圍或值的個數(shù)的情況下，可以確定一個有效等價類和兩個無效等