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

定　價：￥45.00

作　者：	劉斌主編
出版社：	國防工業(yè)出版社
叢編項：
標(biāo)　簽：	軟件工程/開發(fā)項目管理

購買這本書可以去

ISBN：	9787118073065	出版時間：	2011-04-01	包裝：	平裝
開本：	16開	頁數(shù)：	264	字?jǐn)?shù)：

內(nèi)容簡介

　　《軟件驗證與確認(rèn)》理論聯(lián)系實際，由淺入深地對軟件驗證與確認(rèn)的相關(guān)概念進(jìn)行了介紹，并結(jié)合我國裝備軟件的研制過程對驗證與確認(rèn)過程進(jìn)行了詳細(xì)的闡述，本書對測試、評審和形式化驗證等方法進(jìn)行了介紹，并對當(dāng)前裝備軟件研制中的軟件測試過程進(jìn)行了深入的探討。另外，本書還從實踐的角度出發(fā)介紹了軟件驗證與確認(rèn)活動的自動化輔助工具以及過程文檔模板，具有極強的工程參考價值。本書可供高等院校軟件工程、計算機及相關(guān)專業(yè)的研究生作為學(xué)習(xí)參考，同時還可作為從事裝備軟件研發(fā)、軟件測試以及軟件驗證與質(zhì)量保證人員的工作參考書。

作者簡介

暫缺《軟件驗證與確認(rèn)》作者簡介

圖書目錄

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