軟件測試導論

目　　錄
Essentials of Software Testing
譯者序
前言
致謝
第1章　軟件測試簡介　　1
1.1　軟件行業(yè)的現(xiàn)狀　　1
1.1.1　軟件測試與軟件質(zhì)量　　2
1.1.2　軟件測試和風險管理　　3
1.2　失誤、故障和失效　　3
1.2.1　失誤　　4
1.2.2　故障　　4
1.2.3　失效　　5
1.2.4　測試的必要性　　6
1.3　規(guī)范的作用　　7
1.4　手工測試舉例　　8
1.5　軟件測試原理　　8
1.6　窮盡測試　　9
1.6.1　窮盡測試數(shù)據(jù)　　9
1.6.2　窮盡測試的可行性　　9
1.7　啟發(fā)性測試　　9
1.7.1　隨機測試　　10
1.7.2　黑盒測試和白盒測試　　11
1.7.3　基于經(jīng)驗的測試　　11
1.7.4　故障注入　　12
1.8　何時停止測試　　12
1.9　靜態(tài)測試和動態(tài)測試　　12
1.9.1　基于審查的技術(shù)　　12
1.9.2　程序證明　　13
1.10　在軟件開發(fā)過程中進行測試　　13
1.11　軟件測試活動　　14
1.11.1　分析　　15
1.11.2　測試覆蓋項　　15
1.11.3　測試用例　　16
1.11.4　驗證測試用例　　17
1.11.5　測試實現(xiàn)　　17
1.12　測試的工作產(chǎn)品　　17
1.13　故障模型　　18
1.14　如何使用本書　　18
1.14.1　本書結(jié)構(gòu)　　18
1.14.2　測試順序　　19
1.14.3　文檔化測試分析　　19
1.14.4　編程語言　　19
1.14.5　詳細程度　　19
1.14.6　示例　　19
1.14.7　軟件測試工具　　19
1.15　術(shù)語　　20
第2章　等價類劃分　　21
2.1　使用等價類劃分進行測試　　21
2.2　示例　　21
2.2.1　分析　　22
2.2.2　測試覆蓋項　　25
2.2.3　測試用例　　25
2.2.4　驗證測試用例　　27
2.3　測試實現(xiàn)和測試結(jié)果　　28
2.3.1　手工測試的輸出　　28
2.3.2　自動化的測試實現(xiàn)　　28
2.3.3　測試結(jié)果　　31
2.4　等價類劃分的細節(jié)　　31
2.4.1　故障模型　　31
2.4.2　描述　　31
2.4.3　分析：識別等價類劃分　　31
2.4.4　測試覆蓋項　　33
2.4.5　測試用例　　33
2.4.6　缺點　　33
2.5　評估　　34
2.5.1　局限性　　34
2.5.2　強項和弱項　　37
2.6　劃重點　　37
2.7　給有經(jīng)驗的測試員的建議　　37
第3章　邊界值分析　　38
3.1　使用邊界值進行測試　　38
3.2　示例　　38
3.2.1　分析　　38
3.2.2　測試覆蓋項　　39
3.2.3　測試用例　　39
3.2.4　驗證測試用例　　40
3.3　測試實現(xiàn)和測試結(jié)果　　41
3.3.1　測試實現(xiàn)　　41
3.3.2　測試結(jié)果　　42
3.4　邊界值分析的細節(jié)　　42
3.4.1　故障模型　　42
3.4.2　描述　　42
3.4.3　分析：識別邊界值　　43
3.4.4　測試覆蓋項　　43
3.4.5　測試用例　　43
3.4.6　缺點　　44
3.5　評估　　44
3.5.1　局限性　　44
3.5.2　強項和弱項　　46
3.6　劃重點　　46
3.7　給有經(jīng)驗的測試員的建議　　46
第4章　判定表　　47
4.1　使用判定表測試組合　　47
4.2　示例　　47
4.2.1　分析　　47
4.2.2　測試覆蓋項　　52
4.2.3　測試用例　　53
4.2.4　驗證測試用例　　54
4.3　測試實現(xiàn)和測試結(jié)果　　55
4.3.1　測試實現(xiàn)　　55
4.3.2　測試結(jié)果　　56
4.4　判定表的細節(jié)　　56
4.4.1　故障模型　　56
4.4.2　描述　　56
4.4.3　分析：開發(fā)判定表　　56
4.4.4　測試覆蓋項　　64
4.4.5　測試用例　　64
4.4.6　缺點　　64
4.5　評估　　64
4.5.1　局限性　　64
4.5.2　強項和弱項　　66
4.6　劃重點　　66
4.7　給有經(jīng)驗的測試員的建議　　66
第5章　語句覆蓋　　67
5.1　白盒測試　　67
5.2　語句覆蓋測試　　67
5.2.1　獲取語句覆蓋率　　67
5.3　示例　　67
5.3.1　分析　　68
5.3.2　測試覆蓋項　　70
5.3.3　測試用例　　70
5.3.4　驗證測試用例　　71
5.4　測試實現(xiàn)和測試結(jié)果　　71
5.4.1　測試實現(xiàn)　　71
5.4.2　測試結(jié)果　　72
5.5　語句覆蓋的細節(jié)　　73
5.5.1　故障模型　　73
5.5.2　描述　　73
5.5.3　分析：識別未執(zhí)行的語句　　73
5.5.4　測試覆蓋項　　73
5.5.5　測試用例　　73
5.6　評估　　74
5.6.1　局限性　　74
5.6.2　強項和弱項　　75
5.7　劃重點　　76
5.8　給有經(jīng)驗的測試員的建議　　76
第6章　分支覆蓋　　77
6.1　分支覆蓋測試　　77
6.1.1　獲取分支覆蓋率　　77
6.2　示例　　77
6.2.1　分析　　78
6.2.2　測試覆蓋項　　80
6.2.3　測試用例　　80
6.2.4　驗證測試用例　　80
6.3　測試實現(xiàn)和測試