c - 夹板和测试覆盖率分析？

Question

我正在寻找一个具有夹板成熟度的静态分析工具，它还可以对代码进行测试覆盖分析。例如，libfoo.c 中的所有非静态函数都应该出现在 libfoo.h 中，因此 libfoo.h 中的所有函数都应该进行单元测试。

当然，此类行为需要某种粒度控制，但这将在静态分析工具的某种启动配置文件中定义。

我正在从事一个进展非常迅速的项目，每天都会添加各种内容，我希望找到一些有助于确保单元测试覆盖率保持足够的静态分析工具。它是一个庞大的、分布在不同地域的团队，这意味着事情会全天候 24 小时提交，我需要每晚构建才能更智能。

我不需要它非常智能，我只需要它在没有测试的情况下破坏构建，除非它明确地被排除在范围之外。

CCAN 正在研究类似的东西，但是要花几个月的时间才能写出任何实质性的东西。我也需要一些成熟的东西。

提前感谢您提供任何 gem 的链接。

Answer 1

GCC 文档将读者指向 gcov用于代码覆盖分析。这篇 2005 年 Dobbs 博士关于 Defensive programming 的文章包括对使用 gcov 的讨论。