【正文】 /A 。 ④ 判定 /條件覆蓋 ： 執(zhí)行足夠的測試用例 ， 使得判定中每個條件取到各種可能的值 ， 并使每個判定取到各種可能的結(jié)果 。 有向邊 —表示控制結(jié)構(gòu)。 用例既能檢查應(yīng)完成的任務(wù)，也能夠檢查不應(yīng)該完成的任務(wù)。 不能進行“窮舉”測試 只有將所有可能的情況都測試到，才有可能檢查出所有的錯誤。 1967年蘇聯(lián)“聯(lián)盟一號”宇宙飛船返回時因忽略一個小數(shù)點，在進入大氣層時打不開降落傘而燒毀。 盡量不由程序設(shè)計者進行測試。 ① 調(diào)用圖 無論 Y 為何值，都不能夠調(diào)用子程序 。 語 句 覆 蓋 判 定 覆 蓋 條 件 覆 蓋 判 定 條 件 覆 蓋 條 件 組 合 覆 蓋 弱 強 ① 語句覆蓋 ： 選擇足夠的測試用例 ， 使得程序中每個語句至少都能被執(zhí)行一次 。 2）按照覆蓋標(biāo)準列出所有情況。 應(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)] 滿足條件覆蓋，但不滿足判斷覆蓋。 等價分類法步驟 應(yīng)按照輸入條件 （ 如輸入值的范圍 ， 值的個數(shù) ， 值的集合 ， 輸入條件必須如何 ） 劃分為有效等價類和無效等價類 。 B 按照輸入 /輸出值個數(shù)的邊界。 例如：檢索文獻摘要 ， 最多 4篇 。 把輸入條件視為 “ 因 ” ，把輸出條件視為“ 果 ” ，將黑盒看成是從因到果的網(wǎng)絡(luò)圖，采用邏輯圖的形式來表達功能說明書中輸入條件的各種組合與輸出的關(guān)系。 I約束（或） — 包容 a、 b、 c不能同時為 0。 ⑶ 因果圖法應(yīng)用舉例 規(guī)范：文件名第一列字符必須為 A或 B， 第二列字 符必須為數(shù)字。 數(shù)據(jù)說明是否正確、一致，變量及其初值定義是否正確等。但都是額外開銷。 自頂而下增值 自底而上 增值 自頂而下增值 M1 M4 M3 M2 M6 M5 程序模塊示意圖 S5 M1 S1 S2 S3 第一步，測試主控模塊 M1設(shè)計樁模塊 S S S3， 模擬被 M1調(diào)用的 M M M4。 第二步，用實際模塊 MM1和 M4替換驅(qū)動模塊 DD D3。 集成過程的原則 ① 盡早測試關(guān)鍵模塊。 選擇測試人員 選擇測試用例 實際運行測試 軟件計劃 用戶文檔 開發(fā)文檔 源程序文本 支持環(huán)境 有效性 測試 軟件 配置 審查 管理 機構(gòu) 裁決 專家 鑒定會 交用戶 運行維護 測試報告 軟件配置 （ 1）有效性測試 制定測試計劃，運用黑盒法，驗證軟件特性是否與需求符合。軟件工程課程設(shè)計的驗收測試， 18周進行。 有時也將驗收測試與系統(tǒng)測試合二為一 ， 此時 ， 參加測試的人員最好包括：有經(jīng)驗的系統(tǒng)測試專家 ， 用戶代表 ， 軟件開發(fā)人員及 QA（ 質(zhì)量保證 ） 人員也應(yīng)參加 。 繼承 —提高了代碼復(fù)用性，但錯誤也會以同樣方式被 復(fù)用。 交互測試的方法有： ? 用例或基于場景的測試 ? 線程測試 ? 對象的測試。這種模糊性帶入了設(shè)計，甚至代碼中，將可能引發(fā)幾倍，甚至幾十倍的錯誤，這必將極大地消耗系統(tǒng)的資源和成本。 用例模型的測試從系統(tǒng)用戶的角度測試系統(tǒng)的服務(wù)，并不關(guān)心每個測試用例所實現(xiàn)的功能如何，所以應(yīng)該是黑盒測試。 結(jié)合考慮上面三個因素，以最少的成本取得最好的收益，三個訂單信息如下： 訂單號 送貨地點 貨物名稱及數(shù)量 客戶信譽 訂單 1 北城某集團公司 G1(200)， G5(100)， G10(40) 95 訂單 2 東城某街道 G5(10)， G6(5) 80 訂單 3 北城某街道 G4(10) 85 倉庫名稱 倉庫位置 存貨品名及數(shù)量 訂單處理 客戶信譽度 A 東城 G1(200)， G5(100)， G6(1000)， G10(70)， G11(90) 85 B 西城 G1(1000)， G2(100)， G5(550)， G8(150)， G10(980) 95 C 北城 G1(220)， G4(300)， G5(350)， G7(400)， G10(700) 80 訂單號 送貨地點 貨物名稱及數(shù)量 客戶信譽 訂單 1 北城某集團公司 G1(200)， G5(100)， G10(40) 95 訂單 2 東城某街道 G5(10)， G6(5) 80 訂單 3 北城某街道 G4(10) 85 測試用例 1： 輸入：訂單 1 預(yù)期結(jié)果：選擇倉庫 B來處理訂單 (三個均可，大宗訂單，客戶信譽度高 )； 測試用例 2： 輸入：訂單 2 預(yù)期結(jié)果：選擇倉庫 A來處理訂單 (個人訂單，客戶信譽一般 )； 測試用例 3： 輸入：訂單 3 預(yù)期結(jié)果：選擇倉庫 C來處理訂單。 設(shè)計測試用例，對 Date類的操作 decrease（）進行測試。 類圖實際上由類和類之間的關(guān)系組成，評審會的檢查單可從以下兩個方面制定。 典型場景的測試 參考書 A Practical Guide to Testing Object Software John David 機械工業(yè)出版社影印 楊文宏 李新輝 楊潔等譯 軟件測試文檔 模塊測試報告 至少選擇一個典型模塊進行測試。還應(yīng)該修改錯誤的本質(zhì)。 yes no What When where How 演繹法排錯 演繹法是一種從一般原理出發(fā)，經(jīng)過排除和精化的過程，推導(dǎo)出結(jié)論的方法。 二、糾錯的技術(shù) 硬性糾錯 又稱為蠻干法，是使用較多，效率較低的方法。 組裝測試報告 A、 組裝次序、測試方法（以黑盒法為主） B、 測試情況 C、 測試用例（保留） D、 查錯記錄（數(shù)量、位置）、分析結(jié)果。 ) (2)仔細檢查每個繼承關(guān)系 ， 到底是聚集關(guān)系還是繼承關(guān)系 ？ (3)針對關(guān)聯(lián)關(guān)系中的關(guān)聯(lián)數(shù)目 ， 提一些問題結(jié)合實際場景來考察 。 圖 calendarUnit類的繼承關(guān)系 calendarUnit currentVal:Integer CalenderUnit(pVal:Integer) SetValue(pVal:Integer) decrease():Boolean Day mm:Month Day （ pDay:integer, pMonth:Month） setDay（ pDay:integer, pMonth:Month） getDay ():integer decrease( ):Boolean Yers Year(pYear: Integer) getYear():Intger decrease():Boolean isLeap():Boolean Month yy:Year sizeindex:integer[]={31,28,31,30,31,30,3131,30,31,30,31} Month(pMonth::integer,pYear:Year) get(Month():integer getMonthSize():Integer decrease():Boolean 例如：對 date類中的 decrease方法進