unit-testing - java修改条件/决策覆盖分析工具

Question

java中有修改条件/决策覆盖分析的开源工具吗

我看过 coberta，它似乎只提供有条件的覆盖。

我有兴趣执行这里描述的分析

http://sunnyday.mit.edu/papers/dupuy.pdf

http://en.wikipedia.org/wiki/Modified_condition/decision_coverage

To satisfy the MC/DC coverage criterion, during testing all of the below must be true at least once[1]:

* Each decision tries every possible outcome
* Each condition in a decision takes on every possible outcome
* Each entry and exit point is invoked
* Each condition in a decision is shown to independently affect the outcome of the decision

Answer 1

MC/DC - 多条件/决策覆盖

Every point of entry and exit in the program has been invoked at least once, every condition in a decision in the program has taken on all possible outcomes at least once, and each condition has been shown to affect that decision outcome independently. A condition is shown to affect a decision's outcome independently by varying just that condition while holding fixed all other possible conditions. [Wikipedia MC/DC - en.wikipedia.org/wiki/Modified_condition/decision_coverage]

代码封面

http://codecover.org/features/coverage.html

CodeCover 声明还检查 MC/DC，他们在 Ludewig 术语的意义上称其为术语覆盖率。我试图找到有关 Ludewig 术语的更多信息，但找不到任何有用的信息。

术语覆盖(CodeCover)

bool 短路语义的术语覆盖率检查，例如涉及并不总是被评估的副作用的决策:

if (expressionA && myfunc(b)) {
    do_something();
}

[维基百科短路评估 - en.wikipedia.org/wiki/Short-circuit_evaluation]

如果 expressionA 的计算结果为 false，则不会执行 myfunc(b)。这是编写更快代码的常用技术，但存在风险，因为 myfunc(b) 可能会对环境进行一些更改，开发人员很容易监督这些更改，从而创建不安全的代码。

根据我的理解，Term coverage 验证 expressionA 的计算结果为 true 和 false，因此 myfunc(b) 至少执行一次。

测试井CTC++

http://www.verifysoft.com/en_ctcpp.html

• 许可证价格从 4100 欧元到 8800 欧元不等的专有软件
• 似乎支持 C、C++、Java、C#
• 支持所有编译器
• 符合 DO 178-C/ED-12C(航空航天)、EN 50128(铁路)、IEC 61508(电子安全相关系统)、IEC 62304(医疗)、ISO 26262(汽车)、IEC 60880(核能) ) 和其他质量标准。

PS:我没有足够的声誉来发布两个以上的链接，因此我让它们无法解析。但它们在引用引用方面仍然很重要。