【正文】 ware Configuration Item） 快速增加和變化 。 三、確認(rèn)測試 (validation testing) 任務(wù) 又稱為有效性測試或功能測試。 混合增值 常見的 混合增值方案： 衍變的自頂而下 先自底而上集成子系統(tǒng)，再自頂而下集成總系統(tǒng)。 自底而上 增值 優(yōu)點(diǎn)：驅(qū)動模塊較容易編寫樁模塊，能夠盡早查出底層涉及較復(fù)雜的算法和實(shí)際的 I/O模塊中的錯誤。 D6深度優(yōu)先與寬度優(yōu)先 無論是 自頂而下增值還是自底而上增值，還可選擇 深度優(yōu)先 或者 寬度優(yōu)先 增值。 自底而上 增值 M3 M6 M5 D1 D2 D3 M2 M4 M1 第四步 ， 把已測試的子系統(tǒng)按程序結(jié)構(gòu)連接起來完成程序整體的組裝測試 。 M2 M3 M4 第二步 ， 依次用 M MM4替代樁模塊 S S S3，每替代一次進(jìn)行一次測試 。 也稱為 聯(lián)合測試 或 集成測試， 重點(diǎn)測試模塊的接口部分，需設(shè)計測試過程使用的驅(qū)動模塊或樁模塊。測試方法以白盒法為主。 驅(qū)動模塊 （ driver） — 模擬主程序功能，用于向被測模塊傳遞數(shù)據(jù)，接收、打印從被測模塊返回的數(shù)據(jù)。 檢查“錯誤處理程序”本身的錯誤。 11 11 ∨ 51 50 3 52 ∧ 1 2 E 發(fā) X 12 發(fā) X 13 修改文件 ③將因果圖轉(zhuǎn)換為判斷表 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 3 軟件測試的步驟 測試步驟及策略 所有測試過程都應(yīng)采用綜合測試策略；即先 作靜態(tài)分析，再作動態(tài)測試。滿足則修改文件。 原因 —輸入條件 結(jié)果 —輸出或系統(tǒng)變換 將因果圖轉(zhuǎn)換為有限項(xiàng)判斷表。 O約束（唯一 ） — 選一 a、 b中僅有一個為 1。 “ 或 ” 函數(shù) 若 a或 b為 1，則 d為 1，否則 d為 0。 根據(jù)這種關(guān)系可選擇高效的測試用例 。 語句格式為： DIMENSION ad[,ad] … ad為數(shù)組描述符， 形式為 n（ d[,] … 其中： n－ 數(shù)組名 ， 字母打頭的字母數(shù)字串 ， 長 6。 設(shè)計用例：可檢索 0篇 、1篇 、 4篇 ， 和 5篇 （ 錯誤 ） 。 B、 按照輸入 /輸出值個數(shù)的邊界 。 C、 輸出值域的邊界。 分析步驟： A、 先劃分等價類。 可以劃分為一個有效等價類：第一個字符是字母 。 等價分類法步驟 應(yīng) 按照輸入條件 （ 如輸入值的范圍 ， 值的個數(shù) ， 值的集合 ， 輸入條件必須如何 ） 劃分為有效等價類和無效等價類 。 滿足以下覆蓋情況： ① 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è)計測試用例。 應(yīng)滿足以下覆蓋情況： 判定一 : A1, A≤1, B=0, B≠0 判定二 : A=2, A≠2, X1, X≤1 選擇用例： [(2,0,4),(2,0,3)] [(1,1,1),(1,1,1)] N N Y Y A≤1A≠2 B=0 X1 B≠0 X≤1 注意 :[(1,0,3),(1,0,4)] [(2,1,1),(2,1,2)] 滿足條件覆蓋，但不滿足判斷覆蓋。 IF (A=2) OR (X1) THEN X:=X+1 END。 2）按照覆蓋標(biāo)準(zhǔn)列出所有情況。 ⑤ 條件組合覆蓋 ： 執(zhí)行足夠的例子 ， 使得每個判定中條件的各種可能組合都至少出現(xiàn)一次 。 語 句 覆 蓋 判 定 覆 蓋 條 件 覆 蓋 判 定 條 件 覆 蓋 條 件 組 合 覆 蓋 弱 強(qiáng) ① 語句覆蓋 ： 選擇足夠的測試用例 ， 使得程序中每個語句至少都能被執(zhí)行一次 。 d — 定義 r — 引用 u — 未引用 R： duuuuu S ： uruuur Y： uuddru R= W=1/S Y=A**W Y=E*W Z=X+Y C=Z*S 1 2 3 4 5 6 只定義不用 未定義引用 連續(xù)定義 二、動態(tài)測試方法 （ 1） 通過選擇適當(dāng)?shù)臏y試用例，執(zhí)行程序。 ① 調(diào)用圖 無論 Y 為何值，都不能夠調(diào)用子程序 。 長期保存測試用例。 盡量不由程序設(shè)計者進(jìn)行測試。但這是不可能的： 例：程序 P有兩個整型輸入量 X、 Y， 輸出量為 Z，在 32位機(jī)上運(yùn)行。 1967年蘇聯(lián)“聯(lián)盟一號”宇宙飛船返回時因忽略一個小數(shù)點(diǎn)，在進(jìn)入大氣層時打不開降落傘而燒毀。 1963年美國飛往火星的火箭爆炸，原因是FORTRAN程序： DO 5 I=1， 3 誤寫為： DO 5 I=1. 3 損失 1000萬美元。 不能進(jìn)行“窮舉”測試 只有將所有可能的情況都測試到，才有可能檢查出所有的錯誤。只有選擇 — “高效的測試用例” 什么是 “高效的測試用例” ？ 如何選擇 “高效的測試用例” ？ 這就是本章討論的主要問題?。。? 三、軟件測試的基本原則 充分注意測試中的群集現(xiàn)象。 用例既能檢查應(yīng)完成的任務(wù)，也能夠檢查不應(yīng)該完成的任務(wù)。 ② 數(shù)據(jù)流分析圖 檢查分析變量的定義和引用情況。 有向邊 —表示控制結(jié)構(gòu)。 白盒法 白盒法又稱為邏輯覆蓋法，其測試用例選擇，是按照不同覆蓋標(biāo)準(zhǔn)確定的。 ④ 判定 /條件覆蓋 ： 執(zhí)行足夠的測試用例 ， 使得判定中每個條件取到各種可能的值 ， 并使每個判定取到各種可能的結(jié)果 。 1）選擇邏輯覆蓋標(biāo)準(zhǔn)。 邏輯結(jié)構(gòu) 白盒法舉例 Procedure （ VAR A,B,X:REAL）； BEGIN IF（ A1) AND (B=0) THEN X:=X/A 。 A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 a b c d e 覆蓋情況： 應(yīng)執(zhí)行路徑 ace ∧ abd 或： acd ∧ abe 選擇用例 (其一）： ⑴ [(2,0,4),(2,0,3)] ace [(1,1,1),(1,1,1)] abd ⑵ [(2,1,1),(2,1,2)] abe [(3,0,3),(3,1,1)] acd Y Y N N 條件覆蓋 A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 a b c d e 使得判定中的每個