【正文】 基本思想： 根據程序的 I/O特性 ， 將程序的定義域劃分為有限個等價區(qū)段 —“ 等價類 ” ， 從等價類中選擇出的用例 ， 具有 “ 代表性 ” 。 判定 /條件覆蓋 同時滿足判斷覆蓋和條件覆蓋。 A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 Y N Y N 邏輯結構 語句覆蓋 使得程序中每個語句至少都能被執(zhí)行一次。 3）選擇確定測試用例。 白盒法 常用的覆蓋標準 白盒法步驟： 例：用 白盒法測試以下程序段： Procedure（ VAR A， B， X： REAL）； BEGIN IF （ A1) AND (B=0) THEN X:=X/A 。 ② 判定覆蓋 ： 執(zhí)行足夠的測試用例，使得程序中每個判定至少都獲得一次 “ 真 ” 值和 “ 假 ” 值。 常用的方法： 白盒法 分析程序的內部邏輯結構 ， 注意選擇適當的覆蓋標準 ， 設計測試用例 ， 對主要路徑進行盡可能多的測試 。 READY Y0 N X:=Y X0 Y N Y 調用子程序 A B C D E 即執(zhí)行 ABC后，是不可能執(zhí)行路徑CDE的。 四、測試的基本步驟 模塊測試 整體測試 功能測試 預測試 系統(tǒng)測試 驗收測試 安裝測試 概要設計審查 詳細設計審查 代碼審查 測試 (單元測試） （組裝測試） （有效性測試） （確認測試） { { 2 軟件測試方法 軟件測試方法分為兩類：靜態(tài)分析、動態(tài)測試 一、靜態(tài)分析方法 指以人工的 、 非形式化的方法對程序進行分析和測試 。 關鍵是注重測試用例的選擇。所有的測試數據組（ Xi， Yi） 的數目為： 2 2 = 2 1毫秒執(zhí)行 1次，共需 5億年。 二、軟件測試的 特點 軟件測試的開銷大 按照 Boehm的統(tǒng)計，軟件測試的開銷大約占總成本的 30%50%。1軟件測試的基本概念 一、軟件測試的目的和重要性 因為開發(fā)工作的前期不可避免地會引入錯誤，測試的 目的是為了發(fā)現和改正錯誤 ，這對于某些涉及人的生命安全或重要的軍事、經濟目標的項目顯得尤其重要。例如： APPOLLO登月計劃，80%的經費用于軟件測試。 32 32 64 P X Y Z 二、軟件測試的 特點 — 結論 軟件測試難度大 根據上述分析，既然不能進行 “窮舉”測試，又要查出盡可能多的錯誤，軟件測試工作的難度大。 輸入數據的組成（輸入數據、預期的輸出結果） 既有合理輸入數據，也有不合理的輸入數據。 桌前檢查 代碼會審 步行檢查 步行檢查時，還常使用以下分析方法： ① 調用圖 從語義的角度考察程序的控制路線。 ② 數據流分析圖 節(jié)點 —表示單個語句。 黑盒法 不考慮程序的內部結構與特性 ， 只根據程序功能或程序的外部特性設計測試用例 。 ③ 條件覆蓋 ：執(zhí)行足夠的測試用例 ， 使得判定中的每個條件獲得各種可能的結果 。 IF (A=2) OR (X1) THEN X:=X+1 END。 4）驗證分析運行結果與預期結果。 A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 a b c d e 滿足語句覆蓋的情況： 執(zhí)行路徑： ace 選擇用例： [(2,0,4),(2,0,3)] 用例格式： [輸入 (A,B,X)，輸出 (A,B,X)] Y N Y N 判定覆蓋 使得程序中每個判定至少為TRUE 或 FALSE各一次。 A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 a b c d e 應滿足以下覆蓋情況： 條件 : A1, A≤1, B=0, B≠0 A=2, A≠2, X1, X≤1 應執(zhí)行路徑 ace ∧ abd 或： acd ∧ abe 選擇用例： [(2,0,4),(2,0,3)]（ ace) [(1,1,1),(1,1,1)] (abd) Y Y N N 條件組合覆蓋 使得每個判定中條件的各種可能組合都至少出現一次。 等價類分為： 有效等價類 — 對于程序的規(guī)格說明是合理的 、有意義的輸入數據構成的集合 。 可以劃分兩個無效等價類：未選修課 ， 選修課超過 3門 。 ① 劃分 “ 等價類 ” 顯然 ， 關鍵是 如何劃分等價類 A、 為每個等價類編號； B、 使一個測試用例盡可能覆蓋多個有效等價類 C、 特別要注意的是：一個測試用例只能覆蓋一個無效等價類 。 邊界 選擇原則： A、 按照輸入值范圍的邊界。 A、 按照輸入值范圍的邊界 。 C、 輸出值域的邊界 。 應選擇第一個元素和最后一個元素 。 輸入條件 合理的等價類 不合理的等價類 數組描述的個數 1個（ 1）、多于 1個（ 2） 沒有數組描述（ 3） 數組名的字符數 1—6個（ 4） 0（ 5）， 6（ 6） 數組名 有字母（ 7）有數字（ 8） 有其他字符（ 9） 數組名的第 1個字符為字母 是（ 10） 不是（ 11） 維數 1—7（ 12） 0（ 13）， 7（ 14） 上界 常數（ 15） 數組元素名（ 16 40 個等價類 錯誤推測法 憑經驗或直覺推測可能的錯誤，列出程序中可能有的錯誤和容易發(fā)生錯誤的特殊情況，選擇測試用例。 因果圖法 因果圖法（ cause effcet graphicei） ⑴ 因果圖的基本符號 0 表示“不出現” 1 表示“出現” 恒等 若 a為 1，則 b為 1，否則 b為 0。 a b a b a b d ∨ a b d ∧ 因果圖法 （ cause effcet graphicei） 對 “ 與 ” 、 “ 或 ” 函數的限制符號 E約束（異） — 排斥 即 a、 b不能同時為 1。 a b E a b c I a b R a b O a b M ⑵ 因果圖法的步驟 分析規(guī)范，即將問題分為若干可工作的步驟。 分析規(guī)范語義、內容，轉換為因果圖。 ①、分析規(guī)范 原 因 結 果 1 — 第一列字符為 A 50—修改文件 2 — 第一列字符為 B 51—發(fā)信息 X12 3 — 第二列字符為數字 52—發(fā)信息 X13 ②畫出因果圖 中間結點 是導出結果的進一步原因 。測試過程通?？煞?4步進行： 單元 測試 單元 測試 單元 測試 被測模塊 被測模塊 集成 測試 設計信息 已測試的模塊 確認 測試 已集成的模塊 軟件需求 系統(tǒng) 測試 已確認的軟件 可交付的軟件 系統(tǒng)其他元素 一、模塊測試 （ Module Testing） 測試內容 模塊 模塊接口測試 局部數據結構測試 重要路徑測試 錯誤處理測試 邊界條件測試 I/O 參數值的個數、類型、次序、格式是否正確， I/O文件屬性、操作是否正確等。 重要 路徑通常是指完成模塊功能的主要路徑，一般是控制結構。 一般，驅動模塊比樁模塊容易設計。組裝方案分為 漸增式 及 非漸增式。 兩種方案： 設計驅動模塊或樁模塊，對每一個新組裝的子 系統(tǒng)進行測試，對發(fā)現問題較多的子系統(tǒng)或模 塊應該用白盒法作回歸測試。 M5 M6 第四步 ， 依次用模塊 M5和M6替代樁模塊 S S5， 并同時進行新的測試 。