检测指定的最小值和最大值违规
检查 ID：mathworks.sldv.minmax
检测超出指定的最小值和最大值的信号
描述
此分析会检查整个模型中各中间信号及输出端口上指定的最小值与最大值（即设计范围）。如果此分析检测到信号超出设计范围，结果将识别模型中发生错误的具体位置。
遵循此检查的建议可提高为嵌入式应用生成符合 MISRA C:2012 标准的代码以及符合 CERT C 和 CWE 标准的代码的可能性。
结果和建议的操作
| 结果 | 建议的操作 |
|---|---|
| 失败，模型不兼容 | 解决模型不兼容问题。请参阅
另请参阅使用自动插桩处理不兼容问题 (Simulink Design Verifier)。 |
| 在模型中发现最小值和/或最大值违规 | 要查看导致该违规的条件，请创建一个框架模型。当您对框架进行仿真时，输入会重现该错误。点击模型顾问报告中的查看测试用例。 |
功能和限制
无法在库模型上运行。
可以分析封装子系统中的内容。默认情况下，输入参数 Look under masks 设置为
all。可以分析库链接模块的内容。默认情况下，输入参数 Follow links 设置为
on。不支持排除项。
另请参阅
MISRA C:2012:Directive 4.1
CERT C, API00-C
CWE, CWE-628
安全编码 (Embedded Coder)
检测并消除运行时错误 (Simulink Design Verifier)
检查指定的最小值和最大值违规 (Simulink Design Verifier)
