原文: Finding Bugs is Easy by David Hovemeyer, William Pugh
摘要¶
旧方法基于 formal methods 和 复杂程序分析， 难用， 无作用
bug patterns - detectors
简单的自动技术在遇到常规错误和难解特性时都有用
导论¶
conclusion¶
- 不存在这种bug, 过于明显，以至于在实际代码中没有找到例子——发现的bug中，有些十分明显， 让我们吃惊， 即使是在生产应用和库里
- 现代OO语言的高度复杂性， 对语言特性及API的滥用是屡见不鲜的。
- 自动bug检测可以在 程序正确性 上起到巨大作用