输入
用于选择是否约束 Inport 模块变量的选项
模型配置窗格: Polyspace
描述
输入参数决定了 Polyspace® 是假设生成的代码中的输入变量由其对应 Inport 模块的最大值和最小值界定，还是允许它们取完整范围的值。
可在 Polyspace 窗格的数据范围管理部分中找到此选项。
设置
使用指定的最小值和最大值（默认值） | 无界输入
- 使用指定的最小值和最大值
Polyspace 假设输入变量具有最小值和最大值。这些值是在相应的 Inport 模块对话框中指定的。使用此选项可以减少橙色 Polyspace Code Prover™ 检查或误报编码规则违规的数量。
- 无界输入
Polyspace 假设输入变量可以取完整范围的值。使用此值可以运行包括超出输入变量预期范围的值的分析。
推荐设置
| 应用程序 | 设置 |
|---|---|
| 调试 | 无影响 |
| 可追溯性 | 无影响 |
| 效率 | 无影响 |
| 安全预警 | 无影响 |
编程用法
参数： InputRangeMode，用于 pslinkoptions |
参数： PSInputRangeMode，用于 set_param() |
值：'DesignMinMax' | 'FullRange' |
默认值：'DesignMinMax' |
示例：opt = pslinkoptions(modelname); opt.InputRangeMode = 'FullRange';
|
版本历史记录
在 R2016b 中推出
