Why Programs Fail：系統(tǒng)化調(diào)試指南

第1章  故障從哪里來(lái)    1
1.1  我的程序罷工了    1
1.2  從缺陷到故障    3
1.3  迷失在時(shí)空之中    5
1.4  從故障到修正    9
1.5  自動(dòng)調(diào)試技術(shù)    14
1.6  BUG、失誤、
1.6  還是缺陷？    18
1.7  概念    20
1.8  工具    21
1.9  進(jìn)一步閱讀指南    22
1.10  習(xí)題    23
第2章  跟蹤問(wèn)題    25
2.1  啊！這么多問(wèn)題    25
2.2  報(bào)告問(wèn)題    26
2.3  管理問(wèn)題    29
2.4  問(wèn)題分類(lèi)    31
2.4.1  嚴(yán)重程度    31
2.4.2  優(yōu)先級(jí)    32
2.4.3  標(biāo)識(shí)    32
2.4.4  注釋    32
2.4.5  通知    32
2.5  處理問(wèn)題    32
2.6  管理問(wèn)題跟蹤過(guò)程    35
2.7  把需求看作問(wèn)題    36
2.8  管理重復(fù)問(wèn)題    37
2.9  關(guān)聯(lián)問(wèn)題和修正    39
2.10  關(guān)聯(lián)問(wèn)題和測(cè)試    41
2.11  概念    43
2.12  工具    44
2.13  進(jìn)一步閱讀指南    45
2.14  習(xí)題    46
第3章  讓程序出錯(cuò)    48
3.1  調(diào)試測(cè)試    48
3.2  控制程序    50
3.3  在表現(xiàn)層測(cè)試    52
3.3.1  低級(jí)交互    52
3.3.2  系統(tǒng)級(jí)交互    54
3.3.3  高級(jí)交互    55
3.3.4  評(píng)估測(cè)試結(jié)果    56
3.4  在功能層測(cè)試    57
3.5  在單元層測(cè)試    59
3.6  分離單元    63
3.7  為調(diào)試而設(shè)計(jì)    66
3.8  預(yù)防未知問(wèn)題    69
3.9  概念    70
3.10  工具    71
3.11  進(jìn)一步閱讀指南    72
3.12  習(xí)題    73
第4章  重現(xiàn)問(wèn)題    75
4.1  調(diào)試過(guò)程的第一步    75
4.2  重現(xiàn)問(wèn)題環(huán)境    76
4.3  重現(xiàn)程序運(yùn)行過(guò)程    78
4.3.1  重現(xiàn)數(shù)據(jù)    80
4.3.2  重現(xiàn)用戶交互    81
4.3.3  重現(xiàn)通信    83
4.3.4  重現(xiàn)時(shí)間    83
4.3.5  重現(xiàn)隨機(jī)性    84
4.3.6  重現(xiàn)操作環(huán)境    85
4.3.7  重現(xiàn)調(diào)度    87
4.3.8  物理影響    89
4.3.9  調(diào)試工具的影響    90
4.4  重現(xiàn)系統(tǒng)交互    92
4.5  專注于單元    92
4.5.1  創(chuàng)建一個(gè)控制層    93
4.5.2  單元控制舉例    94
4.5.3  偽對(duì)象    96
4.5.4  控制更多的交互    98
4.6  概念    99
4.7  工具    100
4.8  進(jìn)一步閱讀指南    100
4.9  習(xí)題    101
第5章  簡(jiǎn)化問(wèn)題    103
5.1  簡(jiǎn)化問(wèn)題    103
5.2  GECKO BUG馬拉松    104
5.3  手工簡(jiǎn)化    107
5.4  自動(dòng)簡(jiǎn)化    109
5.5  簡(jiǎn)化算法    111
5.6  簡(jiǎn)化用戶交互    117
5.7  簡(jiǎn)化隨機(jī)輸入    118
5.8  快速簡(jiǎn)化    119
5.8.1  緩存    120
5.8.2  盡早結(jié)束    120
5.8.3  語(yǔ)法簡(jiǎn)化    121
5.8.4  分離差別，而不是
5.8.4  環(huán)境因素    122
5.9  概念    123
5.10  工具    124
5.11  進(jìn)一步閱讀指南    124
5.12  習(xí)題    125
第6章  科學(xué)調(diào)試    128
6.1  如何成為一個(gè)
6.1  調(diào)試專家    128
6.2  科學(xué)方法    129
6.3  應(yīng)用科學(xué)方法    130
6.3.1  調(diào)試sample—準(zhǔn)備    130
6.3.2  調(diào)試sample—假設(shè)1    132
6.3.3  調(diào)試sample—假設(shè)2    132
6.3.4  調(diào)試sample—假設(shè)3    132
6.3.5  調(diào)試sample—假設(shè)4    133
6.4  明確調(diào)試    134
6.5  記錄日志    135
6.6  快速而雜亂的調(diào)試    136
6.7  算法調(diào)試    137
6.8  構(gòu)造假設(shè)    140
6.9  程序推理技術(shù)    142
6.10  概念    144
6.11  進(jìn)一步閱讀指南    145
6.12  習(xí)題    146
第7章  推演錯(cuò)誤    148
7.1  分離取值的來(lái)源    148
7.2  理解控制流    149
7.3  跟蹤依賴關(guān)系    153
7.3.1  語(yǔ)句的效果    153
7.3.2  被影響語(yǔ)句    154
7.3.3  語(yǔ)句依賴關(guān)系    155
7.3.4  跟蹤依賴關(guān)系    156
7.3.5  利用依賴關(guān)系    158
7.4  程序切片    159
7.4.1  前向片斷    159
7.4.2  后向片斷    159
7.4.3  片斷運(yùn)算    160
7.4.4  利用片斷    162
7.4.5  可運(yùn)行片斷    162
7.5  推演代碼的壞味道    163
7.6  靜態(tài)分析的局限性    168
7.7  概念    172
7.8  工具    172
7.9  進(jìn)一步閱讀指南    173
7.10  習(xí)題    174
第8章  觀察事實(shí)    177
8.1  觀察狀態(tài)    177
8.2  記錄運(yùn)行情況    178
8.2.1  日志記錄函數(shù)    180
8.2.2  日志記錄的框架    183
8.2.3  用方面記錄日志    186
8.2.4  在二進(jìn)制級(jí)別
8.2.4  記錄日志    189
8.3  使用調(diào)試器    192
8.3.1  調(diào)試會(huì)話    193
8.3.2  控制運(yùn)行過(guò)程    196
8.3.3  事后調(diào)試    197
8.3.4  記錄數(shù)據(jù)日志    198
8.3.5  調(diào)用函數(shù)    198
8.3.6  修正與繼續(xù)    199
8.3.7  嵌入式調(diào)試器    199
8.3.8  有關(guān)調(diào)試器的建議    200
8.4  查詢事件    201
8.4.1  監(jiān)視點(diǎn)    202
8.4.2  統(tǒng)一事件查詢    203
8.5  可視化顯示狀態(tài)    205
8.6  概念    207
8.7  工具    208
8.8  進(jìn)一步閱讀指南    209
8.9  習(xí)題    210
第9章  跟蹤錯(cuò)誤來(lái)源    216
9.1  回溯推理    216
9.2  探查運(yùn)行歷史    217
9.3  動(dòng)態(tài)切片    219
9.4  操作來(lái)源    222
9.5  捕獲錯(cuò)誤狀態(tài)    225
9.6  概念    226
9.7  工具    227
9.8  進(jìn)一步閱讀指南    227
9.9  習(xí)題    227
第10章  斷言預(yù)期結(jié)果    230
10.1  自動(dòng)觀察    230
10.2  基本斷言    232
10.3  斷言不變量    233
10.4  斷言正確性    237
10.5  作為規(guī)格說(shuō)明的斷言    240
10.6  從斷言到驗(yàn)證    241
10.7  參考運(yùn)行過(guò)程    244
10.8  系統(tǒng)斷言    246
10.8.1  用MALLOC_CHECK
10.8.1  檢查堆    247
10.8.2  用ELECTRICFENCE
10.8.2  避免緩沖區(qū)溢出    248
10.8.3  用VALGRIND
10.8.3  檢測(cè)內(nèi)存錯(cuò)誤    248
10.8.4  語(yǔ)言擴(kuò)展    250
10.9  檢查產(chǎn)品代碼    252
10.10  概念    253
10.11  工具    254
10.12  進(jìn)一步閱讀指南    256
10.13  習(xí)題    258
第11章  檢測(cè)反常    263
11.1  捕捉正常行為    263
11.2  比較覆蓋情況    264
11.3  統(tǒng)計(jì)調(diào)試    269
11.4  從用戶環(huán)境中
11.4  收集數(shù)據(jù)    270
11.5  動(dòng)態(tài)不變量    272
11.6  運(yùn)行時(shí)的不變量    276
11.7  從反常定位缺陷    278
11.8  概念    278
11.9  工具    279
11.10  進(jìn)一步閱讀指南    280
11.11  習(xí)題    281
第12章  起因與結(jié)果    283
12.1  起因和參照世界    283
12.2  驗(yàn)證起因    285
12.3  因果關(guān)系實(shí)踐    285
12.4  尋找真實(shí)起因    288
12.5  縮小起因范圍    289
12.6  縮小差別舉例    289
12.7  公共環(huán)境    290
12.8  調(diào)試中的起因    291
12.9  概念    292
12.10  進(jìn)一步閱讀指南    292
12.11  習(xí)題    293
第13章  分離故障起因    296
13.1  自動(dòng)分離起因    296
13.2  分離和簡(jiǎn)化    297
13.3  一種分離算法    299
13.4  實(shí)現(xiàn)分離    301
13.5  分離引發(fā)故障的輸入    304
13.6  分離引發(fā)故障的
13.6  調(diào)度過(guò)程    305
13.7  分離引發(fā)故障的變化    307
13.8  問(wèn)題和局限性    313
13.9  概念    315
13.10  工具    316
13.11  進(jìn)一步閱讀指南    316
13.12  習(xí)題    317
第14章  分離因果鏈    319
14.1  無(wú)用起因    319
14.2  捕捉程序狀態(tài)    322
14.3  比較程序狀態(tài)    325
14.4  分離相關(guān)程序狀態(tài)    327
14.5  分離因果鏈    331
14.6  分離引發(fā)故障的代碼    336
14.7  問(wèn)題和風(fēng)險(xiǎn)    340
14.8  概念    342
14.9  工具    343
14.10  進(jìn)一步閱讀指南    343
14.11  習(xí)題    344
第15章  修正缺陷    346
15.1  定位缺陷    346
15.2  重點(diǎn)關(guān)注最可能的
15.2  錯(cuò)誤    347
15.3  確認(rèn)缺陷    350
15.3.1  是這個(gè)錯(cuò)誤引發(fā)了
15.3.1  故障嗎？    350
15.3.2  該起因真是
15.3.2  錯(cuò)誤嗎？    351
15.3.3  先思考，后修正    353
15.4  修正缺陷    353
15.4.1  故障不再出現(xiàn)
15.4.1  了嗎？    353
15.4.2  修正會(huì)引入新
15.4.2  問(wèn)題嗎？    354
15.4.3  同樣的差錯(cuò)會(huì)出現(xiàn)在
15.4.3  其他地方嗎？    355
15.4.4  我完成所有
15.4.4  工作了嗎？    355
15.5  變通方法    356
15.6  從差錯(cuò)中學(xué)習(xí)    357
15.7  概念    359
15.8  進(jìn)一步閱讀指南    360
15.9  習(xí)題    361
附錄A  規(guī)范定義    363
A.1  Delta調(diào)試    363
A.1.1  配置    363
A.1.2  成功與故障
A.1.2  運(yùn)行過(guò)程    363
A.1.3  測(cè)試    364
A.1.4  最小性    364
A.1.5  簡(jiǎn)化    364
A.1.6  差別    365
A.1.7  分離    366
A.2  內(nèi)存狀態(tài)圖    366
A.2.1  規(guī)范結(jié)構(gòu)    366
A.2.2  展開(kāi)數(shù)據(jù)結(jié)構(gòu)    368
A.2.3  匹配頂點(diǎn)與有
A.2.3  向邊    369
A.2.4  計(jì)算公共子圖    370
A.2.5  計(jì)算圖的差別    370
A.2.6  應(yīng)用部分狀態(tài)
A.2.6  變化    373
A.2.7  捕獲C狀態(tài)    373
A.3  因果鏈    375
術(shù)語(yǔ)表    378
參考文獻(xiàn)    382
索引    390
How To目錄
如何調(diào)試程序    20
如何組織調(diào)試過(guò)程    43
如何跟蹤需求    44
如何重新構(gòu)建發(fā)布的版本    44
如何關(guān)聯(lián)問(wèn)題和修正    44
如何關(guān)聯(lián)問(wèn)題和測(cè)試    44
如何進(jìn)行調(diào)試測(cè)試    71
如何自動(dòng)運(yùn)行程序    71
如何在表現(xiàn)層測(cè)試    71
如何在功能層測(cè)試    71
如何在單元層測(cè)試    71
如何分離單元    71
如何為調(diào)試而設(shè)計(jì)    71
如何預(yù)防未知問(wèn)題    71
如何重現(xiàn)問(wèn)題    99
如何重現(xiàn)問(wèn)題環(huán)境    99
如何重現(xiàn)問(wèn)題運(yùn)行過(guò)程    99
如何重現(xiàn)單元的行為    99
如何簡(jiǎn)化測(cè)試用例    123
如何自動(dòng)簡(jiǎn)化    123
如何加快自動(dòng)簡(jiǎn)化的速度    124
如何分離故障起因    144
如何理解當(dāng)前的問(wèn)題    145
如何避免沒(méi)完沒(méi)了的調(diào)試過(guò)程    145
如何在某個(gè)函數(shù)或邏輯式程序中定位錯(cuò)誤    145
如何快速而雜亂地調(diào)試程序    145
如何構(gòu)造假設(shè)    145
如何基于程序進(jìn)行推理    145
如何分離取值來(lái)源    172
如何進(jìn)行程序切片    172
如何觀察程序狀態(tài)    207
如何封裝和重用調(diào)試代碼    207
如何觀察崩潰程序的最后狀態(tài)    207
如何探查程序運(yùn)行歷史    226
如何分離某一次特定運(yùn)行過(guò)程中的取值來(lái)源    226
如何捕獲錯(cuò)誤狀態(tài)    226
如何進(jìn)行自動(dòng)觀察    253
如何使用斷言    253
如何把程序與參考程序進(jìn)行比較    254
如何確保內(nèi)存的完整性    254
如何預(yù)防低級(jí)別語(yǔ)言的內(nèi)存錯(cuò)誤    254
如何確定反常行為    279
如何概括行為    279
如何檢測(cè)反常    279
如何比較覆蓋情況    279
如何對(duì)返回值進(jìn)行采樣    279
如何收集用戶環(huán)境中的數(shù)據(jù)    279
如何確定不變量    279
如何證實(shí)因果關(guān)系    292
如何尋找起因    292
如何尋找真實(shí)起因    292
如何自動(dòng)分離故障起因    315
如何分離輸入中的故障起因    315
如何分離線程調(diào)度中的故障起因    315
如何分離引發(fā)故障的代碼變化    315
如何理解故障在運(yùn)行過(guò)程中的傳播過(guò)程    342
如何捕捉程序狀態(tài)    342
如何比較程序狀態(tài)    342
如何分離引發(fā)故障的程序狀態(tài)    342
如何尋找引發(fā)故障的代碼    343
如何沿著因果鏈縮小缺陷的范圍    343
如何分離感染鏈    359
如何尋找最可能的來(lái)源    359
如何修正缺陷    360
如何確保修正是正確的    360
如何避免引入新問(wèn)題    360
如何從錯(cuò)誤中學(xué)習(xí)    360