【正文】 ? 總結(jié)軟件測試的基本原則。 ? 測試工作由他人（專業(yè)測試小組）進行，而調(diào)試要求對程序結(jié)構(gòu)和算法十分熟悉，因此最好由程序設(shè)計者本人完成。 SRS (Software Requirement Specification) :軟件需求說明書 2021/11/10 Shy 139 確認驗收測試 常用測試類型 : ? 功能測試 ? 容量測試 大數(shù)據(jù)量 ? 緊張度測試 峰值 ? 使用性測試 如 ,用戶界面是否合理 ?風格是否統(tǒng)一 ? 操作是否方便 ?出錯信息是否簡明易用 … 等 ? 安全性測試 2021/11/10 Shy 140 確認驗收測試 常用測試類型 (續(xù) ): ? 可靠性測試 ? 恢復(fù)測試 ? 文檔測試 確保用戶文檔的精確性和清晰性 ,確保敘述正確無誤 ? 工序測試 與人工工序的配合情況 2021/11/10 Shy 141 軟件調(diào)試 ? 調(diào)試的任務(wù)： ? 測試階段發(fā)現(xiàn)的是故障的表現(xiàn)，可以成為外部錯誤。 2021/11/10 Shy 137 集成測試 (續(xù) ) 3 漸增式測試 (續(xù) ) A D C B I H J G F E L K 右圖中 J、 I是包含輸入輸出的模塊， D、 F是關(guān)鍵的模塊。使測試較為困難。 這樣向程序送入測試數(shù)據(jù)、以及檢察輸出結(jié)果就方便了。 所謂關(guān)鍵的模塊是指 較復(fù)雜、較可能出錯、或含有新的算法的模塊。 漸增式 (自底向上 )： 先并行測試 E、 C、 F，然后測試 B、 D，最后測試 A。其作用是接受待測模塊 X的控制并模擬下層模塊 E的功能。 ? 驅(qū)動模塊 ? 樁模塊 2021/11/10 Shy 131 集成測試 (續(xù) ) ? 驅(qū)動模塊 驅(qū)動模塊是模擬待測模塊 X的調(diào)用模塊，其作用是將測試數(shù)據(jù)傳送給待測模塊 X，并顯示待測模塊 X的結(jié)果。 ? 綜合使用邊界值分析、等價劃分、錯誤推測技術(shù)可設(shè)計 9種測試數(shù)據(jù) : 測試功能 測試數(shù)據(jù) 10,10,10 10,10,17 10,17,10 17,10,10 8,10,12 8,12,10 10,12,8 10,10,21 10,21,10 21,10,10 10,5,5 5,10,5 5,5,10 0,0,0 0,0,17 0,10,12 10,10,10 10,10,17 8,10,17 , , 10, 8,10, a,b,c =, +, * 8,10,a 綜合測試策略實例 2021/11/10 Shy 127 ? 測試數(shù)據(jù)覆蓋程度檢驗 編號 測試數(shù)據(jù) 覆蓋的邊 1. 10,10,10 1,2,3,4,5,6,7,8 2a. 10,10,17 1,2,3,4,5,15,19,20,8 2b. 10,17,10 1,2,3,4,14,18,19,20,8 2c. 17,10,10 1,2,3,4,14,16,17,19,20,8 3a. 8,10,12 1,2,3,4,14,16,21,22,8 3b. 8,12,10 1,2,3,4,14,16,21,22,8 3c. 10,12,8 1,2,3,4,14,16,21,22,8 4a. 10,10,21 1,2,3,11,12,13,8 4b. 10,21,10 1,2,10,12,13,8 4c. 21,10,10 1,9,12,13,8 ? 以上測試數(shù)據(jù)已滿足路徑覆蓋，因此不需再用白盒法設(shè)計測試數(shù)據(jù)。根據(jù)程序可靠性要求，補充用例使之達到規(guī)定的覆蓋標準。 約束 E 1 2 (1， 2不能同時成立 ) 分析規(guī)格說明并編號： 因果圖方法實例 2(續(xù) ) 2021/11/10 Shy 123 組合條件 條件 原因 動作 結(jié)果 11 12 13 1 2 3 1 2 3 4 5 6 7 8 1 1 1 1 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 測試用例 A3 A* B8 BB X6 CC 因果圖轉(zhuǎn)換的判定表： 因果圖方法實例 2(續(xù) ) 2021/11/10 Shy 124 因果圖轉(zhuǎn)換的判定表分析： 判定表所有條件組合數(shù) :23 =8。 12－輸出錯誤信息 S。 因果圖方法實例 2 2021/11/10 Shy 122 原 因 是： 1－第 1個字符是 A 2－第 1個字符是 B 3－第 2個字符是數(shù)字。 三 黑盒法 (續(xù) ) 2021/11/10 Shy 117 某電力公司有 A、 B、 C、 D四類收費標準 , 并規(guī)定： 居民用電 100度 /月 按 A類收費 ≥ 100度 /月按 B類收費 動力用電 10000度 /月 ,非高峰 ,B類收費 ≥ 10000度 /月 ,非高峰 ,C類收費 10000度 /月 , 高峰 ,C類收費 ≥ 10000度 /月 , 高峰 ,D類收費 因果圖方法實例 1 2021/11/10 Shy 118 列出輸入條件和輸出動作并編號： 輸入條件 (原因 ) 輸出動作 (結(jié)果 ) 1－居民用電 A A類計費 2－動力用電 B B類計費 3－ 100度 /月 C C類計費 4－ 10000度 /月 D D類計費 5－高峰用電 因果圖方法實例 1(續(xù) ) 2021/11/10 Shy 119 組合條件 條件 原因 動作 結(jié)果 A B C 1 2 3 1 2 3 4 5 6 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 4 1 0 1 0 5 0 0 1 1 D 0 0 0 1 1 0 0 1 0 0 0 0 測試用例 把因果圖轉(zhuǎn)換為判定表： 因果圖方法實例 1(續(xù) ) 2021/11/10 Shy 120 1列 居民電 ,90度 /月 A 2列 居民電 ,110度 /月 B 3列 動力電 ,非高峰 ,8000度 /月 B 4列 動力電 ,非高峰 , /月 C 5列 動力電 , 高峰 , /月 C 6列 動力電 , 高峰 , /月 D 條件 測試用例 預(yù)期結(jié)果 組合 (輸入數(shù)據(jù) ) (輸出動作 ) 為判定表每一列設(shè)計一個測試用例 : 因果圖方法實例 1(續(xù) ) 2021/11/10 Shy 121 某軟件規(guī)格說明中規(guī)定： 輸入兩個字符 , 當?shù)谝粋€字符是 A或 B，且第二個字符是數(shù)字時修改文件。 (4)把因果圖轉(zhuǎn)化為判定表 。 (2)分析語義，找出原因與結(jié)果、原因與原因之間的關(guān)系，畫出因果圖。因果圖方法最終生成的是判定表。有經(jīng)驗的測試人員往往根據(jù)經(jīng)驗與直覺，例舉出程序中可能有的錯誤和容易發(fā)生錯誤的特殊情況，根據(jù)它們選擇測試用例，實行高效的測試。 (如 : ) 由于輸入值的邊界不與輸出值的邊界相對應(yīng)，所以要檢查輸出值的邊界及產(chǎn)生超出輸出值值域的結(jié)果不一定可能。 三 黑盒法 (續(xù) ) 2021/11/10 Shy 111 邊界值分析設(shè)計測試用例原則 例：程序中定義一數(shù)組，其元素下標的下界是 0，上界是 100，則應(yīng)選擇達到這個數(shù)組下標邊界的值，如 0與100作為測試用例。 (4)如程序數(shù)據(jù)結(jié)構(gòu)有預(yù)定的邊界，應(yīng)測試其邊界的數(shù)據(jù)項。 三 黑盒法 (續(xù) ) 2021/11/10 Shy 108 邊界值分析設(shè)計測試用例原則 例：郵件收費規(guī)定 1～ 5 kg收費 2元 則應(yīng)設(shè)計測試用例 : ， 1， 5， kg 或 ， 1， 5， kg。 (2)邊界值分析不僅考慮 輸入條件，還要考慮輸 出空間產(chǎn)生的測試情況 三 黑盒法 (續(xù) ) 被測試 子 域 測試內(nèi)點 測試外點 2021/11/10 Shy 107 2 邊界值分析法 (續(xù) ) ? 設(shè)計測試用例原則 ： (1)如輸入條件代表以 a和 b為邊界的范圍，測試用例應(yīng)包含 a、 b、略大于 a和略小于 b的值。 則，應(yīng)設(shè)計 四個 有效等價類（四個職稱每個值為一類）；一個無效等價類（四個職稱之外的任意值）。 則，可以設(shè)計 一個 有效等價類（取四個職稱中的一個值）；一個無效等價類（四個職稱之外的任意值）。 (6)如已劃分的等價類各元素在程序中的處理方式不同 ， 則應(yīng)將此等價類進一步劃分成更小的等價類 。 三 黑盒法 (續(xù) ) 2021/11/10 Shy 95 1 等價分類法 (續(xù) ) ? 劃分等價類的規(guī)則 (4)如果規(guī)定了輸入條件必須遵守的規(guī)則，則可劃分一個有效等價類 (符合規(guī)則 )和若干個無效等價類 (從不同角度違反規(guī)則 )。 例 輸入條件規(guī)定： 項數(shù)可從 1到 999 三 黑盒法 (續(xù) ) 1 999 有效 等價類 無效 等價類 999 無效 等價類 1 2021/11/10 Shy 94 1 等價分類法 (續(xù) ) ? 劃分等價類的規(guī)則 (2)如果輸入條件代表集合的某個元素，則可定義一個有效等價類和一個無效等價類。 二 白盒法 (續(xù) ) 2021/11/10 Shy 90 7 點覆蓋 測試路徑至少經(jīng)過程序控制流圖 中每個節(jié)點一次 執(zhí)行路徑 : abdghi和 aceghi 滿足點覆蓋 S 1 2 3 4 5 6 E a c b d f e g h i 二 白盒法 (續(xù) ) 2021/11/10 Shy 91 8 邊覆蓋 測試路徑至少經(jīng)過程序控制流圖 中每條邊一次 . 執(zhí)行路徑 : abdfi和 aceghi 滿足邊覆蓋 ― 邊覆蓋與路徑覆蓋不同 S 1 2 3 4 5 6 E a c b d f e g h i 二 白盒法 (續(xù) ) 2021/11/10 Shy 92 1 等價分類法 ? 等價分類法的基本思想是將所有可能的輸入數(shù)據(jù) (有效的和無效的 )劃分成若干個等價的子集 (稱為等價類 )， 使得每個子集中的一個典型值在測試中的作用與這一子集中所有其它值的作用相同 . 可從每個子集中選取一組數(shù)據(jù)來測試程序。 二 白盒法 (續(xù) ) 2021/11/10 Shy 87 5 條件組合覆蓋 (續(xù) ) ? 上例中， 測試用例 通過 滿足的 覆蓋 A B X 路徑 條件 分支 2 0 3 ace T1,T2,T3,T4 c,e 2 1 1 abe T1,T2,T3,T4 b,e 0 0 1 abe T1,T2,T3,T4 b,e 0 1 0 abd T1,T2,T3,T4 b,d 2 0 2 ace T1,T2,T3,T4 c,e 2 1 1 abe T