检查 Stateflow 图是否使用了强数据定型

R2026b

mathworks.hism.hisf_0015

依赖关系: Simulink® Check™ 和 Stateflow®

用法: 高完整性系统建模

规范: hisf_0015：强数据定型(在表达式中强制转换变量和参数)

描述

此检查用于标识 Stateflow 状态和转移中表达式的变量和参数具有不同数据类型的情况。

Elements under review:

  • Stateflow 状态和转移（表达式中的变量和参数）

检查参数

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

参数描述
跟随链接

指定是否在分析中包含库链接模块的内容。

on（默认）| off

查看封装内部

指定是否在分析中包含封装模型元素。

all（默认）| none | graphical | functional

  • all - 检查分析包含所有封装模型元素。

  • none - 检查分析排除封装模型元素。

  • graphical - 检查分析仅包含图形封装模型元素。

  • functional - 检查分析仅包含功能封装模型元素。

建议的操作和结果

查看该检查所标记的违规以及用于修复问题的建议操作。应用更改后，请保存模型并重新运行检查分析。

建模条件建议的操作
Stateflow 对象中表达式内的变量和参数具有不同的数据类型。

将表达式中的变量和参数显式强制转换为相同的数据类型。有关详细信息，请参阅cast。

功能和限制

  • 无法在库模型上运行。

  • 允许排除模块和图

  • 不会分析 Stateflow 对象中表达式内的字面值的类型，也不会将字面值的类型显式强制转换为预期数据类型

  • 不会标记包含 true 和 false 关键字的表达式。有关详细信息，请参阅其他常见保留关键字 (Embedded Coder)。

  • 不会分析用 C 语言编写并嵌入 Stateflow 的外部函数

  • 在某些情况下，当检查无法确定数据类型时，会报告信息状态

  • 仅分析活动变体选择项

  • 执行模型编译

版本历史记录

在 R2021a 中推出

另请参阅

主题