图书介绍：调试一直是软件开发过程中最痛苦的环节，本书有望改变这一现状，因为它将调试的科学原理与业界的实践经验有机地融合起来，阐释了有关发现和修正程序错误的最佳实践。本书一共分为15章，以系统化的方式向读者介绍了整个调试过程，从跟踪和重现故障开始，一直到自动化和简化测试用例，寻找故障最可能的来源，分离故障的起因和结果，并最终修正缺陷。本书不仅涵盖了delta调试、程序切片、观察、监视、断言、检测反常等多种基本的静态和动态程序分析技术，还用浅显的语言教你如何使用一些调试领域最前沿的高水平调试工具。本书适合于那些希望掌握如何以系统化和自动化的方式调试程序的计算机专业人员、研究生以及高年级本科生阅读。