Tunable parameters

Option to specify the assumed value of tunable parameter values during the analysis

Model Configuration Pane: Polyspace

Description

The Tunable parameters parameter determines whether Polyspace^® assumes tunable parameters in your code have a constant value or a range of values between a minimum and maximum specified in the model. Treating tunable parameters as having a range of values can result and more run-time orange checks and coding rule violations.

You can find this parameter in the Polyspace pane of the Configuration Parameters dialog box, in the Data Range Management section.

Settings

Use calibration data (default) | Use specified minimum and maximum values

Use calibration data: Analysis assumes constant values for tunable parameters. Use this value to run a contextual analysis. This option can reduce the number of orange Polyspace Code Prover™ checks or false positive coding rule violations.
Use specified minimum and maximum values: Analysis assumes a range of values for tunable parameters. Specify maximum and minimum values in the model. Use this option to run an analysis that includes values outside the expected parameter value.

Recommended Settings

Application	Setting
Debugging	No Impact
Traceability	No Impact
Efficiency	No Impact
Safety precaution	No Impact

Programmatic Use

Parameter: ParamRangeMode for use with pslinkoptions

Parameter: PSParamRangeMode for use with set_param()

Values: 'None' | 'DesignMinMax'

Default: 'None'

Example:

opt = pslinkoptions(modelname); opt.ParamRangeMode =
                    'DesignMinMax';

Version History

Introduced in R2016b