Automated tests 用于自动错误查找的测试套件

对于许多类型的难以计算的问题，例如命题可满足性、定理证明、旅行推销员等，存在一个广泛的测试套件，可用于评估试图解决该问题的程序的性能

---

是否存在用于自动缺陷查找的任何此类东西，即包含可自动检测的已知缺陷的程序或代码片段的集合？例如，我假设Coverity必须有这样一个内部使用的东西，但谷歌搜索似乎没有显示任何公开可用的东西。

我认为不存在这样的套件。对于“标准”套件来说，最突出的问题是，它将用什么语言编写

对于C，您可以查看的测试套件。SAFECode旨在在运行时检测这些bug，但是“完美”的静态分析工具应该能够静态地检测它们

一个更全面、更重要的静态分析工具是。见题为“的文件”。本文描述了对您所要求的测试套件的需求。它还与常见分析仪的性能和有效性相关。Frama-C可能有自己的基准测试，您可以下载源代码并进行检查

另见：

• “Frama-C新闻和创意”博客，第“”页列出了一些其他基准
  • “”
  • （不同的基准）

---

Coverity对他们的代码进行了自己的分析——这就是你所指的吗？PS。是的，我在到处追你：P。