本页采用了机器翻译。点击此处可查看最新英文版本。

目标和约束

实现目标和约束覆盖率

模型配置窗格: 覆盖率

描述

目标和约束参数决策是否分析 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 中推出

另请参阅

启用覆盖率分析

主题