軟件驗(yàn)證與確認(rèn)

第1章緒論
  1.1  軟件概念及其特點(diǎn)
  1.2  軟件質(zhì)量基本概念
  1.3  軟件質(zhì)量與可靠性管理的發(fā)展
  1.4  軟件驗(yàn)證與確認(rèn)技術(shù)簡(jiǎn)介
第2章  基本概念和活動(dòng)
  2.1  基本概念
    2.1.1  軟件質(zhì)量模型
    2.1.2  軟件生命周期
    2.1.3  軟件的生命周期模型
    2.1.4  軟件完整性級(jí)別
    2.1.5  軟件驗(yàn)證
    2.1.6  軟件確認(rèn)
    2.1.7  軟件測(cè)試
    2.1.8  軟件評(píng)審
    2.1.9軟件審查
    2.1.10  獨(dú)立軟件驗(yàn)證和確認(rèn)
    2.1.11  軟件獨(dú)立第三方測(cè)試
  2.2  基本活動(dòng)
    2.2.1  軟件驗(yàn)證目標(biāo)
    2.2.2軟件驗(yàn)證活動(dòng)
第3章  驗(yàn)證與確認(rèn)過程
  3.1  驗(yàn)證與確認(rèn)模型
  3.2  軟件的V&V過程
    3.2.1  過程：管理 
    3.2.2過程：獲取 
    3.2.3  過程：供應(yīng) 
    3.2.4  過程：開發(fā) 
    3.2.5  過程：運(yùn)行 
    3.2.6  過程：維護(hù) 
　3.3  裝備軟件全生命周期的驗(yàn)證與確認(rèn)活動(dòng)
第4章  驗(yàn)證與確認(rèn)方?
  4.1  軟件測(cè)試
    4.1.1  軟件測(cè)試概念
    4.1.2  軟件測(cè)試分類方法
    4.1.3  靜態(tài)測(cè)試方法
  4.2  軟件測(cè)試技術(shù)
    4.2.1  軟件單元測(cè)試
    4.2.2軟件集成測(cè)試
    4.2.3  軟件配置項(xiàng)測(cè)試
    4.2.4  軟件系統(tǒng)測(cè)試
    4.2.5  軟件驗(yàn)收測(cè)試
    4.2.6  軟件回歸測(cè)試
　4.3  軟件評(píng)審
    4.3.1  軟件評(píng)審的作用
    4.3.2  軟件評(píng)審方式
    4.3.3  軟件評(píng)審點(diǎn)的設(shè)置
    4.3.4  軟件開發(fā)各階段的評(píng)審
  4.4  軟件驗(yàn)證
    4.4.1  軟件形式化驗(yàn)證概述
    4.4.2  程序正確性證明
第5章  軟件測(cè)評(píng)過程
  5.1  軟件測(cè)試流程
    5.1.1  軟件文檔審查
    5.1.2  軟件代碼走查
    5.1.3  測(cè)試用例設(shè)計(jì)
    5.1.4  測(cè)試用例審查
    5.1.5  測(cè)試程序設(shè)計(jì)和調(diào)試
    5.1.6  測(cè)試程序和測(cè)試結(jié)果審查
    5.1.7  測(cè)試覆蓋分析
    5.1.8  測(cè)試過程中發(fā)現(xiàn)問題的處理
　　……
第6章　驗(yàn)證與確認(rèn)工具
第7章　軟件驗(yàn)證與確認(rèn)文檔
附錄1　軟件***過程文檔模板
附?2　文檔審查單
附錄3　裁剪后的靜態(tài)分析編碼規(guī)則
參考文獻(xiàn)