軟件工程第七章實現(編輯修改稿)

　

【文章內容簡介】 信息科學與技術學院 閔笛 軟件工程 7 .5. 1 確認測試范圍 ? 通常采用黑盒測試，驗證被測軟件是否滿足用戶需求。 ? 測試計劃 ：包括測試種類及進度安排； ? 測試步驟 ：描述具體的測試用例 ? 測試目的 ：確定軟件的特性是否與需求相符； ? 所有的文檔都是正確且便于使用； ? 其它軟件需求。 ? 測試結果 ：與預期的結果相符； ? 與預期的結果不符：要提交一份問題報告。 信息科學與技術學院 閔笛 軟件工程 軟件配置復查 ?目的： 保證軟件配置的所有成分都齊全； ? 各方面的質量都符合要求； ? 具有維護階段所必需的細節； ? 而且已經編排好分類的目錄。 ?應當嚴格遵守用戶手冊和操作手冊中規定的使用步驟，以便檢查這些文檔資料的完整性和正確性。 信息科學與技術學院 閔笛 軟件工程 7. 5. 3 α測試和 β測試 ?適用：為多個用戶開發的軟件 ?α測試 ：由用戶在開發環境下進行的測試。 ?主要評價軟件產品的 :FLURPS(即功能、局域化、可使用性、可靠性、性能和支持） ?β測試 ：由最終用戶在實際使用環境下進行的測試，這些用戶定期返回有關錯誤信息給開發者。 ?注意： 只有當 α測試達到一定的可靠程度時，才開始 β 測試。 信息科學與技術學院 閔笛 軟件工程 7. 6 白盒測試技術 ?白盒測試執行的要求： ?對程序模塊的所有獨立的執行路徑至少測試一次 ?對所有的邏輯判定，取“真”與取“假”的兩種情況都至少測試一次； ?在循環的邊界和運行界限內執行循環體； ?測試內部數據結構的有效性。 信息科學與技術學院 閔笛 軟件工程 7. 6. 1 邏輯覆蓋 ?邏輯覆蓋是以程序內部的邏輯結構為基礎設計測試用例的技術。 ? 語句覆蓋 ? 判定覆蓋 ? 條件覆蓋 ? 判定一條件覆蓋 ? 條件組合覆蓋 ? 點覆蓋 ? 邊覆蓋 ? 路徑覆蓋 信息科學與技術學院 閔笛 軟件工程 圖 圖 被測試模塊的流程圖 信息科學與技術學院 閔笛 軟件工程 語句覆蓋：使得每一可執行語句至少執行一次 測試數據（ X任意實數）： A=2,B=0,X=4 信息科學與技術學院 閔笛 軟件工程 判定覆蓋： 運行被測程序，使得 程序中每個判斷的取真分支和取假分支至少經歷一次 。 測試數據： A=3,B=0,X=3（覆蓋 1） A=2,B=1,X=1（覆蓋 2） 滿足判定覆蓋的測試用例一定滿足語句覆蓋。 信息科學與技術學院 閔笛 軟件工程 條件覆蓋： 使得程序中 每個判斷的每個條件的可能取值至少執行一次 。 選取測試數據使得 a點可能結果 : A1, A≤1, B=0, B≠0 B點可能結果 : A=2, A≠2, X1, X≤1 選擇用例： A=2,B=0,X=4（路徑：sacbed） A=1,B=1,X=1 （路徑：sabd ） 信息科學與技術學院 閔笛 軟件工程 判定 /條件覆蓋 ? 判定－條件覆蓋就是設計足夠的測試用例，使得 判斷中每個條件的所有可能取值至少執行一次 ， 每個判斷中的每個分支至少執行一次 。 ? 同時滿足判斷覆蓋和條件覆蓋。 ? 應滿足以下覆蓋情況： ? 條件 : 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)] 信息科學與技術學院 閔笛 軟件工程 ?測 試 用 例 覆蓋分支 條件取值 ?【 (2, 0, 4)， (2, 0, 3)】 L1(c, e) ?【 (1, 1, 1)， (1, 1, 1)】 L2(b, d) T T T T1 2 3 4T T T T1 2 3 4(A=2) and (B=0) or (A1) and (B=0) and (X/A1) not (A1) and not (A=2) and not (X1) or not (B=0) and not (A=2) and not (X1) 信息科學與技術學院 閔笛 軟件工程 5. 條件組合覆蓋 ?條件組合覆蓋就是設計足夠的測試用例，運行被測程序，使得 每個判斷的所有可能的條件取值組合至少執行一次 。 ? 記① A＞ 1, B＝ 0 作 ② A＞ 1, B≠0 作 ③ A≯1, B ＝ 0 作 ? ④ A≯1, B≠0 作 T T1 2T T1 2T T1 2T T1 2信息科學與技術學院 閔笛 軟件工程 ?⑤ A＝ 2, X＞ 1 作 ⑥ A＝ 2, X≯1 作 ⑦ A≠2, X ＞ 1 作 ⑧ A≠2, X≯1 作 ?測 試 用 例 覆蓋條件 覆蓋組合 ?【 (2,0,4),(2,0,3)】 (L1) ① ,⑤ ?【 (2,1,1),(2,1,2)】 (L3) ② ,⑥ ?【 (1,0,3),(1,0,4)】 (L3) ③ ,⑦ ?【 (1,1,1),(1,1,1)】 (L2) ④ ,⑧ T T3 4T T3 4T T3 4T T3 4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4信息科學與技術學院 閔笛 軟件工程 and or A1 T B=0 T X=X/A T F F A=2 T F X1 F X=X+1 信息科學與技術學院 閔笛 軟件工程 6 .路徑測試 ?路徑測試就是設計足夠的測試用例， 覆蓋程序中所有可能的路徑 。 ?測 試 用 例 通過路徑 覆蓋條件 ?【 (2, 0, 4), (2, 0, 3)】 ace (L1) 【 (1, 1, 1), (1, 1, 1)】 abd (L2) ?【 (1, 1, 2), (1, 1, 3)】 abe (L3) 【 (3, 0, 3), (3, 0, 1)】 acd (L4) ? T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4T T T T3 41 2信息科學與技術學院 閔笛 軟件工程 (A1) and (B=0) (A=2) or (X1) X=X/A X=X+1 T T F F b d c e a 信息科學與技術學院 閔笛 軟件工程 總結： 6 種覆蓋標準的對比 信息科學與技術學院 閔笛 軟件工程 7. 6. 2 控制結構測試 ? 1 、基本路徑測試 ?以環形復雜度為基礎，導出基本可執行路徑集合，設計測試用例的方法。 ?測試用例要保證程序的 每個可執行語句至少執行一次 。 信息科學與技術學院 閔笛 軟件工程 步驟： ? 1： 由程序流程圖導出程序控制流圖，并計算其環路復雜度 ? 2： 確定程序的獨立路徑 ? 什么是獨立路徑？ ? 流圖中，一條獨立路徑是至少包含一條在其它獨立路徑中從未有過的邊的路徑。 ? 獨立路徑條數 是確保程序中，每個可執行語句至少能被執行一次所必需的測試用例數目的上界。 ? 獨立路徑條數＝程序環路復雜性 V ( G ) 信息科學與技術學院 閔笛