軟件調試修煉之道（簡體書）

《軟件調試修煉之道》主要講述如何運用方法和調試工具在客戶投訴之前自動檢測程序中的bug，緊緊圍繞問題重現、問題診斷、缺陷修復、反思四個中心環節，并將調試置于軟件開發與運行的大環境中，為我們道出了軟件調試修煉之道。 《軟件調試修煉之道》適用軟件開發、調試一線人員及一切熱愛軟件調試之道的有志者。

目　錄第一部分　問題的核心第1章　山重水復疑無路　21.1　調試不僅是排除缺陷　21.2　實證方法　41.3　核心調試過程　51.4　先澄清幾個問題　61.4.1　你知道要找的是什么嗎　61.4.2　一次一個問題　71.4.3　先檢查簡單的事情　71.5　付諸行動　8第2章　重現問題　92.1　重現第一，提問第二　92.1.1　明確開始要做的事　102.1.2　抓住重點　102.2　控制軟件　112.3　控制環境　112.4　控制輸入　132.4.1　推測可能的輸入　132.4.2　記錄輸入值　152.4.3　負載和壓力　192.5　改進問題重現　202.5.1　最小化反饋周期　202.5.2　將不確定的缺陷變為確定的　222.5.3　自動化　252.5.4　迭代　262.6　如果真的不能重現問題該怎么辦　272.6.1　缺陷真的存在嗎　272.6.2　在相同的區域解決不同的問題　272.6.3　讓其他人參與其中　272.6.4　充分利用用戶群體　282.6.5　推測法　282.7　付諸行動　29第3章　診斷　303.1　不要急于動手——試試科學的方法　303.2　相關策略　353.2.1　插樁　363.2.2　分而治之　373.2.3　利用源代碼控制工具　383.2.4　聚焦差異　393.2.5　向他人學習　393.2.6　奧卡姆的剃刀　403.3　調試器　403.4　陷阱　413.4.1　你做的修改是正確的嗎　413.4.2　驗證假設　423.4.3　多重原因　433.4.4　流沙　443.5　思維游戲　453.5.1　旁觀調試法　453.5.2　角色扮演　463.5.3　換換腦筋　473.5.4　做些改變，什么改變都行　473.5.5　福爾摩斯原則　483.5.6　堅持　493.6　驗證診斷　493.7　付諸行動　50第4章　修復缺陷　514.1　清除障礙　514.2　測試　524.3　修復問題產生的原因，而非修復現　544.4　重構　564.5　簽入　574.6　審查代碼　584.7　付諸行動　59第5章　反思　605.1　這到底是怎么搞的　605.2　哪里出了問題　615.2.1　我們已經做到了嗎　625.2.2　根本原因分析　625.3　它不會再發生了　635.3.1　自動驗證　635.3.2　重構　645.3.3　過程　655.4　關閉循環　655.5　付諸行動　66第二部分　從大局看調試第6章 發現代碼存在問題　686.1　追蹤缺陷　686.1.1　缺陷追蹤系統　686.1.2　怎樣才能寫出一份出色的缺陷報告　696.1.3　環境和配置報告　706.2　與用戶合作　726.2.1　簡化流程　726.2.2　有效的溝通　736.3　與支持人員協同工作　776.4　付諸行動　78第7章　務實的零容忍策略　797.1　缺陷優先　797.1.1　早期缺陷修復可以大大降低軟件運行的不確定性　797.1.2　沒有破窗戶　807.2　調試的思維模式　817.3　自己來解決質量問題　837.3.1　這里沒有“靈丹妙藥”　837.3.2　停止開發那些有缺陷的程序　847.3.3　從“不干凈”的代碼中將“干凈”的代碼分離出來　847.3.4　錯誤分類　857.3.5　缺陷閃電戰　867.3.6　專項小組　877.4　付諸行動　87第三部分 深入調試技術第8章 特殊案例　908.1　修補已經發布的軟件　908.2　向後兼容　918.2.1　確定你的代碼有問題　928.2.2　解決兼容性問題　938.3　并發　958.3.1　簡單與控制　958.3.2　修復并發缺陷　968.4　海森堡缺陷　978.5　性能缺陷　988.5.1　尋找瓶頸　998.5.2　準確的性能分析　998.6　嵌入式軟件　1008.6.1　嵌入式調試工具　1008.6.2　提取信息的痛苦路程　1028.7　第三方軟件的缺陷　1028.7.1　不要太快去指責　1038.7.2　處理第三方代碼的缺陷　1038.7.3　開源代碼　1048.8　付諸行動　106第9章　理想的調試環境　1079.1　自動化測試　1079.1.1　有效的自動化測試　1079.1.2　自動化測試可以作為調試的輔助　1089.1.3　模擬測試、樁測試以及其他的代替測試技術　1099.2　源程序控制　1109.2.1　穩定性　1109.2.2　可維護性　1119.2.3　與分支相關的問題　1119.2.4　控制分支　1129.3　自動構建　1139.3.1　一鍵構建　1149.3.2　構建機器　1159.3.3　持續集成　1159.3.4　創建版本　1169.3.5　靜態分析　1179.3.6　使用靜態分析　1199.4　付諸行動　120第10章　讓軟件學會自己尋找缺陷　12110.1　假設和斷言　12110.1.1　一個例子　12210.1.2　等一下——剛才發生了什么　12410.1.3　例子，第二幕　12410.1.4　契約，先決條件，後置條件和不變量　12510.1.5　開啟或關閉斷言　12510.1.6　防錯性程序設計　12610.1.7　斷言濫用　12810.2　調試版本　12910.2.1　編譯器選項　13010.2.2　調試子系統　13010.2.3　內置控制　13210.3　資源泄漏和異常處理　13310.3.1　在測試中自動拋出異常　13310.3.2　一個例子　13410.3.3　測試框架　13610.4　付諸行動　139第11章　反模式　14011.1　夸大優先級　14011.2　超級巨星　14111.3　維護團隊　14211.4　救火模式　14411.5　重寫　14511.6　沒有代碼所有權　14611.7　魔法　14611.8　付諸行動　147附錄A　資源　148附錄B　參考書目　157