1、軟件驗證與確認,內容提要,基本概念 Fagan Inspection 軟件測試 基本概念 軟件測試的分類 軟件測試用例設計 測試自動化 總結,透視軟件質量問題,軟件缺陷開銷,驗證與確認（V 或者 a-c-d, a-b-e 問題：無法檢查條件錯誤，x1 誤寫為x1,條件覆蓋,使得程序中每個判斷的每個條件的可能取值至少執(zhí)行一次。 問題：有可能不能覆蓋判斷的所有分支。,判定-條件覆蓋,使得程序中每個判斷中 所有條件的所有可能取值至少執(zhí)行一次 所有可能的判斷結果至少執(zhí)行一次,問題：邏輯表達式錯誤不一定能檢查出來,路徑覆蓋,使得程序中所有可能的路徑都執(zhí)行至少一次,白盒測試-基本路徑測試,將覆蓋的路徑數(shù)壓

2、縮到一定限度內， 在程序控制流圖的基礎上，通過分析控制構造的環(huán)路復雜性，導出基本可執(zhí)行路徑集合(基本路徑集、基本集) 保證被測程序的每一條可執(zhí)行語句至少執(zhí)行一次,程序控制流圖,描述程序的控制流 節(jié)點：表示一個或多個無分支的語句 有向邊：控制流方向 區(qū)域：邊和接點圈定的區(qū)域,復合邏輯的控制流圖,程序環(huán)路復雜性,McCabe程序復雜性度量 程序控制流圖中，有向圖G所封閉的環(huán)路個數(shù)V(G)： V(G) = G中的邊數(shù)-G中的節(jié)點數(shù)+2 = G中的判定的節(jié)點數(shù)+1 = G中的區(qū)域數(shù),獨立路徑,基本路徑集合的成員 某一程序的獨立路徑是從程序入口到出口的多次執(zhí)行中，每次至少一個語句是新的（包括運算、賦值、

3、輸入輸出或判斷）。 在控制流圖中，從入口進入后，至少要經歷一個從未走過的弧。 程序中至少引進一個新的處理語句集合或一個條件的任一路徑。,基本集,V(G)提供了組成基本集獨立路徑的上界。 基本集并不唯一。 基本集測試：每一條語句至少執(zhí)行一次；每一個條件執(zhí)行時都將分別去T和F。 基本導出：控制流圖遍歷,生成測試用例,適用于模塊的詳細設計及源代碼 以詳細設計或源代碼為基礎，導出程序的控制流圖 計算得到的控制流圖的環(huán)路復雜性 確定線性無關的基本路徑集 生成測試用例，確?；韭窂郊忻織l路徑的執(zhí)行,內容提要,基本概念 Fagan Inspection 軟件測試 基本概念 軟件測試的分類 軟件測試用例設計

4、 測試自動化 總結,測試周期,回歸測試,概念:當發(fā)現(xiàn)軟件存在缺陷后,首先要把錯誤定位,其次提出修改方案,審定后進行正式修改.然后將原有的測試用例重新測試,并驗證測試結果. NOTE: 不能簡單地只執(zhí)行發(fā)現(xiàn)缺陷的測試用例,有時在修改程序時,會造成軟件其它地方的錯誤. *: 每次修改后重新執(zhí)行所有測試用例!,軟件測試自動化,優(yōu)勢 重復工作, 回歸測試 手工測試難以執(zhí)行的操作 測試設計/數(shù)據(jù)復用 提高測試效率 更好利用資源,局限 測試有效性 可維護性 與被測系統(tǒng)的互操作性 測試工具的技術支持,測試工具,靜態(tài)分析工具 動態(tài)分析工具 覆蓋工具 測試設計工具 測試執(zhí)行與結果比較工具 性能模擬工具 測試管理工具,本章回顧,驗證與確認 用戶需求,規(guī)格說明