将 Simulink 逻辑模块视为短路
在覆盖率分析期间使用逻辑短路
模型配置窗格: 覆盖率
描述
将 Simulink 逻辑模块视为短路参数指定在执行逻辑运算的模块(例如 Logical Operator 模块)中,覆盖率是否考虑操作数的顺序。
例如,考虑将运算符模块参数设置为 And 的 Logical Operator 模块。当使用逻辑短路时,如果第一个输入信号为 false,则模块输出为 false,无需对第二个输入信号进行计算。因此,如果第一个输入信号为 false,则 Simulink® Coverage™ 不会分析通向第二个输入信号的模块路径。
注意
C 和 C++ 语言使用逻辑短路。清除此参数可能会导致模型覆盖率与代码覆盖率之间出现差异。
依赖关系
要启用此参数,请选择启用覆盖率分析参数。
设置
off (默认) | onon在覆盖率分析期间使用逻辑短路。覆盖率分析不会考虑逻辑运算中因其他输入而变得冗余的输入。
off在覆盖率分析期间不使用逻辑短路。覆盖率分析在覆盖率分析期间会考虑逻辑运算的所有输入。
编程用法
参数:CovLogicBlockShortCircuit |
类型:character vector | string |
值:"on" | "off" |
默认值:"off" |
版本历史记录
在 R2016a 中推出