軟件驗證與確認

第1章緒論
  1.1  軟件概念及其特點
  1.2  軟件質(zhì)量基本概念
  1.3  軟件質(zhì)量與可靠性管理的發(fā)展
  1.4  軟件驗證與確認技術簡介
第2章  基本概念和活動
  2.1  基本概念
    2.1.1  軟件質(zhì)量模型
    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  過程：開發(fā) 
    3.2.5  過程：運行 
    3.2.6  過程：維護 
　3.3  裝備軟件全生命周期的驗證與確認活動
第4章  驗證與確認方?
  4.1  軟件測試
    4.1.1  軟件測試概念
    4.1.2  軟件測試分類方法
    4.1.3  靜態(tài)測試方法
  4.2  軟件測試技術
    4.2.1  軟件單元測試
    4.2.2軟件集成測試
    4.2.3  軟件配置項測試
    4.2.4  軟件系統(tǒng)測試
    4.2.5  軟件驗收測試
    4.2.6  軟件回歸測試
　4.3  軟件評審
    4.3.1  軟件評審的作用
    4.3.2  軟件評審方式
    4.3.3  軟件評審點的設置
    4.3.4  軟件開發(fā)各階段的評審
  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  測試程序設計和調(diào)試
    5.1.6  測試程序和測試結(jié)果審查
    5.1.7  測試覆蓋分析
    5.1.8  測試過程中發(fā)現(xiàn)問題的處理
　　……
第6章　驗證與確認工具
第7章　軟件驗證與確認文檔
附錄1　軟件***過程文檔模板
附?2　文檔審查單
附錄3　裁剪后的靜態(tài)分析編碼規(guī)則
參考文獻