检查浮点信号的关系比较

mathworks.hism.hisl_0016

依赖关系: Simulink^® Check™

用法: 高完整性系统建模

规范: hisl_0016: Usage of blocks that compute relational operators

说明

使用此检查来识别关系块、数据类型转换块以及对浮点信号执行等于或不等于比较的条件操作。

使用模型顾问配置编辑器，通过指定输入参数来定义分析范围。

参数描述

参数	描述
检查模型中引用的外部 .m 文件	指定是否对模型中引用的 MATLAB^® 文件运行。 `on` (默认) \| `off`
跟随链接	指定是否将文库链接模块的内容纳入分析。 on（默认）\| off
查看封装内部	指定是否在分析中包含掩码模型元素。全部（默认）\| 无 \| 图形 \| 功能性全部 - 检查分析是否包含所有掩码模型元素。无 - 检查分析排除了已屏蔽的模型元素。图形 - 检查分析仅包括图形掩码模型元素。功能性 - 检查分析仅包括功能掩码模型元素。

检查模型中引用的外部 .m 文件

指定是否对模型中引用的 MATLAB^® 文件运行。

on (默认) | off

跟随链接

指定是否将文库链接模块的内容纳入分析。

on（默认）| off

查看封装内部

指定是否在分析中包含掩码模型元素。

全部（默认）| 无 | 图形 | 功能性

查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。

建模条件	建议的操作
模型中使用的一个或多个关系运算对浮点信号执行等于或不等于比较。	对于已识别的块和表达式，执行以下操作之一：更改信号数据类型。修改模型，消除对浮点信号使用 `==` 或 `~=` 运算符。
模型中使用的一个或多个 If 块具有 `if` 表达式或 `elseif` 表达式，这可能会导致生成的代码中出现浮点数等于或不等于比较。	修改表达式，避免在生成的代码中进行浮点数等于或不等于比较。
模型中使用的一个或多个 Data Type Conversion 块可能会导致生成的代码中出现浮点数相等或不相等的比较。	避免使用 Data Type Conversion 块将浮点信号转换为布尔值。
一个或多个条件表达式可能会导致生成的代码中进行浮点数等于或不等于比较。	考虑在条件表达式中使用布尔值。

在 R2021a 中推出

全部展开

为由 Data Type Conversion 块和生成的代码中的条件表达式引起的浮点数等于或不等于比较添加了建模条件。