目标和约束

启用目标和约束覆盖率

模型配置窗格: 覆盖率

描述

目标和约束参数用于确定是否对由 Simulink^® Design Verifier™ 模块指定的目标和约束进行覆盖率分析。

使用 Simulink Design Verifier 模块，您可以指定您的模型中的目标和约束。要检查这些目标是否得到满足，请使用这些模块生成测试用例。您可以在原始模型中执行这些测试用例，并记录在仿真过程中指定的目标是否至少被满足一次。

有关示例，请参阅Simulink Design Verifier 覆盖率。

依赖关系

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

设置

off (默认) | on

off: 不对由 Simulink Design Verifier 模块指定的目标和约束进行覆盖率分析。
on: 对由 Simulink Design Verifier 模块指定的目标和约束进行覆盖率分析。

编程用法

参数：CovMetricObjectiveConstraint

类型：character vector | string

值："on" | "off"

默认值："off"

版本历史记录

在 R2016a 中推出

另请参阅

启用覆盖率分析

主题