一个台湾的经典PPT课件（繁体字）精选.pptVIP

驗證與確認 保證軟體系統符合使用者的需求 本章目的 介紹軟體的驗證與確認(VV)，並討論它們之間的差異 描述程式檢查(program inspections)程序，及其在VV中擔任的角色 解釋靜態分析(static analysis)作為驗證技術的原因 描述淨室(Cleanroom)軟體開發程序 本章內容 驗證與確認規劃 軟體檢查 自動化靜態分析 淨室軟體開發 驗證與確認的比較 驗證(Verification):  我們是否正確的開發了產品？ 軟體應該與規格相符 確認(Validation): 我們是否開發了對的產品？ 軟體應該執行使用者真實的需求 VV程序 是一完整的生命週期程序 - V V 必須應用在軟體發展過程中的各個段. 有兩個主要目的 發現系統中的缺失(defect) 評估在作業環境中 系統是否適用 靜態與動態驗證 軟體檢查( Software inspections) 與分析靜態系統的表示方式來發現問題有關(靜態驗證) 可使用文件和原始碼的分析工具來輔助 軟體測試( Software testing) 與實作完成的軟體並檢視其輸出行為有關(動態驗證) 提供測試資料實作系統，並檢視其操作過程是否按照預期的行為執行 靜態與動態VV 程式測試 能夠揭示錯誤存在而非不存在 能夠發現一個或一個以上的錯誤便是成功的測試 這是對非功能性需求唯一的確認技術 應該與靜