检查 Simulink 中的浮点类型比较
检查 ID:mathworks.jmaab.jc_0800
规范:jc_0800:在 Simulink® 中比较浮点类型
描述
检查是否对浮点数进行了相等性比较。
此检查适用于以下模块:
Relational Operator
Compare To Zero
Compare To Constant
此检查需要 Simulink Check™ 许可证。
检查参数化
此检查不包括子检查,因为 MAB 建模规范仅提供一个子 ID。
作为参考,NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为:
NA-MAAB - a
JMAAB - a
结果和建议的操作
条件 | 建议的操作 |
---|---|
观测到一个或多个浮点数相等性比较实例。 | 确保避免使用浮点数相等性比较。 |
功能和限制
无法在库模型上运行。
可以分析封装子系统中的内容。默认情况下,输入参数 Look under masks 设置为 graphical。
可以分析库链接模块的内容。默认情况下,输入参数 Follow links 设置为 on。
允许排除模块和图。