【正文】 取真為 ，取假為 測試用例 覆蓋分支 條件取值 【 (2, 0, 4)， (2, 0, 3)】 L1(c, e) 【 (1, 0, 1)， (1, 0, 1)】 L2(b, d) 【 (2, 1, 1)， (2, 1, 2)】 L3(b, e) 或 T3 T34T4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4 測 試 用 例 覆蓋分支 條件取值 【 (1, 0, 3)， (1, 0, 4)】 L3(b, e) 【 (2, 1, 1)， (2, 1, 2)】 L3(b, e) 判定－條件覆蓋 ?判定－條件覆蓋就是設(shè)計足夠的測試用例，使得 判斷中每個條件的所有可能取值至少執(zhí)行一次 ，同時 每個判斷中的每個條件的可能取值至少執(zhí)行一次 。 記 ① A＞ 1, B＝ 0 作 ② A＞ 1, B≠0 作 ③ A≯ 1, B＝ 0 作 ④ A≯ 1, B≠0 作 T T1 2T T1 2T T1 2T T1 2 ⑤ A＝ 2, X＞ 1 作 ⑥ A＝ 2, X≯ 1 作 ⑦ A≠2, X＞ 1 作 ⑧ A≠2, X≯ 1 作 測 試 用 例 覆蓋條件 覆蓋組合 【 (2, 0, 4), (2, 0, 3)】 (L1) ① , ⑤ 【 (2, 1, 1), (2, 1, 2)】 (L3) ② , ⑥ 【 (1, 0, 3), (1, 0, 4)】 (L3) ③ , ⑦ 【 (1, 1, 1), (1, 1, 1)】 (L2) ④ , ⑧ T T3 4T T3 4T T3 4T T3 4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4路徑測試 ? 路徑測試就是設(shè)計足夠的測試用例， 覆蓋程序中所有可能的路徑 。 ? 對于 嵌套型分支結(jié)構(gòu) ，若有 n個判定語句，需要 n+1個測試用例； ? 對于 連鎖型分支結(jié)構(gòu) ， 若有 n個判定語句，需要有 2n個測試用例，覆蓋它的 2n條路徑。 循環(huán)測試路徑選擇 ?循環(huán)分為 4種不同類型： 簡單循環(huán) 、連鎖循環(huán) 、 嵌套循環(huán) 和 非結(jié)構(gòu)循環(huán) 。 ? for ( j = i+1。 j++ ) ? ? ? if ( A[j] A[k] ) then k = j。所有其它層的循環(huán)變量置為最小值 ② 逐步外推，對其外面一層循環(huán)進行測試。但如果幾個循環(huán)不 是互相獨立 的，則需要使用測試嵌套循環(huán)的辦法來處理。 黑盒測試的測試用例設(shè)計 – 等價類劃分 – 邊界值分析 – 錯誤推測法 – 因果圖 等價類劃分 ? 等價類劃分是一種典型的黑盒測試方法，使用這一方法時， 完全不考慮程序的內(nèi)部結(jié)構(gòu) ， 只依據(jù)程序的規(guī)格說明來設(shè)計測試用例 。 ? 使用這一方法設(shè)計測試用例要經(jīng)歷劃分等價類 （列出等價類表）和 選取測試用例 兩步。在該子集合中， 各個輸入數(shù)據(jù)對于揭露程序中的錯誤都是等效的 。 ? 等價類的劃分有兩種不同的情況： ① 有效等價類 ：是指對于程序的規(guī)格說明來說，是合理的，有意義的輸入數(shù)據(jù)構(gòu)成的集合。 ? 在設(shè)計測試用例時，要同時考慮有效等價類和無效等價類的設(shè)計。 ? 例如，在程序的規(guī)格說明中，對輸入條件有一句話： “ …… 項數(shù)可以從 1到 999 …… ” 則有效等價類是“ 1≤項數(shù) ≤999” 兩個無效等價類是“項數(shù)＜ 1”或“項 數(shù)＞ 999”。 ? 例如，在 Pascal語言中對變量標(biāo)識符規(guī)定為“以字母打頭的 ……串”。 (3) 如果輸入條件是一個布爾量，則可以確定一個有效等價類和一個無效等價類。這時可為 每一個輸入值確立一個有效等價類，此外針對這組值確立一個無效等價類，它是所有不允許的輸入值的集合。因此可以確定 4個有效等價類為教授、副教授、講師和助教，一個無效等價類，它是所有不符合以上身分的人員的輸入值的集合。 ? 例如， Pascal語言規(guī)定 “一個語句必須以分號‘ 。這時，可以確定一個有效等價類 “以‘ 。 ? 確立測試用例 在確立了等價類之后，建立等價類表，列出所有劃分出的等價類。 ? 用等價類劃分法設(shè)計測試用例的實例 在某一 PASCAL語言版本中規(guī)定：“ 標(biāo)識符是由字母開頭 ， 后跟字母或數(shù)字的任意組合構(gòu)成 ?！? 并且規(guī)定：“ 標(biāo)識符必須先說明 ，再使用 ?！? 用等價類劃分的方法，建立輸入等價類表 : ? 下面選取了 9個測試用例，它們覆蓋了所有的等價類。 (5) ④ VAR T12345678： REAL； (6) ⑤ VAR T12345......： REAL； (7) 多于 80個字符 ⑥ VAR T$： CHAR； (10) ⑦ VAR GOTO： INTEGER； (11) ⑧ VAR 2T： REAL； (13) ⑨ VAR PAR： REAL； (15) BEGIN ...... PAP := SIN ( * ) / 6； 邊界值分析 ? 邊界值分析也是一種黑盒測試方法，是對等價類劃分方法的補充。因此針對各種邊界情況設(shè)計測試用例，可以查出更多的錯誤 。 我們應(yīng)注意到這三個數(shù)值應(yīng)當(dāng)滿足 A＞ 0、 B＞ 0、 C＞ 0、 A＋ B＞ C、 A＋ C＞ B、 B＋ C＞ A，才能構(gòu)成三角形。問題恰出現(xiàn)在容易被疏忽的邊界附近。 ? 使用邊界值分析方法設(shè)計測試用例，首先應(yīng)確定邊界情況。 錯誤推測法 ?人們也可以靠 經(jīng)驗和直覺 推測程序中可能存在的各種錯誤，從而有針對性地編寫檢查這些錯誤的例子。 ?錯誤推測法的基本想法是： 列舉出程序中所有可能有的錯誤和容易發(fā)生錯誤的特殊情況，根據(jù)它們選擇測試用例 。 因果圖方法最終生成的就是判定表。 ? 用因果圖生成測試用例的基本步驟 (1) 分析軟件規(guī)格說明描述中，哪些是原因 (即輸入條件或輸入條件的等價類 )，哪些是結(jié)果 (即輸出條件 )，并給每個原因和結(jié)果賦予一個標(biāo)識符。 (3) 由于語法或環(huán)境限制，有些原因與原因之間，原因與結(jié)果之間的組合情況不可能出現(xiàn)。 (4) 把因果圖轉(zhuǎn)換成判定表。 ? 在因果圖中出現(xiàn)的基本符號 通常在因果圖中用 Ci表示原因，用 Ei表示結(jié)果，各結(jié)點表示狀態(tài)，可取值“ 0”或“ 1”。 ? 主要的原因和結(jié)果之間的關(guān)系有 : ? 表示約束條件的符號 為了表示原因與原因之間，結(jié)果與結(jié)果之間可能存在的約束條件，在因果圖中可以附加一些表示約束條件的符號。其規(guī)格說明如下： 若 投入 5角錢或 1元錢的硬幣 ， 押下 〖 橙汁 〗 或 〖 啤酒 〗 的按鈕，則相應(yīng)的飲料就送出來?！? (1) 分析這一段說明，列出原因和結(jié)果 原因 : 1. 售貨機有零錢找 2. 投入 1元硬幣 3. 投入 5角硬幣 4. 押下橙汁按鈕 5. 押下啤酒按鈕 建立中間結(jié)點，表示處理中間狀態(tài) 11. 投入 1元硬幣且押下飲料按鈕 12. 押下〖橙汁〗或〖啤酒〗的按鈕 13. 應(yīng)當(dāng)找 5角零錢并且售貨機有零錢找 14. 錢已付清 結(jié)果： 21. 售貨機〖零錢找完〗燈亮 22. 退還 1元硬幣 23. 退還 5角硬幣 24. 送出橙汁飲料 25. 送出啤酒飲料 (2) 畫出因果圖。 (3) 由于 2 與 3 ， 4 與 5 不能同時發(fā)生， 分別加上約束條件 E。 ? 開始是 單元測試 ，集中對用源代碼實現(xiàn)的每一個程序單元進行測試，檢查各個程序模塊是否正確地實現(xiàn)了規(guī)定的功能。 ? 確認(rèn)測試 則是要檢查已實現(xiàn)的軟件是否滿足了需求規(guī)格說明中確定了的各種需求，以及軟件配置是否完全、正確。 單元測試 (Unit Testing) ? 單元測試又稱模塊測試， 是針對軟件設(shè)計的最小單位 ─ 程序模塊 ， 進行正確性檢驗 的測試工作。 ? 單元測試需要 從程序的內(nèi)部結(jié)構(gòu)出發(fā)設(shè)計測試用例 。 1. 單元測試的內(nèi)容 ?在單元測試時，測試者需要依據(jù)詳細設(shè)計說明書和源程序清單，了解該模塊的 I/O條件和模塊的邏輯結(jié)構(gòu)，主要采用白盒測試的測試用例，輔之以黑盒測試的測試用例，使之對任何合理的輸入和不合理的輸入，都能鑒別和響應(yīng)。測試項目包括： – 調(diào)用本模塊的輸入?yún)?shù)是否正確； – 本模塊調(diào)用子模塊時輸入給子模塊的參數(shù)是否正確； – 全局量的定義在各模塊中是否一致； ? 在做 內(nèi)外存交換 時要考慮： – 文件屬性是否正確； – OPEN與 CLOSE語句是否正確； – 緩沖區(qū)容量與記錄長度是否匹配； – 在進行讀寫操作之前是否打開了文件； – 在結(jié)束文件處理時是否關(guān)閉了文件； – 正文書寫／輸入錯誤， – I／ O錯誤是否檢查并做了處理。 ? 應(yīng)當(dāng)設(shè)計測試用例查找由于 錯誤的計算 、 不正確的比較 或 不正常的控制流 而導(dǎo)致的錯誤。 (4) 錯誤處理測試 ? 出錯的描述是否難以理解 ? 出錯的描述是否能夠?qū)﹀e誤定位 ? 顯示的錯誤與實際的錯誤是否相符 ? 對錯誤條件的處理正確與否 ? 在對錯誤進行處理之前，錯誤條件是否已經(jīng)引起系統(tǒng)的干預(yù)等 (5) 邊界測試 ? 注意數(shù)據(jù)流、控制流中剛好等于、大于或小于確定的比較值時出錯的可能性。 ? 如果對模塊運行時間有要求的話，還要專門進行關(guān)鍵路徑測試，以確定 最壞情況下和平均意義下 影響模塊運行時間的因素。 – 驅(qū)動模塊 (driver) – 樁模塊 (stub) ── 存根模塊 驅(qū)動