检查 Assignment 模块的使用

R2026b

检查 ID：mathworks.misra.AssignmentBlocks

找出没有将模块参数未分配任何输出元素时的动作设置为错误或警告的 Assignment 块。

描述

此检查适用于 Simulink > 数学运算下的 Simulink 模块库中提供的 Assignment 模块。

遵循此检查的建议可提高为嵌入式应用生成符合 MISRA C:2012 和 MISRA C:2023 标准的代码以及符合 CERT C、CWE、ISO/IEC TS 17961 标准的代码的可能性。

适用于 Embedded Coder® 和 Simulink® Check™。

结果和建议的操作

条件建议的操作
模型或子系统可能包含数组初始化不完整的 Assignment 块，这些模块参数未分配任何输出元素时的动作未设置为错误或警告。

将模块参数未分配任何输出元素时的动作设置为以下推荐值之一：

  • 错误（如果 Assignment 模块不在迭代子系统中）。

  • 警告（如果 Assignment 模块在迭代器子系统中）。

功能和限制

  • 对库模型运行。

  • 可以分析库链接模块的内容。

  • 可以分析封装子系统中的内容。

  • 如果您有 Simulink Check 许可证，则允许排除模块和图。

编辑时检查

此检查支持编辑时检查。但是，以下检查条件不受支持，因为编辑时检查无法确定 Assignment 模块是否在迭代器子系统中。

将模块参数未分配任何输出元素时的动作设置为以下推荐值之一：

  • 错误（如果 Assignment 模块不在迭代子系统中）。

  • 警告（如果 Assignment 模块在迭代器子系统中）。

另请参阅