資源描述：
《軟件驗證與確認》由會員上傳分享，免費在線閱讀，更多相關內容在行業(yè)資料-天天文庫。
1、董淵(SystemSoftware&SoftwareEngineering)DepartmentofComputerScience&TechnologyTsinghuaUniversity軟件驗證與確認內容提要基本概念FaganInspection軟件測試基本概念軟件測試的分類軟件測試用例設計測試自動化總結透視軟件質量問題軟件缺陷開銷需求定義設計編碼測試維護152050100缺陷分布驗證與確認（V&V）驗證（Verification）Arewebuildingtheproductright?Softwareconformstoit
2、sspecification保證：軟件軟件正確實現(xiàn)特定功能（軟件～SPEC）確認（Validation）Arewebuildingtherightproduct?Softwaremeetstheusers’needs保證：軟件的實現(xiàn)滿足用戶需求（需求～SPEC）Staticvs.DynamicV&V審查（Inspection）Analyzeandchecksystemrepresentationsuchasrequirementsdocuments,designdiagramsandtheprogramsourcecode.All
3、thestagesofsoftwarelifecycle測試（Testing）Executionwithtestdataandexaminingoperationalbehaviour內容提要基本概念FaganInspection軟件測試基本概念軟件測試的分類軟件測試用例設計測試自動化總結軟件審查非正式的文檔/代碼走查（Walkthrough）作者和評估者，二人討論正式的軟件審查Fagan[76],Gilb[94]審查前活動?審查會議?審查后活動審查角色：作者、審查員、測試員Fagan審查IBM,MichaelFagan,1976
4、IBMHuston，航天飛機軟件，200萬行代碼，審查發(fā)現(xiàn)85%的錯誤，測試發(fā)現(xiàn)另15%IBMNorthHarbor，審查發(fā)現(xiàn)93%的缺陷，生產力提高9%Fagan審查—主要角色主審員規(guī)劃審查，主持會議，遵循Fagan方針，解決沖突，記錄缺陷，確保后繼活動實施講解員講解交付品，參與評審產品設計者準備數(shù)據和材料，修正缺陷測試員分析測試需求Fagan審查—主要方針6/304/10-15測試計劃125/500100/300代碼6/304/10-15設計6/304/10-15需求審查時間6/304/10-15測試計劃125/500100/
5、300代碼6/304/10-15設計6/304/10-15需求準備時間最多/每?。摚┛傆?每小（頁）區(qū)域活動嚴格標準/放寬標準Fagan審查—主要步驟計劃：時間、地點、人員、材料概述：背景材料準備：交付品和其它相關文檔審查：缺陷識別，建立缺陷數(shù)據庫以便進行度量和歷史分析分析/過程改進：確定過程中存在的問題修改：缺陷修改后繼活動：確保缺陷修正，問題得到解決Fagan審查—進入/退出標準設計滿足需求設計滿足設計標準設計缺陷得到糾正需求通過審查并結束設計文檔就緒具有足夠領域知識的審查者就緒設計需求滿足客戶需求所有需求缺陷得到糾正具有足
6、夠的評審文檔專業(yè)技能的審查者準備就緒需求文檔就緒需求退出標準進入標準審查類型Fagan審查—進入/退出標準代碼滿足設計和需求代碼遵循程序編碼標準代碼通過完全的編譯缺陷排除需求及設計通過審查并結束程序概述就緒具有足夠領域知識的審查者就緒代碼列表就緒源代碼清晰并可編譯代碼滿足程序編碼標準代碼退出標準進入標準審查類型Fagan審查—進入/退出標準測試計劃足以勝任需求的測試測試計劃遵循測試標準缺陷排除需求/設計結束概述就緒具有足夠領域知識的審查者就緒測試計劃退出標準進入標準審查類型Fagan審查—問題嚴重性待調查的項目，暫時不能確認是否為
7、缺陷調查（INV）根據主要缺陷分析得到的過程改進建議過程改進（PI）產品中的非主要問題次要問題（m）產品中的一種缺陷，如果缺陷沒有被發(fā)現(xiàn)，將會導致客戶抱怨主要問題（M）定義問題嚴重性Fagan審查—缺陷分類邏輯設計需求可維護性接口數(shù)據用量性能標準代碼注釋系統(tǒng)接口可移植性可靠性可維護性錯誤處理其他產品目標文件硬件接口競爭分析功能軟件接口性能拼寫可用性內容提要基本概念FaganInspection軟件測試基本概念軟件測試的分類軟件測試用例設計測試自動化總結基本概念--自測題目假設一程序實現(xiàn)以下功能：讀入3個數(shù)據，分別代表三角形的三條邊
8、，判斷并輸出三角形的形狀，即：不等邊三角形，等邊三角形，等腰三角形。請列出可以用來測試該程序的測試用例。自測參考測試用例正確的不等邊三角形正確的等邊三角形正確的等腰三角形不正確的三角形，兩邊長度之和等于第三邊不正確的三角形，兩邊長度之和小于第三邊不
