这是一本关于计算机程序中的Bug的书——如何定位Bug？如何重视Bug？以及如何修正Bug，使Bug不再出现？这是第一本全面讨论系统调试的著作，其中不仅涵盖了可适用于手工观察直至全自动调试的大量工具和技术，还包括如何创建自动化调试器的指南。书中的论述都建立在程序故障起因的可靠理论之上，而不依赖于那些凭借直觉和经验的技术。本书适用于任何编程语言，并适合于有编程经验的开发人员阅读。

调试一直是软件开发过程中“最痛苦”的环节，本书有望改变这一现状，因为它将调试的科学原理与业界的实践经验有机地融合起来，阐释了有关发现和修正程序错误的最佳方法和实践过程。

本书一共分为15章，以系统化的方式向读者介绍了整个调试过程，从跟踪和重现故障开始，一直到自动化和简化测试用例，寻找故障最可能的来源，分离故障的起因和结果，并最终修正程序缺陷。本书不仅涵盖了delta调试、程序切片、观察、监视、断言、检测反常等多种基本的静态和动态程序分析技术，还用浅显的语言说明如何使用一些调试领域最前沿的高水平调试工具。

本书适于那些希望掌握如何以系统化和自动化的方式调试程序的计算机编程人员、及相关专业的研究生以及高年级本科生。

第1章 故障从哪里来

第2章 跟踪问题

第3章 让程序出错

第4章 重现问题

第5章 简化问题

第6章 科学调试

第7章 推演错误

第8章 观察事实

第9章 跟踪错误来源

第10章 断言预期结果

第11章 检测反常

第12章 起因与结果

第13章 分离故障起因

第14章 分离因果链

第15章 修正缺陷

附录A 规范定义

术语表

参考文献

索引