軟件測(cè)試：一個(gè)軟件工藝師的方法（原書(shū)第4版）

目　　錄
Software Testing: A Craftsman’s Approach, Fourth Edition
出版者的話
譯者序
前言
第一部分　數(shù)學(xué)基礎(chǔ)
第1章　測(cè)試概述 2
1.1　基本概念 2
1.2　測(cè)試用例 3
1.3　利用維恩圖來(lái)理解軟件測(cè)試 3
1.4　構(gòu)造測(cè)試用例 4
1.4.1　基于規(guī)格說(shuō)明的測(cè)試 5
1.4.2　基于代碼的測(cè)試 5
1.4.3　兩種測(cè)試方法的對(duì)比 6
1.5　故障的分類(lèi) 7
1.6　測(cè)試的層次 8
1.7　習(xí)題 8
1.8　參考文獻(xiàn) 8
第2章　程序示例 9
2.1　通用偽代碼 9
2.2　三角形問(wèn)題 10
2.2.1　問(wèn)題描述 10
2.2.2　三角形問(wèn)題的討論 11
2.2.3　三角形問(wèn)題的經(jīng)典實(shí)現(xiàn) 11
2.2.4　三角形問(wèn)題的結(jié)構(gòu)化實(shí)現(xiàn) 14
2.3　NextDate日期函數(shù) 15
2.3.1　問(wèn)題描述 15
2.3.2　NextDate函數(shù)的討論 16
2.3.3　NextDate函數(shù)的實(shí)現(xiàn) 16
2.4　傭金問(wèn)題 18
2.4.1　問(wèn)題描述 18
2.4.2　傭金問(wèn)題的討論 19
2.4.3　傭金問(wèn)題的實(shí)現(xiàn) 19
2.5　SATM系統(tǒng) 20
2.5.1　問(wèn)題描述 20
2.5.2　SATM系統(tǒng)的討論 21
2.6　貨幣兌換計(jì)算器 22
2.7　雨刷控制器 22
2.8　車(chē)庫(kù)門(mén)遙控開(kāi)關(guān) 22
2.9　習(xí)題 23
2.10　參考文獻(xiàn) 24
第3章　面向測(cè)試人員的離散數(shù)學(xué) 25
3.1　集合論 25
3.1.1　集合的成員關(guān)系 25
3.1.2　集合的定義方法 25
3.1.3　空集 26
3.1.4　集合的維恩圖 26
3.1.5　集合運(yùn)算 27
3.1.6　集合關(guān)系 28
3.1.7　集合劃分 29
3.1.8　集合恒等 29
3.2　函數(shù) 30
3.2.1　定義域與值域 30
3.2.2　函數(shù)類(lèi)型 30
3.2.3　函數(shù)復(fù)合 31
3.3　關(guān)系 32
3.3.1　集合之間的關(guān)系 32
3.3.2　單個(gè)集合上的關(guān)系 33
3.4　命題邏輯 34
3.4.1　邏輯運(yùn)算符 34
3.4.2　邏輯表達(dá)式 35
3.4.3　邏輯等價(jià) 35
3.5　概率論 36
3.6　習(xí)題 37
3.7　參考文獻(xiàn) 37
第4章　面向測(cè)試人員的圖論 38
4.1　圖 38
4.1.1　節(jié)點(diǎn)的度 38
4.1.2　關(guān)聯(lián)矩陣 39
4.1.3　鄰接矩陣 39
4.1.4　路徑 40
4.1.5　連通性 40
4.1.6　壓縮圖 41
4.1.7　圈數(shù) 41
4.2　有向圖 41
4.2.1　入度與出度 42
4.2.2　節(jié)點(diǎn)類(lèi)型 42
4.2.3　有向圖的鄰接矩陣 43
4.2.4　路徑與半路徑 43
4.2.5　可達(dá)矩陣 44
4.2.6　n連通性 44
4.2.7　強(qiáng)分圖 44
4.3　軟件測(cè)試中常用的圖 45
4.3.1　程序圖 45
4.3.2　有限狀態(tài)機(jī) 46
4.3.3　Petri網(wǎng) 47
4.3.4　事件驅(qū)動(dòng)Petri網(wǎng) 49
4.3.5　狀態(tài)圖 50
4.4　習(xí)題 52
4.5　參考文獻(xiàn) 52
第二部分　單元測(cè)試
第5章　邊界值測(cè)試 54
5.1　邊界值分析 54
5.1.1　邊界值分析的拓展 55
5.1.2　邊界值分析的局限性 56
5.2　健壯性測(cè)試 56
5.3　最壞情況測(cè)試 57
5.4　特殊值測(cè)試 57
5.5　示例 58
5.5.1　三角形問(wèn)題的測(cè)試用例 58
5.5.2　NextDate函數(shù)的測(cè)試用例 59
5.5.3　傭金問(wèn)題的測(cè)試用例 60
5.6　隨機(jī)測(cè)試 62
5.7　邊界值測(cè)試的原則 63
5.8　習(xí)題 65
第6章　等價(jià)類(lèi)測(cè)試 66
6.1　等價(jià)類(lèi) 66
6.2　傳統(tǒng)的等價(jià)類(lèi)測(cè)試 66
6.3　改進(jìn)的等價(jià)類(lèi)測(cè)試 67
6.3.1　弱一般等價(jià)類(lèi)測(cè)試 68
6.3.2　強(qiáng)一般等價(jià)類(lèi)測(cè)試 68
6.3.3　弱健壯等價(jià)類(lèi)測(cè)試 68
6.3.4　強(qiáng)健壯等價(jià)類(lèi)測(cè)試 69
6.4　三角形問(wèn)題的等價(jià)類(lèi)測(cè)試用例 69
6.5　NextDate函數(shù)的等價(jià)類(lèi)測(cè)試用例 71
6.6　傭金問(wèn)題的等價(jià)類(lèi)測(cè)試用例 73
6.7　邊緣測(cè)試 75
6.8　原則與注意事項(xiàng) 75
6.9　習(xí)題 76
6.10　參考文獻(xiàn) 76
第7章　基于決策表的測(cè)試 77
7.1　決策表 77
7.2　決策表使用技巧 77
7.3　三角形問(wèn)題的測(cè)試用例 80
7.4　Next Date函數(shù)的測(cè)試用例 81
7.4.1　第一輪嘗試 81
7.4.2　第二輪嘗試 82
7.4.3　第三輪嘗試 83
7.5　傭金問(wèn)題的測(cè)試用例 85
7.6　因果關(guān)系圖 85
7.7　原則與注意事項(xiàng) 86
7.8　習(xí)題 87
7.9　參考文獻(xiàn) 87
第8章　路徑測(cè)試 88
8.1　程序圖 88
8.2　DD路徑 90
8.3　測(cè)試覆蓋指標(biāo) 92
8.3.1　基于程序圖的覆蓋度量方法 92
8.3.2　E. F. Miller的覆蓋度量方法 92
8.3.3　復(fù)合條件下的閉合路徑 95
8.3.4　示例 96
8.3.5　測(cè)試覆蓋分析器 99
8.4　基路徑測(cè)試 99
8.4.1　McCabe的基路徑方法 100
8.4.2　McCabe基路徑方法的考慮 102
8.4.3　McCabe方法的基本復(fù)雜度 103
8.5　原則與注意事項(xiàng) 105
8.6　習(xí)題 105
8.7　參考文獻(xiàn) 106
第9章　數(shù)據(jù)流測(cè)試 107
9.1　定義/使用測(cè)試 107
9.1.1　舉例 108
9.1.2　stocks的定義使用路徑 110
9.1.3　locks的定義使用路徑 110
9.1.4　totalLocks的定義使用路徑 113
9.1.5　sales的定義使用路徑 113
9.1.6　commission的定義使用路徑 115
9.1.7　定義使用路徑的測(cè)試覆蓋指標(biāo) 115
9.1.8　面向?qū)ο缶幋a的定義/使用測(cè)試 116
9.2　基于程序切片的測(cè)試 116
9.2.1　舉例 118
9.2.2　風(fēng)格與技術(shù) 122
9.2.3　切片拼接 123
9.3　程序切片工具 124
9.4　習(xí)題 125
9.5　參考文獻(xiàn) 125
第10章　單元測(cè)試回顧 126
10.1　測(cè)試方法的搖擺 126
10.2　測(cè)試方法搖擺問(wèn)題探索 128
10.3　用于評(píng)估測(cè)試方法的指標(biāo) 131
10.4　重新