軟件調(diào)試(Software Debugging)

 　　 本書是對軟件調(diào)試技術在過去50年中所取得成就的全面展示，也是對作者本人在軟件設計和系統(tǒng)開發(fā)第一線奮戰(zhàn)10多年的經(jīng)驗總結(jié)。本書理論與實踐緊密結(jié)合，選取了大量具有代表性和普遍意義的技術細節(jié)進行討論，是學習軟件調(diào)試技術的寶貴資料，適合每一位希望深刻理解軟件和自由駕馭軟件的人閱讀，特別是從事軟件開發(fā)、測試、支持的技術人員和有關的研究人員。

本書深入系統(tǒng)地介紹了以調(diào)試器為核心的各種軟件調(diào)試技術。本書共30章，分為6篇。

第1篇介紹了軟件調(diào)試的概況和簡要歷史。

第2篇以英特爾架構(IA)的CPU為例，介紹了計算機系統(tǒng)的硬件核心所提供的調(diào)試支持，包括異常、斷點指令、單步執(zhí)行標志、分支監(jiān)視、JTAG和MCE等。

第3篇以Windows操作系統(tǒng)為例，介紹了計算機系統(tǒng)的軟件核心中的調(diào)試設施，包括內(nèi)核調(diào)試引擎、用戶態(tài)調(diào)試子系統(tǒng)、異常處理、驗證器、錯誤報告、事件追蹤、故障轉(zhuǎn)儲、硬件錯誤處理等。

第4篇以Visual C/C++編譯器為例，介紹了生產(chǎn)軟件的主要工具的調(diào)試支持，重點討論了編譯期檢查、運行期檢查及調(diào)試符號。

第5篇討論了軟件的可調(diào)試性，探討了如何在軟件架構設計和軟件開發(fā)過程中加入調(diào)試支持，使軟件更容易被調(diào)試。

在前5篇內(nèi)容的基礎上，第6篇首先介紹了調(diào)試器的發(fā)展歷史、典型功能和實現(xiàn)方法，然后全面介紹了WinDBG調(diào)試器，包括它的模塊結(jié)構、工作模型、使用方法和主要調(diào)試功能的實現(xiàn)細節(jié)。


目錄:

第1篇 緒論
第1章 軟件調(diào)試基礎

第2篇 CPU的調(diào)試支持
第2章 CPU基礎
第3章 中斷和異常
第4章 斷點和單步執(zhí)行
第5章 分支記錄和性能監(jiān)視
第6章 機器檢查架構(MCA)
第7章 JTAG調(diào)試

第3篇 操作系統(tǒng)的調(diào)試支持
第8章 Windows概要
第9章 用戶態(tài)調(diào)試模型
第10章 用戶態(tài)調(diào)試過程
第11章 中斷和異常管理
第12章 未處理異常和JIT調(diào)試
第13章 硬錯誤和藍屏
第14章 錯誤報告
第15章 日志
第16章 事件追蹤
第17章 WHEA
第18章 內(nèi)核調(diào)試引擎
第19章 Windows的驗證機制

第4篇 編譯器的調(diào)試支持
第20章 編譯和編譯期檢查
第21章 運行庫和運行期檢查
第22章 棧和函數(shù)調(diào)用
第23章 堆和堆檢查
第24章 異常處理代碼的編譯
第25章 調(diào)試符號

第5篇 可調(diào)試性
第26章 可調(diào)試性概覽
第27章 可調(diào)試性的實現(xiàn)

第6篇 調(diào)試器
第28章 調(diào)試器概覽
第29章 WinDBG及其實現(xiàn)
第30章 WinDBG用法詳解
附錄A 示例程序列表
附錄B WinDBG標準命令列表
索引