Objectives and constraints

R2026b

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"

Limitations

The Objectives and constraints parameter is not supported when the Simulation mode parameter is Accelerator. To analyze coverage for objectives and constraints specified by Simulink Design Verifier, use normal simulation mode.

Version History

Introduced in R2016a

See Also

Topics