C 的代码覆盖率

Question

我一直在回顾嵌入式系统上使用的不同代码覆盖率测试。特别是，我在看 MC/DC。据我了解，其中一个目标是确保语句中的每个逻辑子句都应该影响语句的结果。

两个问题：

1. 通过独立验证每个子句对结果的影响可以获得什么？
2. 为什么(A||B) && (A||!C) 不能实现 100% MC/DC，而 A||(B&&!C) 却能实现 100% MC/DC，即使它们具有完全相同的功能？

Answer 1

回答你的问题

1. 您需要尽可能少的代码和尽可能少的复杂代码。不可达条件会延长您的代码并使您的代码变得不必要地复杂。

2. (A||B) && (A||!C) 不会达到 100%，因为它要求 A 无缘无故地检查两次。在A 为假且B 为真的情况下，A 的真实性将在此公式中无缘无故地在(A||!C) 表达式中进行第二次检查，而在公式中A||(B&&!C) 具有@ 987654328@ 的真实性只被检查一次。