【正文】 d 或： acd ∧ abe 選擇用例： [(2,0,4),(2,0,3)]（ ace) [(1,1,1),(1,1,1)] (abd) Y Y N N 條件組合覆蓋 使得每個判定中條件的各種可能組合都至少出現(xiàn)一次。 A1 X:=X/A A=2 X:=X+1 a b c d e B=0 X1 Y N Y N Y N Y N 編譯系統(tǒng)下的執(zhí)行情況： 部分路徑未被執(zhí)行。 滿足以下覆蓋情況： ① A1, B =0 ② A1, B≠0 ③ A≤1, B =0 ④ A≤1, B≠0 ⑤ A=2, X1 ⑥ A=2, X≤1 ⑦ A≠2, X1 ⑧ A≠2, X≤1 選擇用例： [(2,0,4),(2,0,3)] ① ⑤ [(2,1,1),(2,1,2)] ② ⑥ [(1,0,3),(1,0,4)] ③ ⑦ [(1,1,1),(1,1,1)] ④ ⑧ 二、動態(tài)測試方法 （ 2） 等 價 分 類 法 邊 值 分 析 法 錯 誤 推 測 法 因 果 圖 法 (2)黑盒法 不考慮程序的內(nèi)部結(jié)構(gòu)與特性，只根據(jù)程序功能或程序的外部特性設(shè)計測試用例。 1. 等價分類法 基本思想： 根據(jù)程序的 I/O特性，將程序的定義域劃分為有限個等價區(qū)段 —“ 等價類 ”，從等價類中選擇出的用例，具有“ 代表性 ”。 等價類分為： 有效等價類 — 對于程序的規(guī)格說明，是合理的、有意義的輸入數(shù)據(jù)構(gòu)成的集合。 無效等價類 —對于程序的規(guī)格說明，是不合理的、沒有意義的輸入數(shù)據(jù)構(gòu)成的集合。 等價分類法步驟 應(yīng)按照輸入條件 （ 如輸入值的范圍 ， 值的個數(shù) ， 值的集合 ， 輸入條件必須如何 ） 劃分為有效等價類和無效等價類 。 例如：每個學(xué)生可選修 13門課程 可以劃分一個有效等價類：選修 13門課程 。 可以劃分兩個無效等價類：未選修課 ， 選修課超過 3門 。 ① 劃分 “ 等價類 ” 顯然 ， 關(guān)鍵是 如何劃分等價類 A 為每個等價類編號； B 使一個測試用例盡可能覆蓋多個有效等價類 C 特別要注意 :一個測試用例只能覆蓋一個無效等價類 。 ② 選擇測試用例 等價分類法步驟 2. 邊值分析法 基本思想： 選擇等價類的邊緣值作為測試用例，讓每個等價類的邊界都得到測試，選擇測試用例既考慮 輸入 亦考慮 輸出 。 分析步驟： A 先劃分等價類。 B 選擇測試用例，測試等價類邊界。 邊界 選擇原則： A 按照輸入值范圍的邊界。 B 按照輸入 /輸出值個數(shù)的邊界。 C 輸出值域的邊界。 D 輸入 /輸出有序集的邊界。 A 按照輸入值范圍的邊界 。 例如：輸入值的范圍是 ， 則可選擇用例 : –、 、 、 。 B 按照輸入 /輸出值個數(shù)的邊界 。 例如：輸入文件可有 1255個記錄 ， 則 設(shè)計用例：文件的記錄數(shù)為 0個 、 1個 、 255個 、 256個 。 C 輸出值域的邊界 。 例如：檢索文獻(xiàn)摘要 ， 最多 4篇 。 設(shè)計用例：可檢索0篇 、 1篇 、 4篇 ， 和 5篇 （ 錯誤 ） 。 D 輸入 /輸出有序集 （ 如順序文件 、 線性表 ） 的邊界 。 應(yīng)選擇第一個元素和最后一個元素 。 邊值分析法舉例 黑盒法應(yīng)用實例 對 FORTRAN編譯系統(tǒng)中的 DIMENSION語句進(jìn)行測試。 語句格式為： DIMENSION ad[,ad] … ad為數(shù)組描述符， 形式為 n（ d[,] … 其中： n－ 數(shù)組名 ， 字母打頭的字母數(shù)字串 ， 長 6。 D為界偶 （ 17個 ） ： [ld:]nd ld 和 nd 的值為 165535， ld缺省為 1。 輸入條件 合理的等價類 不合理的等價類 數(shù)組描述的個數(shù) 1個（ 1）、多于 1個（ 2） 沒有數(shù)組描述（ 3） 數(shù)組名的字符數(shù) 1—6個（ 4） 0（ 5）， 6（ 6） 數(shù)組名 有字母（ 7）有數(shù)字（ 8） 有其他字符（ 9） 數(shù)組名的第 1個字符為字母 是（ 10） 不是（ 11） 維數(shù) 1—7（ 12） 0（ 13）， 7（ 14） 上界 常數(shù)（ 15） 數(shù)組元素名（ 16 40 個等價類 憑經(jīng)驗或直覺推測可能的錯誤，列出程序中可能有的錯誤和容易發(fā)生錯誤的特殊情況，選擇測試用例。 把輸入條件視為 “ 因 ” ，把輸出條件視為“ 果 ” ，將黑盒看成是從因到果的網(wǎng)絡(luò)圖，采用邏輯圖的形式來表達(dá)功能說明書中輸入條件的各種組合與輸出的關(guān)系。根據(jù)這種關(guān)系可選擇高效的測試用例。 因果圖是一種形式化語言，是一種組合邏輯 網(wǎng)絡(luò)圖。 （ cause effcet graphicei） ⑴ 因果圖的基本符號 0 表示“不出現(xiàn)” 1 表示“出現(xiàn)” 恒等 若 a為 1，則 b為 1，否則 b為 0。 “ 非 ” 函數(shù) 若 a為 1，則 b為 0，否則 b為 1。 “ 或 ” 函數(shù) 若 a或 b為 1，則 d為 1，否則 d為 0。 “ 與 ” 函數(shù) 若 a與 b同為 1，則 d為 1，否則 d為 0。 a b a b a b d ∨ a b d ∧ （ cause effcet graphicei） 對 “ 與 ” 、 “ 或 ” 函數(shù)的限制符號 E約束（異） — 排斥 即 a、 b不能同時為 1。 I約束（或） — 包容 a、 b、 c不能同時為 0。 O約束（唯一 ） — 選一 a、 b中僅有一個為 1。 R約束（要求 ） — 需要 a為 1時， b必須為 1 M約束（強制 ） — 屏蔽 若 a為 1時，則 b強制為 1。 a b E a b c I a b R a b O a b M ⑵ 因果圖法的步驟 分析規(guī)范，即將問題分為若干可工作的步驟。 標(biāo)識出規(guī)范中的原因與結(jié)果。 原因 —輸入條件 結(jié)果 —輸出或系統(tǒng)變換 將因果圖轉(zhuǎn)換為有限項判斷表。 將判斷表的每一列，轉(zhuǎn)換為一個測試用例。 分析規(guī)范語義、內(nèi)容，轉(zhuǎn)換為因果圖。 ⑶ 因果圖法應(yīng)用舉例 規(guī)范：文件名第一列字符必須為 A或 B， 第二列字 符必須為數(shù)字。滿足則修改文件。第一字符不正 確發(fā)出信息 X12， 第二個字符不正確發(fā)出信息 X13。 原 因 結(jié) 果 1 — 第一列字符為 A 50—修改文件 2 — 第一列字符為 B 51—發(fā)信息 X12 3 — 第二列字符為數(shù)字 52—發(fā)信息 X13 中間結(jié)點 是導(dǎo)出結(jié)果的進(jìn)一步原因 。 考慮到原因 2不可能同時為 1，加上 E約束。 11 11 ∨ 51 50 3 52 ∧ 1 2 E 發(fā) X 12 發(fā) X 13 修改文件 1 2 3 4 5 6 7 8 條 件 原 因 ① 1 1 1 1 0 0 0 0 ② 1 1 0 0 1 1 0 0 ③ 1 0 1 0 1 0 1 0 1 1 1 1 0 0 動 作 結(jié) 果 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 1 測試用例 A3 A8 AMA？ B5 B4 BNB！ C2X6 DYPI 11 51 50 52 軟件測試的步驟 測試步驟及策略 所有測試過程都應(yīng)采用綜合測試策略；即先 作靜態(tài)分析，再作動態(tài)測試。并事先制訂測試計 劃。測試過程通?？煞?4步進(jìn)行： 單元 測試 單元 測試 單元 測試 被測模塊 被測模塊 集