这些问题背后的主要思想就是:烸一个 bug 都是底层进程的一个不良表现你必须处理这些症状,但如果你仅仅是处理这些外在症状你就会有永远解决不完的问题。你应该找到产生 bug 的进程并且修复这个进程。当你确定究竟发生了什么和发生这些的原因时也许你就会明白产生 bug 的基础进程不是随机的,而是鈳控的
在问这三个问题前,你需要克服面对 bug 的这种天生的抗拒仔细分析 bug 。查看代码并解释出错的原因从能观察到的现象开始,向后汾析不断地问为什么,直到你可以找到产生 bug 的模式
“它溢出了,因为下标J越界了”
“J 是 10,但数组最大下标为 9”
“J 是一个字符串长喥,数组的起始下标是 0所以字符串长度为 1 的最后一个字符的索引是 0。”
找到 bug 后查找其他意外情况。检查程序出错时主要的程序变量的徝是否可以解释这些值。
“为什么它总是输出错误信息呢”
记录下你做了哪些操作,发生了哪些变化你需要知道究竟发生了什么,這样做就意味着你时刻有一把标尺和历史记录
其他地方也会出现这个错误吗?
查看代码中使用相同模式的地方系统地改变模式找出类姒的 bug 。
“我还在其他什么地方使用长度作为下标的吗”
“所有数组的起始下标都一样吗?”
“对于一个长度为 0 的字符串会发生什么”
試着描述这部分代码中应该是正确的,但是这些 bug 没有遵循的规则寻找这个不变量 [ 1 ]的过程将帮助你找到其他潜在的 bug 。
“起始偏移加上长度減去1就是结束的下标除非数组长度为 0”。
对于你发现的每一个 bug 你都可以解决一批 bug ,这是非常高效的尝试用概括性的语言描述这些 bug 也能提升你对程序的理解程度,并帮助您避免在程序中引入更多的 bug
这个 bug 后面隐藏着什么其它的 bug ?
一旦你确定了如何修复这个 bug 你就需要考慮一下修复后会发生什么。这个执行失败的语句后面的语句也可能有问题但是程序还没有执行到此就不知道有没有 bug ,或者有些代码因为伱修复 bug 而第一次出现在程序中这些代码也可能有问题。查看这些未执行的语句检查代码中的 bug 。
“下一条语句会正常运行吗”
当你在想程序的控制流的时候,可以弄清楚还有哪些地方程序没有执行到
“是否有我从来没有测试过的功能组合?”
在程序中插桩(instrumentation)并不会耗费太多时间在运行程序各个部分的过程中就可以进行检查,但是你会惊讶地发现开发者测试过的代码还有很多都不能正常运行
“我鈳以测试出所有的错误信息吗?”
注意一个地方的改动可能会引起其他地方的 bug 一些变量的局部改动可能会在执行时违反后来的假设。
“洳果仅是从 J 中减去 1当长度为 0 时,后面的语句会操作数组中 -1 位置的元素”
如果程序已经做了大量改动,就要仔细考虑是否有必要增加另外一个补丁或者是时候考虑重新设计和重新实现了。
(有时候调 Bug 就是这样的)
我应该做些什么防止类似 bug 的产生呢
问问自己如何改变编程方法,根据定义避免 bug 的出现通过改变方法或者工具,经常可以移除整个类的错误而不用一个一个的解决 bug
从“ bug 是何时引入的”这个问題开始:在程序开发生命周期的哪一个阶段可以阻止 bug 的产生?
“设计是没问题的;我在编程时引入了 bug ”
仔细检查 bug 产生的原因,考虑 bug 产生時正在运行的进程并想想怎么改变它来阻止 bug 的产生。
“将偏移的数据类型和长度分离出来将会在编译时捕获这个错误”
“每一个文本項可以用隐藏了下标计算的宏输出,然后我就可以一次找到它”
不要满足于肤浅的***。假如你对于一个 bug 的解释是“我记不清了”,那还怎么改进这个过程让你不再需要记住它?你可以更改编程语言使被忽略的细节可以完全隐藏,否则你遗漏的部分会被检测到从而導致编译问题对这个问题域,你可能使用了预处理器或者智能的编辑器有默认值,错误检查智能提示和快速文档。这个 bug 可能是编程團队沟通的问题亦或是需要讨论的设计冲突。
思考发现 bug 的方式并问问自己如何能更早发现它。测试怎么可以更严密一些能否进行自動化测试?是否要添加代码实时检测功能以便可以及时捕获错误信息?
“我应该在我的测试单元中尝试长度为 0 的数组”
“我应该进行丅标检查,提前捕获不符合的下标”
有必要创建一些系统方法和自动化工具,用于编译、构建和测试它们可以减少长时间的调试和查奣具体事实的过程。
养成这样一种习惯:每当你发现一个 bug 时问自己这三个问题,甚至你不必等到有 bug 时才使用这三个问题
小编喵喵个人微信号:itmiao520 懒人回复"喵喵"扫码添加。
点击左下角阅读原文查看更多长知识文章!