本页采用了机器翻译。点击此处可查看英文原文。

检查 Assignment 模块的使用

检查 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 模块位于迭代器子系统中，则警告。

另请参阅