本书一共分为15章，以系统化的方式向读者介绍了整个调试过程，从跟踪和重现故障开始，一直到自动化和简化测**例，寻找故障*可能的来源，分离故障的起因和结果，并*终修正程序缺陷。

第1章故障从哪里来. 11.1我的程序罢工了 11.2从缺陷到故障 31.3迷失在时空之中 51.4从故障到修正 91.5自动调试技术 141.6BUG.失误.1.6还是缺陷？ 181.7概念 201.8工具 211.9进一步阅读指南 221.10习题 23第2章跟踪问题 252.1啊！这么多问题 252.2报告问题 262.3管理问题 292.4问题分类 312.4.1严重程度 312.4.2优先级 322.4.3标识 322.4.4注释 322.4.5通知 322.5处理问题 322.6管理问题跟踪过程 352.7把需求看作问题 362.8管理重复问题 372.9关联问题和修正 392.10关联问题和测试 412.11概念 432.12工具 442.13进一步阅读指南 452.14习题 46第3章让程序出错 483.1调试测试 483.2控制程序 503.3在表现层测试 523.3.1低级交互 523.3.2系统级交互 543.3.3**交互 553.3.4评估测试结果 563.4在功能层测试 573.5在单元层测试 593.6分离单元 633.7为调试而设计 663.8预防未知问题 693.9概念 703.10工具 713.11进一步阅读指南 723.12习题 73第4章重现问题 754.1调试过程的**步 754.2重现问题环境 764.3重现程序运行过程 784.3.1重现数据 804.3.2重现用户交互 814.3.3重现通信 834.3.4重现时间 834.3.5重现随机性 844.3.6重现操作环境 854.3.7重现调度 874.3.8物理影响 894.3.9调试工具的影响 904.4重现系统交互 924.5专注于单元 924.5.1创建一个控制层 934.5.2单元控制举例 944.5.3伪对象 964.5.4控制更多的交互 984.6概念 994.7工具 1004.8进一步阅读指南 1004.9习题 101第5章简化问题 1035.1简化问题 1035.2GECKOBUG马拉松 1045.3手工简化 1075.4自动简化 1095.5简化算法 1115.6简化用户交互 1175.7简化随机输入 1185.8快速简化 1195.8.1缓存 1205.8.2尽早结束 1205.8.3语法简化 1215.8.4分离差别,而不是5.8.4环境因素 1225.9概念 1235.10工具 1245.11进一步阅读指南 1245.12习题 125第6章科学调试 1286.1如何成为一个6.1调试专家 1286.2科学方法 1296.3应用科学方法 1306.3.1调试sample—准备 1306.3.2调试sample—假设1 1326.3.3调试sample—假设2 1326.3.4调试sample—假设3 1326.3.5调试sample—假设4 1336.4明确调试 1346.5记录日志 1356.6快速而杂乱的调试 1366.7算法调试 1376.8构造假设 1406.9程序推理技术 1426.10概念 1446.11进一步阅读指南 1456.12习题 146第7章推演错误 1487.1分离取值的来源 1487.2理解控制流 1497.3跟踪依赖关系 1537.3.1语句的效果 1537.3.2被影响语句 1547.3.3语句依赖关系 1557.3.4跟踪依赖关系 1567.3.5利用依赖关系 1587.4程序切片 1597.4.1前向片断 1597.4.2后向片断 1597.4.3片断运算 1607.4.4利用片断 1627.4.5可运行片断 1627.5推演代码的坏味道 1637.6静态分析的局限性 1687.7概念 1727.8工具 1727.9进一步阅读指南 1737.10习题 174第8章观察事实 1778.1观察状态 1778.2记录运行情况 1788.2.1日志记录函数 1808.2.2日志记录的框架 1838.2.3用方面记录日志 1868.2.4在二进制级别8.2.4记录日志 1898.3使用调试器.. 1928.3.1调试会话 1938.3.2控制运行过程 1968.3.3事后调试 1978.3.4记录数据日志 1988.3.5调用函数 1988.3.6修正与继续 1998.3.7嵌入式调试器 1998.3.8有关调试器的建议 2008.4查询事件 2018.4.1监视点 2028.4.2统一事件查询 2038.5可视化显示状态 2058.6概念 2078.7工具 2088.8进一步阅读指南 2098.9习题 210第9章跟踪错误来源 2169.1回溯推理 2169.2探查运行历史 2179.3动态切片 2199.4操作来源 2229.5捕获错误状态 2259.6概念 2269.7工具 2279.8进一步阅读指南 2279.9习题 227第10章断言预期结果 23010.1自动观察 23010.2基本断言 23210.3断言不变量 23310.4断言正确性 23710.5作为规格说明的断言 24010.6从断言到验证 24110.7参考运行过程 24410.8系统断言 24610.8.1用MALLOC_CHECK10.8.1检查堆 24710.8.2用ELECTRICFENCE10.8.2避免缓冲区溢出 24810.8.3用VALGRIND10.8.3检测内存错误 24810.8.4语言扩展 25010.9检查产品代码 25210.10概念 25310.11工具 25410.12进一步阅读指南 25610.13习题 258第11章检测反常 26311.1捕捉正常行为 26311.2比较覆盖情况 26411.3统计调试 26911.4从用户环境中11.4收集数据 27011.5动态不变量 27211.6运行时的不变量 27611.7从反常定位缺陷 27811.8概念 27811.9工具 27911.10进一步阅读指南 28011.11习题 281第12章起因与结果 28312.1起因和参照世界 28312.2验证起因 28512.3因果关系实践 28512.4寻找真实起因 28812.5缩小起因范围 28912.6缩小差别举例 28912.7公共环境 29012.8调试中的起因 29112.9概念 29212.10进一步阅读指南 29212.11习题 293第13章分离故障起因 29613.1自动分离起因 29613.2分离和简化 29713.3一种分离算法 29913.4实现分离 30113.5分离引发故障的输入 30413.6分离引发故障的13.6调度过程 30513.7分离引发故障的变化 30713.8问题和局限性 31313.9概念 31513.10工具 31613.11进一步阅读指南 31613.12习题 317第14章分离因果链 31914.1无用起因 31914.2捕捉程序状态 32214.3比较程序状态 32514.4分离相关程序状态 32714.5分离因果链 33114.6分离引发故障的代码 33614.7问题和风险 34014.8概念 34214.9工具 34314.10进一步阅读指南 34314.11习题 344第15章修正缺陷 34615.1定位缺陷 34615.2**关注*可能的15.2错误 34715.3确认缺陷 35015.3.1是这个错误引发了15.3.1故障吗？ 35015.3.2该起因真是15.3.2错误吗？ 35115.3.3先思考,后修正 35315.4修正缺陷 35315.4.1故障不再出现15.4.1了吗？ 35315.4.2修正会引入新15.4.2问题吗？ 35415.4.3同样的差错会出现在15.4.3其他地方吗？ 35515.4.4我完成所有15.4.4工作了吗？ 35515.5变通方法 35615.6从差错中学习 35715.7概念 35915.8进一步阅读指南 36015.9习题 361附录A规范定义 363A.1Delta调试 363A.1.1配置 363A.1.2成功与故障A.1.2运行过程 363A.1.3测试 364A.1.4*小性 364A.1.5简化 364A.1.6差别 36**.1.7分离 366A.2内存状态图 366A.2.1规范结构 366A.2.2展开数据结构 368A.2.3匹配顶点与有A.2.3向边 369A.2.4计算公共子图 370A.2.5计算图的差别 370A.2.6应用部分状态A.2.6变化 373A.2.7捕获C状态 373A.3因果链 375术语表 378参考文献 382索引... 390

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