VectorCAST/Cover的插件
MC/DC(修正条件判定覆盖)
修正条件判定覆盖（MC/DC）提供两个确认条件句的方式。第一个方式（MC/DC Branches）分析语句中的所有子条件句来检查测试用例是否执行它们的"true"与"false"数值。第二个方式（Equivalence Pairs）分析所有子条件句能够控制条件句的数值。 我们的工具会生成一个真值表，然后在真值表中指出测试数值外所有数值不变化而结果变化的两行数据。执行之后，如果一组两行数据被执行了，那么我们的测试用例保证只改变这个子条件句能够改变相关结果。
