出版說明
前言
第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) 出版說明
前言
第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 面向功能型測試的屬性和目標(biāo)
2.2　功能性等價類劃分
2.2.1 功能性等價類劃分的屬性和目標(biāo)
2.2.2　描述功能性等價類劃分
2.2.3　評價功能性等價類劃分
2.3　以狀態(tài)為基礎(chǔ)的測試
2.3.1 以狀態(tài)為基礎(chǔ)的測試的屬性和目標(biāo)
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 面向控制流程的測試屬性和目標(biāo)
3.2　指令覆蓋測試
3.2.1　指令覆蓋測試的屬性和目標(biāo)
3.2.2　描述指令覆蓋測試
3.2.3　評價指令覆蓋測試
3.3　子項覆蓋測試
3.3.1 子項覆蓋測試的屬性和目標(biāo)
3.3.2　描述子項覆蓋測試
3.3.3　子項覆蓋測試的問題
3.3.4　評價子項覆蓋測試
3.4　條件覆蓋測試
3.4.1　條件覆蓋測試的屬性和目標(biāo)
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　屬性和目標(biāo)
3.5.2　結(jié)構(gòu)化路徑測試和邊界一內(nèi)部路徑測試
3.5.3　LCSAJ測試
3.6　路徑覆蓋測試
3.6.1　路徑覆蓋測試的屬性和目標(biāo)
3.6.2　評價路徑覆蓋測試
3.7　評價面向流程控制的測試
第4章　數(shù)據(jù)流型、面向結(jié)構(gòu)型測試
4.1　數(shù)據(jù)流型測試的屬性和目標(biāo)
4.2　定義／用途測試
……
第5章　特殊的動態(tài)測試技術(shù)　
第6章　軟件測量　
第7章　利用工具進行靜態(tài)代碼分析
第8章　軟件驗證與復(fù)審
第9章　形式技術(shù)：符號測試和形式正確性證明
第10章　過程和測試策略
第11章　工具
第12章　測試面向?qū)ο笮蛙浖?br>第13章　測試嵌入軟件
第14章　實踐指南
參考文獻