软件调试思想

1 简介
1.1 问题的本质
1.2 六种思维方式
1.3 软件工程的两个时期
1.4 调试及开发方法学
1.5 小结
2 福尔摩斯
2.1 前言
2.2 侦探的世界观
2.3 侦探小说
2.4 福尔摩斯的性格特征
2.5 福尔摩斯的方法
2.6 小结
3 彼特.温西勋爵
3.1 前言
3.2 彼特.温西勋爵的性格特征
3.3 彼特.温西勋爵的破案方法
3.4 小结
4 Professor solomon
4.1 前言]
4.2 Professor solomon
4.3 小结
5 案例精解系统1
5.1 案例精解1
6 解决数学问题
6.1 前言
6.2 数学家的世界观
6.3 Polya和数学问题
6.4 作为数学证据的文章
6.5 Schoenfeld 和解决数学问题
6.6 将Schoenfeld方法使用到软件调试
6.7 小结
7 调试策略
7.1 前言
7.2 评价机制
7.3 二分查找策略
7.4 贪婪搜索策略
7.5 宽度优先策略
7.6 深度优先搜索策略
7.7 程序切片策略
7.8 演译分析策略
7.9 归纳分析策略
7.10 如何选择策略
7.11 小结
8 启发式调试方法
8.1 前言
8.2 稳定程序
8.3 创建测试用例
8.4 减少必要的输入
8.5 问题分类
8.6 描述问题
8.7 将问题解释给他人听
8.8 回想相似的问题
8.9 绘制图表
8.10 从既有材料中选择假设
8.11 小结
9 调试的手段
9.1 前言
9.2 阅读源代码
9.3 编写单元测试
9.4 显示变量的值
9.5 显示执行情况的信息
9.6 显示过程的参数
9.7 生成流的跟路踪
9.8 生成变量的快照
9.9 生成内存的转储
9.10 强制设置变量值
9.11 断言假设
9.12 检查数据结构
9.13 显示数据结构
9.14 使用运行时的下标检查
9.15 使用运行时的栈检查
9.16 使用运行时的堆检查
9.17 初始化全局变量
9.18 初始化本地变量
9.19 改变存储的类别
9.20 使用不同的编译器
9.21 编译为汇编代码
9.22 在不同的平台上执行
9.23 小结
10 案例精解系统II
10.1 案例精解2
10.2 案例精解3
11 安全专家的方式
11.1 前言
11.2 安全专家的世界观
11.3 根本原因分析
11.4 软件缺陷根本原因
11.5 原因和事件图
11.6 故障树分析
11.7 小结
12 心理学家的方式
12.1 前言
12.2 心理学家的世界观
12.3 人类认识模型
12.4 定义和分类人类的错误
12.5 解释错误原因
12.6 研究回顾
12.7 小结
13 工程师的方式
13.1 前言
13.2 工程师的世界观
13.3 根据开发阶段分类错误
13.4 避免开发阶段的错误
13.5 根据编码规范避免错误
13.6 建立调试基础
13.7 小结
14 计算机科学家的方式
14.1 前言
14.2 计算机科学家的世界观
14.3 根据语言形式分类错误
14.4 根据语言形式探测编程错误
14.5 静态分析工具
14.6 动态分析工具
14.7 分析比较
14.8 小结
15 回到工作
15.1 回顾方法
15.2 度量你的工作
15.3 浏览我们的Web站点
词汇表
附录A 根本原因检查清单
附录B 关于调试的书籍
附录C 推荐软件
参考文献