MCDC定义金宝app报道和金宝app设计验证器

金宝app仿真软件设计验证器和金宝app仿真软件覆盖代表着两种不同的方式:MCDC目标

的金宝app仿真软件设计验证器结果窗口显示合理的对于任何合理MCDC目标。点击相应的视图链接看到仿真软件设计校验分析过滤规则过滤窗口。金宝app

不可满足的或MCDC目标包括犹豫不决证明链接。点击这个链接来创建一个相应的过滤规则。因为每个MCDC目标金宝app仿真软件覆盖对应于两个MCDC目标金宝app仿真软件设计验证器,金宝app仿真软件设计验证器成对MCDC目标是合理的。

例如,在下图中,当你点击证明链接MCDC表达式表达式输出与输入端口4假,创建一个过滤规则,证明这个MCDC目标以及MCDC当表达式是客观的真正的。

金宝app仿真软件设计验证器总是使用掩蔽MCDC定义测试用例生成。默认情况下,金宝app仿真软件覆盖录音报道时也使用掩蔽MCDC定义。然而,如果你设置CovMcdcMode模型配置参数“UniqueCause”,金宝app仿真软件覆盖而不是使用unique-cause MCDC定义当记录报道。信息掩蔽MCDC定义之间的差异和unique-cause MCDC定义,明白了改性条件和决策覆盖(MCDC)定义在模型的报道金宝app。

设置CovMcdcMode模型配置参数“UniqueCause”可能导致MCDC报告之间的差异金宝app仿真软件覆盖和测试生成金宝app仿真软件设计验证器。这一区别的一个示例中可以看到分析结果包含的逻辑表达式和和或在这个Stateflow运营商,^®过渡。

考虑到一个,B,C每个单独的输入,有五个可能的方法来评估Stateflow过渡条件,如下表所示。

一个布尔变量满足MCDC需要一双条件评估,表明该变量的变化改变整个表达式的评价。在这个例子中,MCDC能满足C与两人1、2或3,4。在这两种情况下,表达式的值改变的价值C改变,而所有其他变量值保持不变。

每一对有一组不同的值一个和B保持不变,但每组包含一个评价在哪里C和出真正的和一个评价吗C和出都是虚假的。为满足MCDCC,金宝app仿真软件设计验证器包含一个评估的测试生成分析接受任何一对真正的价值观和错误值的一个评价C和出。在这个例子中,金宝app仿真软件设计验证器测试生成分析接受不仅对1、2和3,4,还对1,4,对2、3。金宝app仿真软件覆盖模型覆盖率分析使用unique-cause MCDC定义满意只有一对1 2或对3、4。

前面的示例假设一个,B,C都是单独的输入。当输入一个约束是相同的值作为吗C在这个模型中,只有一个子集的条件评估是可能的。

这个子集的条件评估Stateflow过渡如下表所示。

评估2和3是不再可能,所以无论是对1、2也对3、4是可能的。因此,unique-cause MCDCC可以不再感到满意吗金宝app仿真软件覆盖覆盖率分析模型。对1日以来4仍然是有可能的,然而,金宝app仿真软件设计验证器MCDC的测试生成分析报告C是可以满足的。

MCDC分析逻辑表达式的复杂性的混合物和和或运营商引起这种差异的结果金宝app仿真软件覆盖设置为unique-cause MCDC分析和金宝app仿真软件设计验证器。默认的CovMcdcMode模型配置参数的值“屏蔽”不会引起这种差异。但是,如果您需要使用unique-cause MCDC分析金宝app仿真软件覆盖,你可以减少这种影响通过使用IndividualObjectives测试套件测试生成分析优化金宝app仿真软件设计验证器有关更多信息,请参见的提示部分测试套件的优化(金宝app仿真软件设计验证器)。