软件调试思想 采用多学科方法PDF|Epub|txt|kindle电子书版本网盘下载

软件调试思想 采用多学科方法PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 简介1

1.1 问题的本质1

目 录1

1.2 六种思维方式2

1.3 软件工程的两个时期3

1.4 调试及开发方法学6

1.5 小结9

第2章 福尔摩斯11

2.1 前言11

2.2 侦探的世界观11

2.3 侦探小说12

2.4 福尔摩斯的性格特征12

2.5 福尔摩斯的方法13

2.6 小结23

3.2 彼特·温西勋爵的性格特征25

第3章 彼特·温西勋爵25

3.1 前言25

3.3 彼特·温西勋爵的破案方法27

3.4 小结35

第4章Professor Solomon37

4.1 前言37

4.2Professor Solomon的方法37

4.3 小结46

第5章 案例精解系列Ⅰ48

5.1 案例精解Ⅰ48

第6章解决数学问题142

6.1 前言142

6.2 数学家的世界观142

6.3 Polya和数学启发法思想143

6.4 作为数学证据的文章145

6.5 Schoenfeld和解决数问题148

6.6 将Schoenfeld方法使用到软件调试150

6.7 小结151

第7章调试策略153

7.1 前言153

7.2 评价机制153

7.3 二分查找策略154

7.4 贪婪搜索策略154

7.5 宽度优先策略155

7.6 深度优先搜索策略157

7.7 程序切片策略158

7.8 演绎分析策略158

7.9 归纳分析策略159

7.10如何选择策略160

7.11小结161

8.2 稳定程序162

8.1 前言162

第8章 启发式调试方法162

8.3 创建测试用例164

8.4 减少必要的输入166

8.5 问题分类167

8.6 描述问题170

8.7 将问题解释给他人听171

8.8 回想相似的问题171

8.9绘制图表172

8.10从既有材料中选择假设173

8.11小结174

第9章调试的手段176

9.1 前言176

9.2 阅读源代码177

9.3 编写单元测试178

9.4 显示变量的值179

9.5 显示执行情况的信息181

9.6 显示过程的参数183

9.7 生成流的跟踪185

9.8 生成变量的快照186

9.9 生成内存的转储188

9.10 强制设置变量值190

9.11断言假设191

9.12检查数据结构192

9.13显示数据结构193

9.14使用运行时的下标检查195

9.15使用运行时的栈检查196

9.16使用运行时的堆检查198

9.17初始化全局变量199

9.18初始化本地变量201

9.19改变存储的类别202

9.20使用不同的编译器203

9.21编译为汇编代码204

9.22在不同的平台上执行207

9.23小结208

第10章案例精解系列Ⅱ209

10.1案例精解2209

10.2案例精解3227

第11章安全专家的方式297

11.1前言297

11.2安全专家的世界观297

11.3根本原因分析297

11.4软件缺陷根本原因299

11.5原因和事件图312

11.6故障树分析313

11.7小结315

12.1前言316

12.2心理学家的世界观316

第12章心理学家的方式316

12.3人类认识模型317

12.4定义和分类人类的错误318

12.5解释错误原因321

12.6研究回顾337

12.7小结348

第13章工程师的方式352

13.1前言352

13.2工程师的世界观352

13.3根据开发阶段分类错误355

13.4避免开发阶段的错误359

13.5根据编码规范避免错误365

13.6建立调试基础377

13.7小结379

14.2计算机科学家的世界观382

14.1前言382

第14章计算机科学家的方式382

14.3根据语言形式分类错误383

14.4根据语言形式探测编程错误384

14.5静态分析工具386

14.6动态分析工具393

14.7分析比较405

14.8小结407

第15章回到工作409

15.1回顾方法409

15.2度量你的工作412

15.3浏览我们的Web站点412

词汇表414

附录A根本原因检查清单416

附录B关于调试的书籍423

附录C推荐软件432

参考文献433