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.