作者背景#

Diomidis Spinellis 為希臘裔電腦科學家，擁有 Imperial College London 軟體工程碩士與電腦科學博士學位。他現為 Athens University of Economics and Business 軟體工程教授及 Delft University of Technology 軟體分析教授，同時曾任 Google 網站可靠性工程（SRE）資深軟體工程師與希臘財政部資訊系統秘書長。Spinellis 發表了超過 300 篇技術論文，獲引用逾 8000 次，並為 FreeBSD 作業系統的貢獻者。他此前著有《Code Reading》與《Code Quality》兩本獲獎著作，均屬 Addison-Wesley 的 Effective Programming 系列。

完整摘要#

《Effective Debugging》源自作者超過二十五年在業界與學術界的除錯經驗，將所遇到的每一種除錯技巧系統性地整理為 66 個具體條目（Items）。本書要解決的問題是：如何以結構化的方式高效地定位並修復軟體缺陷，而非依賴直覺式的試錯。

全書分為八個部分，形成由宏觀到微觀的完整框架。高層策略部分建立問題追蹤、搜尋技巧、前後條件確認、上下追蹤等通用思維框架。通用方法部分涵蓋心態建設、可重現環境建置、自動化測試與監控等實踐基礎。通用工具部分介紹 Unix 命令列工具、編輯器、版本控制系統的除錯應用。除錯器技術部分深入 symbolic debugging、斷點設定、反向除錯、core dump 分析等進階操作。程式設計技術部分教授人工審查、rubber duck debugging、assertions、程式碼簡化等直接與程式碼互動的手法。編譯期技術與執行期技術分別涵蓋靜態分析、動態分析、profiling、tracing 等工具導向的方法。最後，多執行緒除錯部分專門處理 deadlock、race condition、false sharing 等並行程式特有的難題，提出從事後分析到以高階抽象重寫的完整策略。

本書的貢獻與定位#

《Effective Debugging》是少數以除錯為專題、進行全面且系統化論述的著作。相較於一般軟體工程教材中除錯僅佔一章的慣例，本書將除錯提升為一門獨立的工程學科，提供了涵蓋策略、方法、工具與特殊場景的完整知識體系。目標讀者為任何需要處理軟體缺陷的開發者與系統工程師，尤其適合希望從「偶然找到 bug」提升到「系統性地消除 bug」的工程師。