內容簡介
《軟體驗證與確認》目錄
第1章緒論1.1軟體概念及其特點
1.2軟體質量基本概念
1.3軟體質量與可靠性管理的發展
1.4軟體驗證與確認技術簡介
第2章基本概念和活動
2.1基本概念
2.1.1軟體質量模型
2.1.2軟體生命周期
2.1.3軟體的生命周期模型
2.1.4軟體完整性級別
2.1.5軟體驗證
2.1.6軟體確認
2.1.7軟體測試
2.1.8軟體評審
2.1.9軟體審查
2.1.10獨立軟體驗證和確認
2.1.11軟體獨立第三方測試
2.2基本活動
2.2.1軟體驗證目標
2.2.2軟體驗證活動
第3章驗證與確認過程
3.1驗證與確認模型
3.2軟體的V&V過程
3.2.1過程：管理
3.2.2過程：獲取
3.2.3過程：供應
3.2.4過程：開發
3.2.5過程：運行
3.2.6過程：維護
3.3裝備軟體全生命周期的驗證與確認活動
第4章驗證與確認方法
4.1軟體測試
4.1.1軟體測試概念
4.1.2軟體測試分類方法
4.1.3靜態測試方法
4.2軟體測試技術
4.2.1軟體單元測試
4.2.2軟體集成測試
4.2.3軟體配置項測試
4.2.4軟體系統測試
4.2.5軟體驗收測試
4.2.6軟體回歸測試
4.3軟體評審
4.3.1軟體評審的作用
4.3.2軟體評審方式
4.3.3軟體評審點的設定
4.3.4軟體開發各階段的評審
4.4軟體驗證
4.4.1軟體形式化驗證概述
4.4.2程式正確性證明
第5章軟體測評過程
5.1軟體測試流程
5.1.1軟體文檔審查
5.1.2軟體代碼走查
5.1.3測試用例設計
5.1.4測試用例審查
5.1.5測試程式設計和調試
5.1.6測試程式和測試結果審查
5.1.7測試覆蓋分析
5.1.8測試過程中發現問題的處理
……
第6章驗證與確認工具
第7章軟體驗證與確認文檔
附錄1軟體V&V過程文檔模板
附錄2文檔審查單
附錄3裁剪後的靜態分析編碼規則
參考文獻
值得一看的好書（七）
| 讀書足以怡情，足以傅彩，足以長才。其怡情也，最見於獨處幽居之時；其傅彩也，最見於高談闊論之中；其長才也，最見於處世判事之際。練達之士雖能分別處理細事或一一判別枝節，然縱觀統籌、全局策劃，則非好學深思者莫屬。 |
