Main Content

检查索引模式

检查 ID：mathworks.jmaab.db_0112

规范：db_0112：索引的使用情况

描述

标识索引模式不一致的模块和图。

具有从 0 或 1 开始的索引的模块：

  • Assignment

  • For Iterator Subsystem

  • Find

  • Multiport Switch

  • Selector

具有默认从 1 开始的索引的模块：

  • MATLAB® Function

  • Fcn

  • MATLAB System

  • Truth Table

  • State Transition Table

  • Test Sequence

注意

  • 对于 Simulink，没有具有默认从 0 开始的索引的模块。

  • 对于 Stateflow，如果图的动作语言设置为 MATLAB，则是从 1 开始的索引，如果动作语言设置为 C，则是从 0 开始的索引。

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

检查参数化

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

对于引用，NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为：

  • NA-MAAB — a1/a2

  • JMAAB — a1/a2

注意

子检查 db_0112_a1 被选为默认值

结果和建议的操作

规范子 ID条件建议采取的操作
db_0112_a1：检查从 0 开始的索引模式模型中的一个或多个模块或图具有从 1 开始的索引模式或指定索引模式。考虑使用从 0 开始的索引重新建模。
db_0112_a2：检查从 1 开始的索引模式模型中的一个或多个模块或图具有从 0 开始的索引模式或指定索引模式。考虑使用从 1 开始的索引重新建模。

功能和限制

  • 对库模型运行。

  • 允许排除。

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

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