说到软件调试, 自己也已经知道一些东西。这本书不同之处在于，它
不仅仅讲了调试，还把他跟质量保证结合在一起。我总结为"一条线+几个点"。
全书的亮点，我认为，在于一个很好的思路(一条线)：怎么修复bug(它确实不会发生:find & repair) -> 如何避免产生bug(它不会再次发生:prevent)(e.g.自动化测试) -> 让软件学会自己寻找缺陷(如果真的发生了，要很容易找到:detect)(e.g.断言)
此外本书有一个可以补充的方面是，如何编写易于调试的代码。除了
说中提到的断言Assert外，应该还有一些方法。比如说，如何做好
log日志，如何处理好exception。
以上都是大的方面的，以下是一些对我自己比较有帮助的小要点(几个点)。
1 实证方法
“它依赖经验和观察，而不是理论和纯逻辑推理。它是迄今为止最有
效的方法。你可以阅读全部的源代码，并用纯理论去了解软件的运行
状况，但是这样做通常没什么效率。通过仔细的构建观察实验环境并
观察软件的运行状况，你可以有效的找到问题。”
“...一种方法就是纯逻辑推理，思考为什么软件的一些功能要这么
做。这么做可能会非常费时和棘手。但是当其他方法无效时，他往往
可以起到作用。你需要做的就是“把你自己融入到软件中”，在你的
想象中执行软件。执行到每一步时，考虑有哪些出现错误的可能性，
长世界是你的跟踪的缺陷。”
实证方法是一个不断假设、设计实验、验证假设、反思的过程。我自
己的感受是，我实证方法太少，纯推理太多，导致速度太慢。
2 一次一个问题
3 先检查简单的事情
4 bug不会自己消失