軟件的質(zhì)量
- 所屬分類：
- 作者：
（德）里格斯麥爾 著，于芳 譯
- 出版社：
機械工業(yè)出版社
- ISBN：9787111269816
- 出版日期：2009-7-1
-
原價：
￥42.00元
現(xiàn)價：￥31.50元
-
本書信息由合作網(wǎng)站提供，請前往以下網(wǎng)站購買：
圖書簡介
本書詳細地敘述了當(dāng)前軟件質(zhì)量保證的技術(shù)、方法、原理和構(gòu)成方面的最新知識，每一章的開始是本章的簡介，使讀者了解本章要講述的內(nèi)容；每一章的結(jié)束部分都有評價，對從業(yè)人員來說具有實踐指導(dǎo)意義。本書在寫作上，注重了將理論和實踐、軟件和硬件、經(jīng)驗知識和教學(xué)知識領(lǐng)域的牢固結(jié)合，使讀者更貼近軟件開發(fā)這個重要的領(lǐng)域。
本書適合作為高等教育計算機相關(guān)專業(yè)的教材和教學(xué)參考書，也可用作從業(yè)人員的參考書。
目錄
出版說明
前言
第1章 引言
1.1 動機
1.2 數(shù)據(jù)和概念的定義
1.3 技術(shù)水平
1.3.1 質(zhì)量管理
1.3.2 軟件質(zhì)量保證
1.3.3 硬件質(zhì)量安全
1.3.4 軟件密集型系統(tǒng)的質(zhì)量保障
1.4 測試技術(shù)的分組與歸類
1.4.1 動態(tài)測試
1.4.2 靜態(tài)分析
1.4.3 形式技術(shù)：符號測試和形式證明流程
1.5 組織結(jié)構(gòu)
第2章 面向功能型測試
2.1 面向功能型測試的屬性和目標
2.2 功能性等價類劃分
2.2.1 功能性等價類劃分的屬性和目標
2.2.2 描述功能性等價類劃分
2.2.3 評價功能性等價類劃分
2.3 以狀態(tài)為基礎(chǔ)的測試
2.3.1 以狀態(tài)為基礎(chǔ)的測試的屬性和目標
2.3.2 描述以狀態(tài)為基礎(chǔ)的測試
2.3.3 評價以狀態(tài)為基礎(chǔ)的測試
2.4 原因一效果一分析
2.5 其他面向功能型測試技術(shù)
2.5.1 句法測試
2.5.2 以事務(wù)流為基礎(chǔ)的測試
2.5.3 以判定表格為基礎(chǔ)或者以判定樹為基礎(chǔ)進行測試
2.6 評價面向功能型測試
第3章 面向控制流程的、面向結(jié)構(gòu)的測試
3.1 面向控制流程的測試屬性和目標
3.2 指令覆蓋測試
3.2.1 指令覆蓋測試的屬性和目標
3.2.2 描述指令覆蓋測試
3.2.3 評價指令覆蓋測試
3.3 子項覆蓋測試
3.3.1 子項覆蓋測試的屬性和目標
3.3.2 描述子項覆蓋測試
3.3.3 子項覆蓋測試的問題
3.3.4 評價子項覆蓋測試
3.4 條件覆蓋測試
3.4.1 條件覆蓋測試的屬性和目標
3.4.2 簡單的條件覆蓋測試
3.4.3 條件／判定覆蓋測試
3.4.4 最小多重條件覆蓋測試
3.4.5 修正條件／判定覆蓋測試
3.4.6 多重條件覆蓋測試
3.4.7 問題
3.4.8 評估條件覆蓋測試
3.5 測試循環(huán)的技術(shù)
3.5.1 屬性和目標
3.5.2 結(jié)構(gòu)化路徑測試和邊界一內(nèi)部路徑測試
3.5.3 LCSAJ測試
3.6 路徑覆蓋測試
3.6.1 路徑覆蓋測試的屬性和目標
3.6.2 評價路徑覆蓋測試
3.7 評價面向流程控制的測試
第4章 數(shù)據(jù)流型、面向結(jié)構(gòu)型測試
4.1 數(shù)據(jù)流型測試的屬性和目標
4.2 定義／用途測試
……
第5章 特殊的動態(tài)測試技術(shù)
第6章 軟件測量
第7章 利用工具進行靜態(tài)代碼分析
第8章 軟件驗證與復(fù)審
第9章 形式技術(shù)：符號測試和形式正確性證明
第10章 過程和測試策略
第11章 工具
第12章 測試面向?qū)ο笮蛙浖?br>第13章 測試嵌入軟件
第14章 實踐指南
參考文獻
