軟件測(cè)試：軟件工程技術(shù)叢書(shū)測(cè)試系列（原書(shū)第2版）

譯者序
第1版前言
前言
第一部分   數(shù)學(xué)背景
第1章   測(cè)試概述 2
1.1   基本定義 2
1.2   測(cè)試用例 3
1.3   通過(guò)維恩圖理解測(cè)試 4
1.4   標(biāo)識(shí)測(cè)試用例 6
1.4.1   功能性測(cè)試 6
1.4.2   結(jié)構(gòu)性測(cè)試 7
1.4.3   功能性測(cè)試與結(jié)構(gòu)性測(cè)試的比較 8
1.5   錯(cuò)誤與缺陷分類(lèi) 9
1.6   測(cè)試級(jí)別 11
1.7   參考文獻(xiàn) 12
1.8   練習(xí) 12
第2章   舉例 13
2.1   泛化的偽代碼 13
2.2   三角形問(wèn)題 15
2.2.1   問(wèn)題陳述 15
2.2.2   討論 15
2.2.3   傳統(tǒng)實(shí)現(xiàn) 15
2.2.4   結(jié)構(gòu)化實(shí)現(xiàn) 18
2.3   NextDate函數(shù) 20
2.3.1   問(wèn)題陳述 20
2.3.2   討論 20
2.3.3   實(shí)現(xiàn) 20
2.4   傭金問(wèn)題 23
2.4.1   問(wèn)題陳述 23
2.4.2   討論 23
2.4.3   實(shí)現(xiàn) 24
2.5   SATM系統(tǒng) 24
2.5.1   問(wèn)題陳述 25
2.5.2   討論 27
2.6   貨幣轉(zhuǎn)換器 27
2.7   土星牌擋風(fēng)玻璃雨刷 28
2.8   參考文獻(xiàn) 28
2.9   練習(xí) 28
第3章   測(cè)試人員的離散數(shù)學(xué) 30
3.1   集合論 30
3.1.1   集合成員關(guān)系 30
3.1.2   集合定義 31
3.1.3   空集 31
3.1.4   維恩圖 32
3.1.5   集合操作 32
3.1.6   集合關(guān)系 34
3.1.7   子集劃分 34
3.1.8   集合恒等式 35
3.2   函數(shù) 36
3.2.1   定義域與值域 36
3.2.2   函數(shù)類(lèi)型 37
3.2.3   函數(shù)合成 38
3.3   關(guān)系 39
3.3.1   集合之間的關(guān)系 39
3.3.2   單個(gè)集合上的關(guān)系 40
3.4   命題邏輯 41
3.4.1   邏輯操作符 42
3.4.2   邏輯表達(dá)式 42
3.4.3   邏輯等價(jià) 43
3.5   概率論 44
3.6   參考文獻(xiàn) 45
3.7   練習(xí) 45
第4章   測(cè)試人員的圖論 47
4.1   圖 47
4.1.1   節(jié)點(diǎn)的度 48
4.1.2   關(guān)聯(lián)矩陣 48
4.1.3   相鄰矩陣 49
4.1.4   路徑 49
4.1.5   連接性 50
4.1.6   壓縮圖 51
4.1.7   圈數(shù) 51
4.2   有向圖 52
4.2.1   內(nèi)度與外度 53
4.2.2   節(jié)點(diǎn)的類(lèi)型 53
4.2.3   有向圖的相鄰矩陣 54
4.2.4   路徑與半路徑 54
4.2.5   可到達(dá)性矩陣 55
4.2.6   n-連接性 55
4.2.7   強(qiáng)組件 56
4.3   用于測(cè)試的圖 57
4.3.1   程序圖 57
4.3.2   有限狀態(tài)機(jī) 58
4.3.3   Petri網(wǎng) 60
4.3.4   事件驅(qū)動(dòng)的Petri網(wǎng) 62
4.3.5   狀態(tài)圖 65
4.4   參考文獻(xiàn) 67
4.5   練習(xí) 67
第二部分   功能性測(cè)試
第5章   邊界值測(cè)試 70
5.1   邊界值分析 70
5.1.1   歸納邊界值分析 71
5.1.2   邊界值分析的局限性 72
5.2   健壯性測(cè)試 73
5.3   最壞情況測(cè)試 73
5.4   特殊值測(cè)試 74
5.5   舉例 75
5.5.1   三角形問(wèn)題的測(cè)試用例 75
5.5.2   NextDate函數(shù)的測(cè)試用例 79
5.5.3   傭金問(wèn)題的測(cè)試用例 82
5.6   隨機(jī)測(cè)試 84
5.7   邊界值測(cè)試的指導(dǎo)方針 85
5.8   練習(xí) 86
第6章   等價(jià)類(lèi)測(cè)試 87
6.1   等價(jià)類(lèi) 87
6.1.1   弱一般等價(jià)類(lèi)測(cè)試 88
6.1.2   強(qiáng)一般等價(jià)類(lèi)測(cè)試 88
6.1.3   弱健壯等價(jià)類(lèi)測(cè)試 89
6.1.4   強(qiáng)健壯等價(jià)類(lèi)測(cè)試 90
6.2   三角形問(wèn)題的等價(jià)類(lèi)測(cè)試用例 90
6.3   NextDate函數(shù)的等價(jià)類(lèi)測(cè)試用例 92
6.4   傭金問(wèn)題的等價(jià)類(lèi)測(cè)試用例 95
6.4.1   輸出值域等價(jià)類(lèi)測(cè)試用例 96
6.4.2   輸出值域等價(jià)類(lèi)測(cè)試用例 97
6.5   指導(dǎo)方針和觀察 97
6.6   參考文獻(xiàn) 98
6.7   練習(xí) 98
第7章   基于決策表的測(cè)試 100
7.1   決策表 100
7.2   三角形問(wèn)題的測(cè)試用例 104
7.3   NextDate函數(shù)測(cè)試用例 105
7.3.1   第一次嘗試 105
7.3.2   第二次嘗試 106
7.3.3   第三次嘗試 108
7.4   傭金問(wèn)題的測(cè)試用例 110
7.5   指導(dǎo)方針與觀察 110
7.6   參考文獻(xiàn) 111
7.7   練習(xí) 111
第8章   功能性測(cè)試回顧 112
8.1   測(cè)試工作量 112
8.2   測(cè)試效率 115
8.3   測(cè)試的有效性 115
8.4   指導(dǎo)方針 116
8.5   案例研究 117
第三部分   結(jié)構(gòu)性測(cè)試
第9章   路徑測(cè)試 124
9.1   DD-路徑 126
9.2   測(cè)試覆蓋指標(biāo) 129
9.2.1   基于指標(biāo)的測(cè)試 129
9.2.2   測(cè)試覆蓋分析器 131
9.3   基路徑測(cè)試 131
9.3.1   McCabe的基路徑方法 132
9.3.2   關(guān)于McCabe基路徑方法的觀察 134
9.3.3   基本復(fù)雜度 136
9.4   指導(dǎo)方針與觀察 138
9.5   參考文獻(xiàn) 140
9.6   練習(xí) 141
第10章   數(shù)據(jù)流測(cè)試 143
10.1   定義/使用測(cè)試 143
10.1.1   舉例 144
10.1.2   stocks的定義-使用路徑 148
10.1.3   locks的定義-使用路徑 148
10.1.4   totalLocks的定義-使用路徑 149
10.1.5   sales的定義-使用路徑 149
10.1.6   commission的定義-使用路徑 150
10.1.7   定義-使用路徑測(cè)試覆蓋指標(biāo) 151
10.2   基于程序片的測(cè)試 152
10.2.1   舉例 154
10.2.2   風(fēng)格與技術(shù) 157
10.3   指導(dǎo)方針與觀察 158
10.4   參考文獻(xiàn) 159
10.5   練習(xí) 159
第11章   結(jié)構(gòu)性測(cè)試回顧 160
11.1   漏洞與冗余 160
11.2   用于方法評(píng)估的指標(biāo) 162
11.3   重溫案例研究 164
11.3.1   基于路徑的測(cè)試 167
11.3.2   數(shù)據(jù)流測(cè)試 167
11.3.3   片測(cè)試 167
11.4   參考文獻(xiàn) 167
11.5   練習(xí) 168
第四部分   集成與系統(tǒng)測(cè)試
第12章   測(cè)試層次 170
12.1   測(cè)試層次的傳統(tǒng)觀點(diǎn) 170
12.2   其他生命周期模型 171
12.2.1   瀑布模型的新模型 172
12.2.2   基于規(guī)格說(shuō)明的生命周期模型 173
12.3   ASTM系統(tǒng) 175
12.4   將集成測(cè)試與系統(tǒng)測(cè)試分開(kāi) 184
12.4.1   結(jié)構(gòu)認(rèn)識(shí) 185
12.4.2   行為認(rèn)識(shí) 186
12.5   參考文獻(xiàn) 186
第13章   集成測(cè)試 187
13.1   深入研究SATM系統(tǒng) 187
13.2   基于分解的集成 191
13.2.1   自頂向下集成 191
13.2.2   自底向上集成 192
13.2.3   三明治集成 193
13.2.4   優(yōu)缺點(diǎn) 194
13.3   基于調(diào)用圖的集成 194
13.3.1   成對(duì)集成 194
13.3.2   相鄰集成 194
13.3.3   優(yōu)缺點(diǎn) 196
13.4   基于路徑的集成 197
13.4.1   新概念與擴(kuò)展概念 197
13.4.2   SATM系統(tǒng)中的MM-路徑 200
13.4.3   MM-路徑復(fù)雜度 203
13.4.4   優(yōu)缺點(diǎn) 204
13.5   案例研究 205
13.5.1   基于分解的集成 209
13.5.2   基于調(diào)用圖的集成 209
13.5.3   基于MM-路徑的集成 209
13.6   參考文獻(xiàn) 210
13.7   練習(xí) 210
第14章   系統(tǒng)測(cè)試 211
14.1   線索 211
14.1.1   線索的可能性 212
14.1.2   線索定義 213
14.2   需求規(guī)格說(shuō)明的基本概念 214
14.2.1   數(shù)據(jù) 215
14.2.2   行動(dòng) 215
14.2.3   設(shè)備 215
14.2.4   事件 216
14.2.5   線索 216
14.2.6   基本概念之間的關(guān)系 216
14.2.7   采用基本概念建模 217
14.3   尋找線索 219
14.4   線索測(cè)試的結(jié)構(gòu)策略 222
14.4.1   自底向上組織線索 223
14.4.2   節(jié)點(diǎn)與邊覆蓋指標(biāo) 224
14.5   線索測(cè)試的功能策略 225
14.5.1   基于事件的線索測(cè)試 225
14.5.2   基于端口的線索測(cè)試 227
14.5.3   基于數(shù)據(jù)的線索測(cè)試 227
14.6   SATM測(cè)試線索 229
14.7   系統(tǒng)測(cè)試指導(dǎo)方針 233
14.7.1   偽結(jié)構(gòu)系統(tǒng)測(cè)試 233
14.7.2   運(yùn)行剖面 233
14.7.3   累進(jìn)測(cè)試與回歸測(cè)試 235
14.8   參考文獻(xiàn) 236
14.9   練習(xí) 236
第15章   交互測(cè)試 237
15.1   交互的語(yǔ)境 237
15.2   交互的分類(lèi) 239
15.2.1   單處理器中的靜態(tài)交互 240
15.2.2   多處理器中的靜態(tài)交互 241
15.2.3   單處理器中的動(dòng)態(tài)交互 242
15.2.4   多處理器中的動(dòng)態(tài)交互 247
15.3   交互. 合成與確定性 254
15.4   客戶-服務(wù)器測(cè)試 256
15.5   參考文獻(xiàn) 257
15.6   練習(xí) 257
第五部分   面向?qū)ο蟮臏y(cè)試
第16章   面向?qū)ο蟮臏y(cè)試問(wèn)題 260
16.1   面向?qū)ο鬁y(cè)試的單元 260
16.2   合成與封裝的涵義 261
16.3   繼承的涵義 263
16.4   多態(tài)性的涵義 264
16.5   面向?qū)ο鬁y(cè)試的層次 264
16.6   GUI測(cè)試 264
16.7   面向?qū)ο筌浖臄?shù)據(jù)流測(cè)試 265
16.8   第五部分采用的例子 265
16.8.1   面向?qū)ο蟮娜諝v 265
16.8.2   貨幣轉(zhuǎn)換應(yīng)用程序 266
16.9   參考文獻(xiàn) 270
16.10   練習(xí) 270
第17章   類(lèi)測(cè)試 271
17.1   以方法為單元 271
17.1.1   o-oCalendar的偽代碼 272
17.1.2   Date.increment的單元測(cè)試 276
17.2   以類(lèi)為單元 277
17.2.1   windshieldWiper類(lèi)的偽代碼 277
17.2.2   windshieldWiper類(lèi)的單元測(cè)試 278
第18章   面向?qū)ο蟮募蓽y(cè)試 282
18.1   集成測(cè)試的UML支持 282
18.2   面向?qū)ο筌浖腗M-路徑 284
18.3   面向?qū)ο髷?shù)據(jù)流集成測(cè)試框架 290
18.3.1   事件驅(qū)動(dòng)和消息驅(qū)動(dòng)的Petri網(wǎng) 291
18.3.2   由繼承導(dǎo)出的數(shù)據(jù)流 292
18.3.3   由消息導(dǎo)出的數(shù)據(jù)流 292
18.3.4   分片 294
18.4   練習(xí) 294
18.5   參考文獻(xiàn) 296
第19章   GUI測(cè)試 297
19.1   貨幣轉(zhuǎn)換程序 297
19.2   貨幣轉(zhuǎn)換程序的單元測(cè)試 301
19.3   貨幣轉(zhuǎn)換程序的集成測(cè)試 302
19.4   貨幣轉(zhuǎn)換程序的系統(tǒng)測(cè)試 303
19.5   練習(xí) 307
第20章   面向?qū)ο蟮南到y(tǒng)測(cè)試 308
20.1   貨幣轉(zhuǎn)換器的UML描述 308
20.1.1   問(wèn)題陳述 308
20.1.2   系統(tǒng)功能 308
20.1.3   表示層 309
20.1.4   高層用例 309
20.1.5   基本用例 310
20.1.6   詳細(xì)GUI定義 311
20.1.7   擴(kuò)展基本用例 312
20.1.8   真實(shí)用例 315
20.2   基于UML的系統(tǒng)測(cè)試 315
20.3   基于“狀態(tài)圖”的系統(tǒng)測(cè)試 318
20.4   參考文獻(xiàn) 318