軟件調(diào)試思想

1 簡介
1.1 問題的本質(zhì)
1.2 六種思維方式
1.3 軟件工程的兩個時期
1.4 調(diào)試及開發(fā)方法學(xué)
1.5 小結(jié)
2 福爾摩斯
2.1 前言
2.2 偵探的世界觀
2.3 偵探小說
2.4 福爾摩斯的性格特征
2.5 福爾摩斯的方法
2.6 小結(jié)
3 彼特.溫西勛爵
3.1 前言
3.2 彼特.溫西勛爵的性格特征
3.3 彼特.溫西勛爵的破案方法
3.4 小結(jié)
4 Professor solomon
4.1 前言]
4.2 Professor solomon
4.3 小結(jié)
5 案例精解系統(tǒng)1
5.1 案例精解1
6 解決數(shù)學(xué)問題
6.1 前言
6.2 數(shù)學(xué)家的世界觀
6.3 Polya和數(shù)學(xué)問題
6.4 作為數(shù)學(xué)證據(jù)的文章
6.5 Schoenfeld 和解決數(shù)學(xué)問題
6.6 將Schoenfeld方法使用到軟件調(diào)試
6.7 小結(jié)
7 調(diào)試策略
7.1 前言
7.2 評價機制
7.3 二分查找策略
7.4 貪婪搜索策略
7.5 寬度優(yōu)先策略
7.6 深度優(yōu)先搜索策略
7.7 程序切片策略
7.8 演譯分析策略
7.9 歸納分析策略
7.10 如何選擇策略
7.11 小結(jié)
8 啟發(fā)式調(diào)試方法
8.1 前言
8.2 穩(wěn)定程序
8.3 創(chuàng)建測試用例
8.4 減少必要的輸入
8.5 問題分類
8.6 描述問題
8.7 將問題解釋給他人聽
8.8 回想相似的問題
8.9 繪制圖表
8.10 從既有材料中選擇假設(shè)
8.11 小結(jié)
9 調(diào)試的手段
9.1 前言
9.2 閱讀源代碼
9.3 編寫單元測試
9.4 顯示變量的值
9.5 顯示執(zhí)行情況的信息
9.6 顯示過程的參數(shù)
9.7 生成流的跟路蹤
9.8 生成變量的快照
9.9 生成內(nèi)存的轉(zhuǎn)儲
9.10 強制設(shè)置變量值
9.11 斷言假設(shè)
9.12 檢查數(shù)據(jù)結(jié)構(gòu)
9.13 顯示數(shù)據(jù)結(jié)構(gòu)
9.14 使用運行時的下標檢查
9.15 使用運行時的棧檢查
9.16 使用運行時的堆檢查
9.17 初始化全局變量
9.18 初始化本地變量
9.19 改變存儲的類別
9.20 使用不同的編譯器
9.21 編譯為匯編代碼
9.22 在不同的平臺上執(zhí)行
9.23 小結(jié)
10 案例精解系統(tǒng)II
10.1 案例精解2
10.2 案例精解3
11 安全專家的方式
11.1 前言
11.2 安全專家的世界觀
11.3 根本原因分析
11.4 軟件缺陷根本原因
11.5 原因和事件圖
11.6 故障樹分析
11.7 小結(jié)
12 心理學(xué)家的方式
12.1 前言
12.2 心理學(xué)家的世界觀
12.3 人類認識模型
12.4 定義和分類人類的錯誤
12.5 解釋錯誤原因
12.6 研究回顧
12.7 小結(jié)
13 工程師的方式
13.1 前言
13.2 工程師的世界觀
13.3 根據(jù)開發(fā)階段分類錯誤
13.4 避免開發(fā)階段的錯誤
13.5 根據(jù)編碼規(guī)范避免錯誤
13.6 建立調(diào)試基礎(chǔ)
13.7 小結(jié)
14 計算機科學(xué)家的方式
14.1 前言
14.2 計算機科學(xué)家的世界觀
14.3 根據(jù)語言形式分類錯誤
14.4 根據(jù)語言形式探測編程錯誤
14.5 靜態(tài)分析工具
14.6 動態(tài)分析工具
14.7 分析比較
14.8 小結(jié)
15 回到工作
15.1 回顧方法
15.2 度量你的工作
15.3 瀏覽我們的Web站點
詞匯表
附錄A 根本原因檢查清單
附錄B 關(guān)于調(diào)試的書籍
附錄C 推薦軟件
參考文獻