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

內(nèi)容概要

本書理論聯(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ì)量保證人員的工作參考書。

書籍目錄

第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)

章節(jié)摘錄

版權(quán)頁：插圖：6.3.3 自動(dòng)化功能測試工具小結(jié)自動(dòng)化測試不能代替手工測試，自動(dòng)化測試最大的用處是保證測試的質(zhì)量，而不是發(fā)現(xiàn)問題，而手工測試是發(fā)現(xiàn)問題。在每次回歸測試時(shí)，如果是手工測試的情況，由于時(shí)間的關(guān)系并不能因?yàn)橐粋€(gè)模塊的bug去測試其他的模塊，而自動(dòng)化測試工具的加入，可以保證所有模塊的基本功能，每次回歸用手工去發(fā)現(xiàn)驗(yàn)證問題，用自動(dòng)化工具去保證整個(gè)軟件的基本功能正常運(yùn)行。自動(dòng)化的推廣是逐步的，首先做一些冒煙測試的自動(dòng)化，隨后把一些主要的功能和測試點(diǎn)也加進(jìn)來，但是千萬不要太細(xì)化到所有手工測試的點(diǎn)，這樣，會(huì)帶來很大的風(fēng)險(xiǎn)，自動(dòng)化程度越高，風(fēng)險(xiǎn)將越大。并不是所有項(xiàng)目都適合自動(dòng)化測試工具，如果項(xiàng)目周期短，是不適宜做自動(dòng)化測試的，自動(dòng)化測試雖然在運(yùn)行中比較省時(shí)間，但是在前期的設(shè)計(jì)，腳本的編寫和維護(hù)都會(huì)浪費(fèi)較多的時(shí)間，如果自動(dòng)化測試腳本不能重復(fù)利用多次，自動(dòng)化只是一種時(shí)間的浪費(fèi)，只會(huì)令整個(gè)項(xiàng)目延期。

編輯推薦

《軟件驗(yàn)證與確認(rèn)》是可靠性?維修性?保障性技術(shù)叢書12之一。

圖書封面

評論、評分、閱讀與下載

---

    軟件驗(yàn)證與確認(rèn) PDF格式下載

---