【正文】 條件的各種組合與輸出的關(guān)系。 B 按照輸入 /輸出值個數(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 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)] 滿足條件覆蓋，但不滿足判斷覆蓋。 語 句 覆 蓋 判 定 覆 蓋 條 件 覆 蓋 判 定 條 件 覆 蓋 條 件 組 合 覆 蓋 弱 強 ① 語句覆蓋 ： 選擇足夠的測試用例 ， 使得程序中每個語句至少都能被執(zhí)行一次 。 盡量不由程序設(shè)計者進行測試。 不能進行“窮舉”測試 只有將所有可能的情況都測試到，才有可能檢查出所有的錯誤。 有向邊 —表示控制結(jié)構(gòu)。 邏輯結(jié)構(gòu) 白盒法舉例 Procedure （ VAR A,B,X:REAL）； BEGIN IF（ A1) AND (B=0) THEN X:=X/A 。 ① 劃分 “ 等價類 ” 顯然 ， 關(guān)鍵是 如何劃分等價類 A 為每個等價類編號； B 使一個測試用例盡可能覆蓋多個有效等價類 C 特別要注意 :一個測試用例只能覆蓋一個無效等價類 。 應(yīng)選擇第一個元素和最后一個元素 。 a b E a b c I a b R a b O a b M ⑵ 因果圖法的步驟 分析規(guī)范，即將問題分為若干可工作的步驟。 重要 路徑通常是指完成模塊功能的主要路徑，一般是控制結(jié)構(gòu)。 M5 M6 第四步，依次用模塊 M5和 M6替代樁模塊 S S5， 并同時進行新的測試。 自底而上 —自頂而下增值 對含有讀操作的子系統(tǒng)采用自底而上。 綜合測試策略 軟件測試是保證軟件可靠性的主要手段 ， 也是軟件開發(fā)過程中最艱巨 、 最繁雜的任務(wù) 。 模型測試方法包括： ? 用例場景測試； ? 系統(tǒng)原型走查； ? 需求模型一致性檢查； ? 分析模型的檢查和走查。 測試作為項目開發(fā)活動中的一部分，在時間上應(yīng)該有明確的要求，測試計劃對于測試來說也是至關(guān)重要的。 類測試包括：類屬性的測試、類操作的測試等。 1..* 典型場景是指系統(tǒng)用戶經(jīng)常使用系統(tǒng)的方式。 主存信息轉(zhuǎn)儲法 關(guān)鍵部分設(shè)置打印語句 使用自動糾錯工具 回 溯法排錯 適用于小程序。 不能只修改錯誤的征兆、表現(xiàn)。測試方法是評審會。 管理者考慮將訂單分配到某倉庫的因素： (1)首先倉庫必須能夠滿足訂單上的貨物要求； (2)選擇地理位置與發(fā)貨點較近的倉庫發(fā)貨； (3)信譽滿意度越高的客戶就越應(yīng)該以較高的服務(wù)質(zhì)量來回報。 一、分析模型測試的重要性 減少需求的模糊性 用戶需求是用戶對待實現(xiàn)的系統(tǒng)的要求，通常以一種非正規(guī)的形式給出，具有一定的模糊性。 例如： 封裝 —對數(shù)據(jù)的隱蔽，減少了對數(shù)據(jù)非法操作，可簡化該類測試。 五、驗收測試（ acceptance testing） 驗收測試是以用戶為主的測試。 缺點：最后才能發(fā)現(xiàn)系統(tǒng)主控方面的問題。 兩種方案： 設(shè)計驅(qū)動模塊或樁模塊，對每一個新組裝的子 系統(tǒng)進行測試，對發(fā)現(xiàn)問題較多的子系統(tǒng)或模 塊應(yīng)該用白盒法作回歸測試。測試過程通常可分 4步進行： 單元 測試 單元 測試 單元 測試 被測模塊 被測模塊 集成 測試 設(shè)計信息 已測試的模塊 確認 測試 已集成的模塊 軟件需求 系統(tǒng) 測試 已確認的軟件 可交付的軟件 系統(tǒng)其他元素 一、模塊測試 （ Module Testing） 模塊 模塊接口測試 局部數(shù)據(jù)結(jié)構(gòu)測試 重要路徑測試 錯誤處理測試 邊界條件測試 I/O 參數(shù)值的個數(shù) 、 類型 、 次序 、 格式是否正確 ， I/O文件屬性 、 操作是否正確等 。 a b a b a b d ∨ a b d ∧ （ cause effcet graphicei） 對 “ 與 ” 、 “ 或 ” 函數(shù)的限制符號 E約束（異） — 排斥 即 a、 b不能同時為 1。 C 輸出值域的邊界 。 無效等價類 —對于程序的規(guī)格說明，是不合理的、沒有意義的輸入數(shù)據(jù)構(gòu)成的集合。 1）選擇邏輯覆蓋標準。 ② 數(shù)據(jù)流分析圖 檢查分析變量的定義和引用情況。 1963年美國飛往火星的火箭爆炸，原因是FORTRAN程序： DO 5 I=1， 3 誤寫為： DO 5 I=1. 3 損失 1000萬美元。 長期保存測試用例。 ⑤ 條件組合覆蓋 ： 執(zhí)行足夠的例子 ， 使得每個判定中條件的各種可能組合都至少出現(xiàn)一次 。 滿足以下覆蓋情況： ① 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è)計測試用例。 例如：輸入值的范圍是 ， 則可選擇用例 : –、 、 、 。 “ 非 ” 函數(shù) 若 a為 1，則 b為 0，否則 b為 1。 考慮到原因 2不可能同時為 1，加上 E約束。 ②測試方法以黑盒法為主，按照組裝方案進行 測試。 確定集成過程的原則 自頂而下增值 優(yōu)點：能夠盡早發(fā)現(xiàn)系統(tǒng)主控方面的問題。 （ 3） ?測試和 ?測試 ?測試 是在開發(fā)機構(gòu)的監(jiān)督下，由個別用戶在確認測試階段后期對軟件進行測試，目的是評價軟件的 FLURPS（ 功能、局域化、可使用性、可靠性、性能和支持） ， 注重界面和特色。 強調(diào)需求或設(shè)計的測試，通常以兩種方式進行 ： 在沒有代碼的情況下進行測試； 在有代碼的情況下進行測試。 需求測試可以較早地發(fā)現(xiàn)需求中問題 如：不合理的項目 、 以及錯誤地理解了用戶需求的項目 ，避免對于成本和資源的消耗 。 以第三條功能 “ 根據(jù)訂單信息選擇倉庫，并將訂單發(fā)送給該倉庫 ” 為例，說明用例的選擇。 有效等價類 : D1=|一個月的第一天與最后一天 之間 | D2=|一個月的第一天 | D3=|1月 1日 | M1=|前一個月是 30天 | M2=|前一個月是 31天 | M3=|前一個月是 2月 | Y1=|非閏年 | Y2=|閏年 | Y3=|2022年 | 無效等價類 : D4=|本月的第一天 | D4=|本月的最后一天 | M4=|1| M5=|12| Y=|0| 用例 ID 月 日 年 預(yù)期結(jié)果 1 7 19 1998 1998年 7月 18日 2 9 19 2022 2022年 9月 18日 3 3 19 2022 2022年 3月 18日 4 7 1 1998 1998年 6月 30日 5 9 1