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

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