基本信息出版社：电子工业
页码：406 页
出版日期：2007年03月
ISBN：712103686X
条形码：9787121036866
版本：第1版
装帧：平装
开本：0开 Pages Per Sheet

内容简介 　　调试一直是软件开发过程中“最痛苦”的环节，本书有望改变这一现状，因为它将调试的科学原理与业界的实践经验有机地融合起来，阐释了有关发现和修正程序错误的最佳方法和实践过程。
　　本书一共分为15章，以系统化的方式向读者介绍了整个调试过程，从跟踪和重现故障开始，一直到自动化和简化测试用例，寻找故障最可能的来源，分离故障的起因和结果，并最终修正程序缺陷。本书不仅涵盖了delta调试、程序切片、观察、监视、断言、检测反常等多种基本的静态和动态程序分析技术，还用浅显的语言说明如何使用一些调试领域最前沿的高水平调试工具。
　　本书适于那些希望掌握如何以系统化和自动化的方式调试程序的计算机编程人员、及相关专业的研究生以及高年级本科生。
媒体推荐 书评
除了本书以外，几乎还没有什么书从系统化的角度介绍发现和修正编程错误的方法。
——摘自本书序言
James Larus微软研究院
《Why Programs Fail——系统化调试指南》是一本关于计算机程序中的Bug的书——如何定位Bug？如何重视Bug？以及如何修正Bug，使Bug不再出现？这是第一本全面讨论系统调试的著作，其中不仅涵盖了可适用于手工观察直至全自动调试的大量工具和技术，还包括如何创建自动化调试器的指南。书中的论述都建立在程序故障起因的可靠理论之上，而不依赖于那些凭借直觉和经验的技术，那些技术不仅对于大规模的软件系统没有太大用处，甚至也无法帮助我们理解程序。
本书特点：适用于任何编程语言，并适合于有编程经验的开发人员阅读。讲述了如何以最好的方式修正程序，以及如何创建专有的自动化调试工具。包括进一步研究所需的练习和附加参考，本书的官方网站提供了所有示例的源代码以及关于调试的其他资料。

目录
第1章 故障从哪里来
1.1 我的程序罢工了
1.2 从缺陷到故障
1.3 迷失在时空之中
1.4 从故障到修正
1.5 自动调试技术
……