Objectives and constraints

Enable objectives and constraints coverage

Model Configuration Pane: Coverage

Description

The Objectives and constraints parameter determines whether to analyze coverage for the objectives and constraints specified by Simulink^® Design Verifier™ blocks.

Using Simulink Design Verifier blocks, you can specify objectives and constraints in your model. To check if these objectives are satisfied, generate test cases using these blocks. You can execute these test cases in the original model and record whether the specified objectives are satisfied at least once during simulation.

For an example, see Simulink Design Verifier Coverage.

Dependencies

To enable this parameter, select Enable coverage analysis.

Settings

off (default) | on

off

Do not analyze coverage for the objectives and constraints specified by Simulink Design Verifier blocks.

on

Analyze coverage for the objectives and constraints specified by Simulink Design Verifier blocks.

Programmatic Use

Parameter: CovMetricObjectiveConstraint

Type: character vector | string

Value: "on" | "off"

Default: "off"

Version History

Introduced in R2016a