输出
用于验证输出变量是否在预期边界内的选项
模型配置窗格: Polyspace
描述
输出参数决定 Polyspace® Code Prover™ 是否验证输出变量是否在“输出”模块对话框中指定的预期边界内。
您可以在“配置参数”对话框的 Polyspace 窗格中的数据范围管理部分中找到此参数。
依赖关系
当您对由 Embedded Coder® 生成的代码运行 Polyspace Code Prover 分析时，此选项适用。
设置
无验证（默认值） | 验证输出是否在最小值和最大值范围内
- 无验证
Polyspace Code Prover 不验证输出值。
- 验证输出是否在最小值和最大值范围内
Polyspace Code Prover 检查以确定输出变量值是否在预期的最小值和最大值范围内。
推荐设置
| 应用程序 | 设置 |
|---|---|
| 调试 | 无影响 |
| 可追溯性 | 无影响 |
| 效率 | 无影响 |
| 安全预警 | 无影响 |
编程用法
参数：OutputRangeMode，用于 pslinkoptions |
参数：PSOutputRangeMode，用于 set_param() |
值：'None' | 'DesignMinMax' |
默认值：'None' |
示例：opt = pslinkoptions(modelname); opt.OutputRangeMode = 'DesignMinMax';
|
版本历史记录
在 R2016b 中推出
