軟件的質(zhì)量

出版說明
前言
第1章　引言
1.1　動(dòng)機(jī)
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　測(cè)試技術(shù)的分組與歸類
1.4.1　動(dòng)態(tài)測(cè)試
1.4.2　靜態(tài)分析
1.4.3 形式技術(shù)：符號(hào)測(cè)試和形式證明流程
1.5　組織結(jié)構(gòu)
第2章　面向功能型測(cè)試
2.1 面向功能型測(cè)試的屬性和目標(biāo)
2.2　功能性等價(jià)類劃分
2.2.1 功能性等價(jià)類劃分的屬性和目標(biāo)
2.2.2　描述功能性等價(jià)類劃分
2.2.3　評(píng)價(jià)功能性等價(jià)類劃分
2.3　以狀態(tài)為基礎(chǔ)的測(cè)試
2.3.1 以狀態(tài)為基礎(chǔ)的測(cè)試的屬性和目標(biāo)
2.3.2　描述以狀態(tài)為基礎(chǔ)的測(cè)試
2.3.3　評(píng)價(jià)以狀態(tài)為基礎(chǔ)的測(cè)試
2.4　原因一效果一分析
2.5　其他面向功能型測(cè)試技術(shù)
2.5.1　句法測(cè)試
2.5.2　以事務(wù)流為基礎(chǔ)的測(cè)試
2.5.3 以判定表格為基礎(chǔ)或者以判定樹為基礎(chǔ)進(jìn)行測(cè)試
2.6　評(píng)價(jià)面向功能型測(cè)試
第3章 面向控制流程的、面向結(jié)構(gòu)的測(cè)試
3.1 面向控制流程的測(cè)試屬性和目標(biāo)
3.2　指令覆蓋測(cè)試
3.2.1　指令覆蓋測(cè)試的屬性和目標(biāo)
3.2.2　描述指令覆蓋測(cè)試
3.2.3　評(píng)價(jià)指令覆蓋測(cè)試
3.3　子項(xiàng)覆蓋測(cè)試
3.3.1 子項(xiàng)覆蓋測(cè)試的屬性和目標(biāo)
3.3.2　描述子項(xiàng)覆蓋測(cè)試
3.3.3　子項(xiàng)覆蓋測(cè)試的問題
3.3.4　評(píng)價(jià)子項(xiàng)覆蓋測(cè)試
3.4　條件覆蓋測(cè)試
3.4.1　條件覆蓋測(cè)試的屬性和目標(biāo)
3.4.2　簡(jiǎn)單的條件覆蓋測(cè)試
3.4.3　條件／判定覆蓋測(cè)試
3.4.4　最小多重條件覆蓋測(cè)試
3.4.5　修正條件／判定覆蓋測(cè)試
3.4.6　多重條件覆蓋測(cè)試
3.4.7 　問題
3.4.8　評(píng)估條件覆蓋測(cè)試
3.5　測(cè)試循環(huán)的技術(shù)
3.5.1　屬性和目標(biāo)
3.5.2　結(jié)構(gòu)化路徑測(cè)試和邊界一內(nèi)部路徑測(cè)試
3.5.3　LCSAJ測(cè)試
3.6　路徑覆蓋測(cè)試
3.6.1　路徑覆蓋測(cè)試的屬性和目標(biāo)
3.6.2　評(píng)價(jià)路徑覆蓋測(cè)試
3.7　評(píng)價(jià)面向流程控制的測(cè)試
第4章　數(shù)據(jù)流型、面向結(jié)構(gòu)型測(cè)試
4.1　數(shù)據(jù)流型測(cè)試的屬性和目標(biāo)
4.2　定義／用途測(cè)試
……
第5章　特殊的動(dòng)態(tài)測(cè)試技術(shù)　
第6章　軟件測(cè)量　
第7章　利用工具進(jìn)行靜態(tài)代碼分析
第8章　軟件驗(yàn)證與復(fù)審
第9章　形式技術(shù)：符號(hào)測(cè)試和形式正確性證明
第10章　過程和測(cè)試策略
第11章　工具
第12章　測(cè)試面向?qū)ο笮蛙浖?br />第13章　測(cè)試嵌入軟件
第14章　實(shí)踐指南
參考文獻(xiàn)