为什么 Cobertura 没有报告断言分支路径被覆盖？

Question

在Cobertura 中，我无法让它报告使用了断言语句的条件路径。这是已知的限制吗？

我有一个 JUnit 测试，它期望和 AssertionError 被抛出，并且它正确通过。问题是 Cobertura 报告断言分支没有被覆盖。

---

经过更多调查，我看到部分分支覆盖率正在被检测到。问题是：

assert data != null;

Cobertura 将覆盖范围报告为：

条件覆盖率 75% (3/4) [每个条件 50%、100%]。

Cobertura 期望的不同分支条件是什么？

Answer 1

通过运行 JUnit 两次，我能够获得 100% 的覆盖率；一次启用断言，一次禁用断言。

Answer 2

我遇到了同样的问题，所以我花了一些时间对答案进行逆向工程，并将其捐赠给 StackOverflow。

对于每个 Java assert-statement，Cobertura 会跟踪两个条件：

1. 给定的断言语句是在启用还是禁用断言检查的情况下执行的。
2. 谓词的实际计算结果是真还是假。

因此，总共可能有四种结果。提供的资料 HTML 报告中的给定行包含

• 条件 1 的结果（从 2 中取出 0-2 种可能性，在启用或禁用检查的情况下解决执行问题），
• 以及条件 2 的结果（从 2 中取出 0-2 种可能性：断言通过或失败）。
• 总体结果（4 分中的 0-4 分），

典型的场景是：

• 运行 Cobertura 一次，断言检查禁用。 你会得到：
  启用/禁用：50%（禁用）； 通过/失败：0%（未达到）；因此总体为 25%。
  Cobertura 会将其报告为

  Conditional coverage 25% (1/4) [each condition 50%, 0%]

• 运行一次 Cobertura，并启用断言检查。 通常你的断言总是正确的，因此你得到：
  启用/禁用：50%（启用）； 通过/失败：50%（始终正确）；因此总体而言：50%。

• 运行 Cobertura 两次，一次带有断言检查 启用，一旦没有。 假设断言总是正确的，我们得到：
  启用/禁用：100%（启用和禁用）； 通过/失败：50%（始终正确）；因此总体为 75%。

然后，如果我们添加测试用例来确保给定的断言 至少失败一次，至少通过一次，我们得到 所有数字均为 100%。

但是，请注意，如果您按照约定的设计风格使用断言， 您通常甚至无法使它们失败， 查看另一个 Stack Overflow 问题的答案，Cobertura coverage and the assert keyword。

最后：虽然这些数字是可以解释的，但我不确定它们是否非常有用。我的偏好是能够从整体报告中省略与断言相关的报道。 Clover 可以做到这一点，但我不知道有一个开源覆盖分析工具有这个好功能。