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