检查向量和总线信号的使用

检查 ID：mathworks.jmaab.na_0010

规范：na_0010：向量和总线信号的使用

描述

此检查验证总线和 Mux 模块的使用。

此检查需要 Simulink® Check™ 许可证。

检查参数化

此检查包含与 MAB 和 JMAAB 建模规范中指定的子 ID 对应的子检查。您可以使用模型顾问配置编辑器指定要执行的子 ID（一个或多个）。

作为参考，NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为：

  • NA-MAAB - 无建议

  • JMAAB - a、b、c、d

结果和建议的操作

规范子 ID条件建议的操作
na_0010_a：检查 Mux 和 Demux 模块的使用Mux 和 Demux 模块未用于生成和分解向量。使用 Mux 和 Demux 模块分别生成和分解向量。
na_0010_b：检查 Mux 模块的输入Mux 模块的输入不是标量或向量。仅使用标量或向量信号作为 Mux 模块的输入。
na_0010_c：检查被视为向量的总线信号一个或多个配置参数设置不当。将总线信号视为向量参数设置为错误。
na_0010_d：检查总线信号的使用一个或多个模块不支持与总线信号一起使用。仅对支持总线的模块使用总线。

功能和限制

  • 当使用除 Demux 和 Mux 以外的模块生成或分解向量时，该检查不会对其进行标记。例如，使用 Selector 模块代替 Demux，或使用向量连接代替 Mux 模块。（子 ID：a）

  • 此检查支持自动修复机制，您现在可以点击修改按钮来修复报告中显示的错误。

  • 无法在库模型上运行。

  • 允许排除模块或图。

  • 可以分析库链接模块的内容。默认情况下，输入参数 Follow links 设置为 on。

  • 可以分析封装子系统中的内容。默认情况下，输入参数 Look under masks 设置为 graphical。

另请参阅