主要内容

将 Simulink 逻辑模块视为短路

在覆盖率分析期间使用逻辑短路

模型配置窗格: 覆盖率

描述

将 Simulink 逻辑模块视为短路参数指定在执行逻辑运算的模块(例如 Logical Operator 模块)中,覆盖率是否考虑操作数的顺序。

例如,考虑将运算符模块参数设置为 AndLogical Operator 模块。当使用逻辑短路时,如果第一个输入信号为 false,则模块输出为 false,无需对第二个输入信号进行计算。因此,如果第一个输入信号为 false,则 Simulink® Coverage™ 不会分析通向第二个输入信号的模块路径。

注意

C 和 C++ 语言使用逻辑短路。清除此参数可能会导致模型覆盖率与代码覆盖率之间出现差异。

依赖关系

要启用此参数,请选择启用覆盖率分析参数。

设置

off (默认) | on
on

在覆盖率分析期间使用逻辑短路。覆盖率分析不会考虑逻辑运算中因其他输入而变得冗余的输入。

off

在覆盖率分析期间不使用逻辑短路。覆盖率分析在覆盖率分析期间会考虑逻辑运算的所有输入。

编程用法

参数CovLogicBlockShortCircuit
类型character vector | string
"on" | "off"
默认值"off"

版本历史记录

在 R2016a 中推出