科探空谷
  • Home
  • zhimind home
  • Categories
  • Tags
  • Archives
  • 留学
    • 学校库
    • 专业库
    • 研究方向与招生
    • 工具
    • GPA计算器
    • 脑洞背单词
    • 脱口而出

FindBugs总结

目录

  • 摘要
  • 导论
    • conclusion
目录

原文: Finding Bugs is Easy by David Hovemeyer, William Pugh

摘要

旧方法基于 formal methods 和 复杂程序分析, 难用, 无作用

bug patterns - detectors

简单的自动技术在遇到常规错误和难解特性时都有用

导论

conclusion

  1. 不存在这种bug, 过于明显,以至于在实际代码中没有找到例子——发现的bug中,有些十分明显, 让我们吃惊, 即使是在生产应用和库里
  2. 现代OO语言的高度复杂性, 对语言特性及API的滥用是屡见不鲜的。
  3. 自动bug检测可以在 程序正确性 上起到巨大作用

this man is lazy, nothing left

Comments
comments powered by Disqus

Published

Mar 3, 2016

Category

软件工程

Tags

  • CS 22
  • 论文 23
  • 软件工程 1

Stay in Touch

  • Powered by Pelican. Theme: Elegant by Talha Mansoor