Parameter Configuration

Overview of parameter configuration for Simulink^® Design Verifier™ analysis

Parameters are assigned a default value in the base workspace or data dictionary. You can direct Simulink Design Verifier to consider additional values for these parameters during its analysis. Consequently, Simulink Design Verifier software can handle parameters in your model as variables throughout the analysis process. Parameter configuration is employed to define 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 is influenced by a calibration parameter value K. Different values for parameter K influence whether the control port condition is reported as dead or active logic and impact test case parameter values. For more information, see Parameter Configuration for Analysis.

These two workflows summarize when you need to decide to configure parameters during the analysis.

Configure parameters when you generate test cases for coverage: In this workflow, you decide to vary the parameters after assessing whether the parameter values impact model coverage objectives or not.
Configure parameters during design error detection analysis: In this workflow you decide to vary parameters to check if parameter values may result in a run-time error in the logic which uses these values.

Topics

Basics of Parameter Configuration

Parameter Configuration for Analysis
Overview of parameter configuration for Simulink Design Verifier analysis.
Parameter Configuration Workflow
Describes the ways by which you can configure parameters in a model for analysis.
Parameter Configuration for Variant Blocks
Overview of how parameters can be used to select variants in model.
Import and Export Parameter Constraints
An example on how to import and export specified parameter constraints to and from the Parameter Table.

Example Workflows

Automatically Infer Parameter Specification for Analysis
Describes about a workflow to specify parameter configuration.
Determine Parameters from Generated Code
Describes about a workflow to specify parameter configuration.
Use Parameter Table to Find Constraints
An example of how to specify parameters as variables for analysis.
Set Parameters Using Parameter Configuration File
Describes how to define parameter configurations in MATLAB^® code files.
Specify Parameter Configuration for Structure or Bus Parameters
This example describes how to generate tests that constrain the values for the structures and bus signals in a model.
Specify Parameter Configuration for Full Coverage
An example of how to specify parameter constraint values to achieve full model coverage.

Featured Examples

Using Command Line Functions to Support Changing Parameters

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

Open Script

Tune Lookup Table Data Using Planar Approximations

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

Open Live Script

Extend Existing Test Cases After Applying Parameter Configurations

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

Open Script

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.

Open Script