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

定　價(jià)：￥45.00

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

購買這本書可以去

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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