【正文】 :REAL）； BEGIN IF（ A1) AND (B=0) THEN X:=X/A 。 1）選擇邏輯覆蓋標(biāo)準(zhǔn)。 ④ 判定 /條件覆蓋 ： 執(zhí)行足夠的測試用例 ， 使得判定中每個(gè)條件取到各種可能的值 ， 并使每個(gè)判定取到各種可能的結(jié)果 。 白盒法 白盒法又稱為邏輯覆蓋法，其測試用例選擇，是按照不同覆蓋標(biāo)準(zhǔn)確定的。 有向邊 —表示控制結(jié)構(gòu)。 ② 數(shù)據(jù)流分析圖 檢查分析變量的定義和引用情況。 用例既能檢查應(yīng)完成的任務(wù)，也能夠檢查不應(yīng)該完成的任務(wù)。只有選擇 — “高效的測試用例” 什么是 “高效的測試用例” ？ 如何選擇 “高效的測試用例” ？ 這就是本章討論的主要問題?。?！ 三、軟件測試的基本原則 充分注意測試中的群集現(xiàn)象。 不能進(jìn)行“窮舉”測試 只有將所有可能的情況都測試到，才有可能檢查出所有的錯(cuò)誤。 1963年美國飛往火星的火箭爆炸，原因是FORTRAN程序： DO 5 I=1， 3 誤寫為： DO 5 I=1. 3 損失 1000萬美元。 1967年蘇聯(lián)“聯(lián)盟一號(hào)”宇宙飛船返回時(shí)因忽略一個(gè)小數(shù)點(diǎn)，在進(jìn)入大氣層時(shí)打不開降落傘而燒毀。但這是不可能的： 例：程序 P有兩個(gè)整型輸入量 X、 Y， 輸出量為 Z，在 32位機(jī)上運(yùn)行。 盡量不由程序設(shè)計(jì)者進(jìn)行測試。 長期保存測試用例。 ① 調(diào)用圖 無論 Y 為何值，都不能夠調(diào)用子程序 。 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ù)定義 二、動(dòng)態(tài)測試方法 （ 1） 通過選擇適當(dāng)?shù)臏y試用例，執(zhí)行程序。 語 句 覆 蓋 判 定 覆 蓋 條 件 覆 蓋 判 定 條 件 覆 蓋 條 件 組 合 覆 蓋 弱 強(qiáng) ① 語句覆蓋 ： 選擇足夠的測試用例 ， 使得程序中每個(gè)語句至少都能被執(zhí)行一次 。 ⑤ 條件組合覆蓋 ： 執(zhí)行足夠的例子 ， 使得每個(gè)判定中條件的各種可能組合都至少出現(xiàn)一次 。 2）按照覆蓋標(biāo)準(zhǔn)列出所有情況。 IF (A=2) OR (X1) THEN X:=X+1 END。 應(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 2 A≤1 A≠2 0 B=0 X1 1 A1 A=2 1 B≠0 X≤1 注意 :[(1,0,3),(1,0,4)] [(2,1,1),(2,1,2)] 滿足條件覆蓋，但不滿足判斷覆蓋。 滿足以下覆蓋情況： ① 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)] ④ ⑧ 二、動(dòng)態(tài)測試方法 （ 2） 等 價(jià) 分 類 法 邊 值 分 析 法 錯(cuò) 誤 推 測 法 因 果 圖 法 (2)黑盒法 不考慮程序的內(nèi)部結(jié)構(gòu)與特性，只根據(jù)程序功能或程序的外部特性設(shè)計(jì)測試用例。 等價(jià)分類法步驟 應(yīng)按照輸入條件 （ 如輸入值的范圍 ， 值的個(gè)數(shù) ， 值的集合 ， 輸入條件必須如何 ） 劃分為有效等價(jià)類和無效等價(jià)類 。 ② 選擇測試用例 等價(jià)分類法步驟 2. 邊值分析法 基本思想： 選擇等價(jià)類的邊緣值作為測試用例，讓每個(gè)等價(jià)類的邊界都得到測試，選擇測試用例既考慮 輸入 亦考慮 輸出 。 B 按照輸入 /輸出值個(gè)數(shù)的邊界。 例如：輸入值的范圍是 ， 則可選擇用例 : –、 、 、 。 例如：檢索文獻(xiàn)摘要 ， 最多 4篇 。 邊值分析法舉例 黑盒法應(yīng)用實(shí)例 對(duì) FORTRAN編譯系統(tǒng)中的 DIMENSION語句進(jìn)行測試。 把輸入條件視為 “ 因 ” ，把輸出條件視為“ 果 ” ，將黑盒看成是從因到果的網(wǎng)絡(luò)圖，采用邏輯圖的形式來表達(dá)功能說明書中輸入條件的各種組合與輸出的關(guān)系。 “ 非 ” 函數(shù) 若 a為 1，則 b為 0，否則 b為 1。 I約束（或） — 包容 a、 b、 c不能同時(shí)為 0。 標(biāo)識(shí)出規(guī)范中的原因與結(jié)果。 ⑶ 因果圖法應(yīng)用舉例 規(guī)范：文件名第一列字符必須為 A或 B， 第二列字 符必須為數(shù)字。 考慮到原因 2不可能同時(shí)為 1，加上 E約束。 數(shù)據(jù)說明是否正確、一致，變量及其初值定義是否正確等。 也稱單元測試（ unit testing ) 考慮到被測模塊與其它模塊的聯(lián)系，因此測試時(shí)需要使用兩類 輔助模塊 來模擬其他模塊。但都是額外開銷。 ②測試方法以黑盒法為主，按照組裝方案進(jìn)行 測試。 自頂而下增值 自底而上 增值 自頂而下增值 M1 M4 M3 M2 M6 M5 程序模塊示意圖 S5 M1 S1 S2 S3 第一步，測試主控模塊 M1設(shè)計(jì)樁模塊 S S S3， 模擬被 M1調(diào)用的 M M M4。組裝測試完畢。 第二步，用實(shí)際模塊 MM1和 M4替換驅(qū)動(dòng)模塊 DD D3。 確定集成過程的原則 自頂而下增值 優(yōu)點(diǎn)：能夠盡早發(fā)現(xiàn)系統(tǒng)主控方面的問題。 集成過程的原則 ① 盡早測試關(guān)鍵模塊。 對(duì)含有寫操作的子系統(tǒng)采用自頂而下。 選擇測試人員 選擇測試用例 實(shí)際運(yùn)行測試 軟件計(jì)劃 用戶文檔 開發(fā)文檔 源程序文本 支持環(huán)境 有效性 測試 軟件 配置 審查 管理 機(jī)構(gòu) 裁決 專家 鑒定會(huì) 交用戶 運(yùn)行維護(hù) 測試報(bào)告 軟件配置 （ 1）有效性測試 制定測試計(jì)劃，運(yùn)用黑盒法，驗(yàn)證軟件特性是否與需求符合。 （ 3） ?測試和 ?測試 ?測試 是在開發(fā)機(jī)構(gòu)的監(jiān)督下，由個(gè)別用戶在確認(rèn)測試階段后期對(duì)軟件進(jìn)行測試，目的是評(píng)價(jià)軟件的 FLURPS（ 功能、局域化、可使用性、可靠性、性能和支持） ， 注重界面和特色。軟件工程課程設(shè)計(jì)的驗(yàn)收測試， 18周進(jìn)行。 軟件測試方案是測試階段的關(guān)鍵技術(shù)問題 ， 基本目標(biāo)是選擇最少量的高效測試用例 ， 從而盡可能多地發(fā)現(xiàn)軟件中的問題 。 有時(shí)也將驗(yàn)收測試與系統(tǒng)測試合二為一 ， 此時(shí) ， 參加測試的人員最好包括：有經(jīng)驗(yàn)的系統(tǒng)測試專家 ， 用戶代表 ， 軟件開發(fā)人員及 QA（ 質(zhì)量保證 ） 人員也應(yīng)參加 。 強(qiáng)調(diào)需求或設(shè)計(jì)的測試，通常以兩種方式進(jìn)行 ： 在沒有代碼的情況下進(jìn)行測試； 在有代碼的情況下進(jìn)行測試。 繼承 —提高了代碼復(fù)用性，但錯(cuò)誤也會(huì)以同樣方式被 復(fù)用。 面向?qū)ο鬁y試類型 模型測試 類測試 交互測試 系統(tǒng)（子系統(tǒng)）測試 驗(yàn)收和發(fā)布測試 類測試即傳統(tǒng)測試中的單元測試 ， 即驗(yàn)證類的實(shí)現(xiàn)與類的規(guī)約是否一致的活動(dòng) 。 交互測試的方法有： ? 用例或基于場景的測試 ? 線程測試 ? 對(duì)象的測試。 需求測試可以較早地發(fā)現(xiàn)需求中問題 如：不合理的項(xiàng)目 、 以及錯(cuò)誤地理解了用戶需求的項(xiàng)目 ，避免對(duì)于