Parameter Configuration

Overview of parameter configuration for Simulink® Design Verifier™ analysis

You can direct Simulink Design Verifier to consider additional values for model parameters during its analysis other than their defaults set in the base workspace or a data dictionary. This allows Simulink Design Verifier can handle parameters in your model as variables throughout the analysis process. A parameter configuration defines the range of permissible values for a parameter.

For example, consider a model that contains a Switch block with the default value set to 0, and its control port influenced by a calibration parameter value K. Different values of K influence whether the control port condition is reported as dead or active logic and impact test case parameter values. For more information, see Use Parameter Configuration in Analysis.

When you configure parameters depends on which workflow you use.

  • Configure parameters when you generate test cases for coverage - In this workflow, you vary the parameters after assessing whether the parameter values impact model coverage objectives.

    Flowchart to describe parameter configuration during test generation analysis.

  • Configure parameters during design error detection analysis - In this workflow you vary parameters after detecting design errors to check if any parameter values result in a run-time error in the logic that uses these values.

    Flowchart to describe parameter configuration during design error detection analysis.

Topics

Basics of Parameter Configuration

Example Workflows

Featured Examples

Using Command Line Functions to Support Changing Parameters

Using Command Line Functions to Support Changing Parameters

Use Simulink® Design Verifier™ command-line functions to generate test data that incorporates different parameter values.

Tune Lookup Table Data Using Planar Approximations

Tune Lookup Table Data Using Planar Approximations

Tune Lookup Table data using Planar Approximations in Simulink Design Verifier.

Extend Existing Test Cases After Applying Parameter Configurations

Extend Existing Test Cases After Applying Parameter Configurations

Achieve missing coverage by extending existing test cases after applying parameter configurations.

Generate Parameters Values

Generate Parameters Values

Tune parameters using parameter configuration file for Simulink® Design Verifier™ analysis. The model contains the parameter control_mode that enables the active controller and selects its output to be the model output. Simulink Design Verifier treats this parameter as an input that is constrained to be either 1 or 2 and generates the appropriate value for each test case.