模型顾问检查MAB和JMAAB合规性- MATLAB和Simulink金宝app - 金宝app,下载188bet金宝搏,金宝搏官方网站

模型顾问检查MAB和JMAAB的遵从性

MAB符合性检查的建模标准

方法的遵从性，可以使用模型顾问验证模型的遵从性MathWorks^®咨询委员会(MAB)指南．

一个金宝app^®检查™执行这些MAB检查需要license。在适用的情况下，在特定于检查的文档中确定了额外的许可要求。

要访问Model Advisor中的检查，请参见访问MAB和JMAAB模型顾问检查．要运行Model Advisor检查，请参见运行Model Advisor检查并检查结果．

方法执行检查时按照任务文件夹，单抗检查分为以下几组:

命名约定

检查模型是否符合MAB命名约定指南。

有关更多信息，请参见MAB和JMAAB的建模指南和模型顾问检查．

金宝app

检查模型是否符合Simulink配置参数、图外观、信号、块一致性、条件子系统关系、操作块和其他杂项块的MAB准则。金宝app

有关更多信息，请参见MAB和JMAAB的建模指南和模型顾问检查．

Stateflow

检查模型是否符合statflow的MAB指南^®块/数据/事件，图表，条件转换/动作，标签描述和其他杂项组件。

有关更多信息，请参见MAB和JMAAB的建模指南和模型顾问检查．

MATLAB

检查模型是否符合MAB MATLAB函数指南。

有关更多信息，请参见MAB和JMAAB的建模指南和模型顾问检查．

JMAAB -遵从性检查的建模标准

您可以使用模型顾问验证您的模型与日本MATLAB的合规性^®汽车咨询委员会(JMAAB)指南。

一个金宝app仿真软件检查执行这些JMAAB检查需要许可证。在适用的情况下，在特定于检查的文档中确定了额外的许可要求。

要访问Model Advisor中的检查，请参见访问MAB和JMAAB模型顾问检查．要运行Model Advisor检查，请参见运行Model Advisor检查并检查结果．

方法执行检查时按照任务文件夹，JMAAB检查分为以下几组:

命名约定

与命名约定相关的检查。

有关更多信息，请参见MAB和JMAAB的建模指南和模型顾问检查．

模型架构

检查模型是否符合JMAAB模型体系结构准则。

有关更多信息，请参见MAB和JMAAB的建模指南和模型顾问检查．

型号配置选项

检查模型是否符合JMAAB配置选项指南。

有关更多信息，请参见MAB和JMAAB的建模指南和模型顾问检查．

金宝app

检查模型是否符合Simulink块和组件的JMAAB指南。金宝app

有关更多信息，请参见MAB和JMAAB的建模指南和模型顾问检查．

Stateflow

检查模型是否符合状态流程图和组件的JMAAB指南。

有关更多信息，请参见MAB和JMAAB的建模指南和模型顾问检查．

MATLAB函数

检查模型是否符合JMAAB的MATLAB函数指南。

有关更多信息，请参见MAB和JMAAB的建模指南和模型顾问检查．

检查文件名

检查身份证：mathworks.jmaab.ar_0001

描述

检查文件名是否符合指导标准。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id相对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a b c d e f
JMAAB - a, b, c, d, e, f

结果和建议措施

指南子ID	条件	建议的行动
ar_0001_a:文件名中允许使用的字符	一个或多个文件的名称无效。	在文件名中使用字母数字字符和下划线。
ar_0001_b:开头的数字	一个或多个文件的文件名开头有数字。	在文件名的开头使用字母。
ar_0001_c:在开头下划线	一个或多个文件的文件名开头有下划线。	在文件名的开头使用字母。
ar_0001_d:在结尾下划线	一个或多个文件在文件名末尾有下划线。	文件名不要以下划线结尾。
ar_0001_e:连续下划线	一个或多个文件的文件名中有连续的下划线。	文件名中不能使用连续的下划线。
ar_0001_f:单个MATLAB保留词	一个或多个文件保留了MATLAB单词作为文件名。	不要使用保留的MATLAB字作为文件名。
ar_0001_g:路径上的文件名相同	一个或多个文件的名称与MATLAB路径中的文件相同。	使用唯一的文件名。

能力和限制

通过选择输入参数，可以将此检查配置为在隐藏文件夹上运行检查隐藏文件夹在Model Advisor配置编辑器中。
可以将此检查配置为检查输入参数中具有特定扩展名的文件名文件扩展名在Model Advisor配置编辑器中。
该检查不会标记与c++关键字的冲突。
在库模型上运行。

另请参阅

马伯指南ar_0001:文件名可用字符
JMAAB指南ar_0001

检查文件夹名称

检查身份证：mathworks.jmaab.ar_0002

描述

检查文件夹名称以满足指南标准。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a b c d e f
JMAAB - a, b, c, d, e, f

结果和建议措施

指南子ID	条件	建议的行动
ar_0002_a:文件夹名中允许使用的字符	一个或多个文件夹名称无效。	在文件夹名称中只使用字母数字字符和下划线。
ar_0002_b:开头的数字	一个或多个文件夹在文件夹名称的开头有数字。	在文件夹名称的开头使用字母。
ar_0002_c:在开头下划线	一个或多个文件夹在文件夹名称的开头有下划线。	在文件夹名称的开头使用字母。
ar_0002_d:后面加下划线	一个或多个文件夹在文件夹名称的末尾有下划线。	文件夹名称不要以下划线结尾。
ar_0002_e:连续的下划线	一个或多个文件夹名称中包含连续的下划线。	请勿在文件夹名称中使用连续的下划线。
ar_0002_f:单个MATLAB保留词	一个或多个文件夹已保留MATLAB单词作为文件夹名称。	不要使用保留的MATLAB字作为文件夹名。

能力和限制

可以将此检查配置为检查输入参数中具有特定扩展名的文件名文件扩展名在Model Advisor配置编辑器中。
通过选择输入参数，可以将此检查配置为在隐藏文件夹上运行检查隐藏文件夹在Model Advisor配置编辑器中。
在库模型上运行。
这个检查也会在嵌套子目录上运行。

另请参阅

马伯指南ar_0002:文件夹名称的可用字符
JMAAB指南ar_0002

检查模型文件名的长度

检查身份证：mathworks.jmaab.jc_0241

描述

检查模型文件名的长度是否符合63个字符的最大长度限制。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

您可以配置以下输入参数，自定义检查动作:

输入参数	价值	JMAAB值(默认选择)
最小长度	文件夹路径的最小长度。	1
最大长度	文件夹路径的最大长度。	64

结果和建议措施

条件	建议的行动
模型文件名不符合长度为63个字符的限制。	修改模型文件名，使文件名长度不超过63个字符。

另请参阅

马伯指南jc_0241:模型文件名的长度限制
JMAAB指南jc_0241

在模型路径的每一层检查文件夹名称的长度

检查身份证：mathworks.jmaab.jc_0242

描述

检查模型路径的每一层文件夹名称的长度，以查看路径中的所有文件夹是否都遵守63个字符的最大长度限制。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

您可以配置以下输入参数，自定义检查动作:

输入参数	价值	JMAAB值(默认选择)
最小长度	文件夹路径的最小长度。	1
最大长度	文件夹路径的最大长度。	64
路径名称中的字符总数	文件夹路径的总长度(字符数)。	禁用
项目目录	项目路径地址。	没有配置

结果和建议措施

条件	建议的行动
模型路径的每一层的文件夹名称的长度不遵循63个字符的长度限制。	修改不满足全路径长度63个字符限制的文件夹名。

另请参阅

马伯指南jc_0242:文件夹名称的长度限制
JMAAB指南jc_0242

检查子系统名称

检查身份证：mathworks.jmaab.jc_0201

描述

用错误的字符标识子系统名称。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a b c d e f
JMAAB - a, b, c, d, e, f

结果和建议措施

指南子ID	条件	建议的行动
jc_0201_a:允许用于子系统名称的字符	一个或多个子系统具有无效的名称。	在子系统名称中只使用字母数字字符和下划线。
jc_0201_b:开头的数字	一个或多个子系统在子系统名称的开头有数字。	在子系统名称的开头使用字母。
jc_0201_c:在开头加下划线	一个或多个子系统在子系统名称的开头有下划线。	在子系统名称的开头使用字母。
jc_0201_d:最后加下划线	一个或多个子系统在子系统名称的末尾有下划线。	不要以下划线结束子系统名称。
jc_0201_e:连续的下划线	一个或多个子系统的名称中有连续的下划线。	不要在子系统名称中使用连续的下划线。
jc_0201_f:单独保留MATLAB单词	一个或多个子系统保留MATLAB单词作为子系统名称。	不要使用保留的MATLAB字作为子系统名称。

能力和限制

该检查只适用于非虚拟子系统。如果您想在虚拟子系统上运行此检查，请选择输入参数检查虚拟子系统从Model Advisor配置编辑器。
在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
金宝app支持排除块或图表。

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南jc_0201:子系统名称的可用字符
JMAAB指南jc_0201

检查块名称中的字符使用情况

检查身份证：mathworks.jmaab.jc_0231

描述

识别带有错误字符的块名称。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a b c d e f
JMAAB - a, b, c, d, e, f

结果和建议措施

指南子ID	条件	建议的行动
jc_0231_a:块名中允许使用的字符	模型中的一个或多个块具有无效的名称。	在块名称中只使用字母数字字符和下划线。
jc_0231_b:开头的数字	模型中的一个或多个块在块名的开头有编号。	在块名称的开头使用字母。
jc_0231_c:在开头加下划线	模型中的一个或多个块在块名的开头有下划线。	在块名称的开头使用字母。
jc_0231_d:在结尾加下划线	模型中的一个或多个块在块名的末尾有下划线。	不要以下划线结束块名称。
jc_0231_e:连续的下划线	模型中的一个或多个块在块名中有连续的下划线。	不要在块名称中使用连续的下划线。
jc_0231_f:单独保留的MATLAB单词	模型中的一个或多个块使用保留的MATLAB单词作为块名。	不要使用保留的MATLAB字作为块名。

能力和限制

金宝app支持指导子id的选择。
在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
金宝app支持排除块或图表。

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南jc_0231:块名的可用字符
JMAAB指南jc_0231

检查端口块名称

检查身份证：mathworks.jmaab.jc_0211

描述

用错误的字符标识导入或输出端口块名称。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a b c d e f
JMAAB - a, b, c, d, e, f

结果和建议措施

指南子ID	条件	建议的行动
jc_0211_a:端口块名称中允许使用的字符	一个或多个端口块的名称无效。	端口块名称只能使用字母数字和下划线。
jc_0211_b:开头的数字	一个或多个端口块在端口块名称的开头有编号。	在端口块名称的开头使用字母。
jc_0211_c:在开头加下划线	一个或多个端口块在端口块名称的开头有下划线。	在端口块名称的开头使用字母。
jc_0211_d:最后加下划线	一个或多个端口块在端口块名称的末尾有下划线。	不要以下划线结束端口块名称。
jc_0211_e:连续的下划线	一个或多个端口块名称中包含连续的下划线。	端口块名称中不能使用连续的下划线。
jc_0211_f:单独保留MATLAB单词	一个或多个端口块保留MATLAB单词作为端口块名称。	不要使用保留的MATLAB单词作为端口块名称。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
金宝app支持排除块或图表。

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南jc_0211:输入块和输出块的可用字符
JMAAB指南jc_0211

检查子系统名称的长度

检查身份证：mathworks.jmaab.jc_0243

描述

检查模型中子系统名称的长度是否符合63个字符的最大长度限制。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

您可以配置以下输入参数，自定义检查动作:

输入参数	价值	JMAAB值(默认选择)
最小长度	文件夹路径的最小长度。	1
最大长度	文件夹路径的最大长度。	64

结果和建议措施

条件	建议的行动
模型中的子系统名称不遵循63个字符的长度限制。	修改子系统块名称，使子系统名称的长度不超过63个字符。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南jc_0243:子系统名称的长度限制
JMAAB指南jc_0243

检查块名称的长度

检查身份证：mathworks.jmaab.jc_0247

描述

检查模型中块名称的长度是否符合63个字符的最大长度限制。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

您可以配置以下输入参数，自定义检查动作:

输入参数	价值	JMAAB值(默认选择)
最小长度	文件夹路径的最小长度。	1
最大长度	文件夹路径的最大长度。	64

结果和建议措施

条件	建议的行动
模型中的块名称不遵守63个字符的长度限制。	修改块名称，使块名称的长度不超过63个字符。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南jc_0247:块名的长度限制
JMAAB指南jc_0247

检查输入和输出端口名称的长度

检查身份证：mathworks.jmaab.jc_0244

描述

检查输入和输出端口名称的长度是否符合63个字符的最大长度限制。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

您可以配置以下输入参数，自定义检查动作:

输入参数	价值	JMAAB值(默认选择)
最小长度	文件夹路径的最小长度。	1
最大长度	文件夹路径的最大长度。	64

结果和建议措施

条件	建议的行动
模型中的导入或输出块名称不遵守63个字符的长度限制。	修改输入或输出端口块名称，使块名称的长度不超过63个字符。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南jc_0244:导入和输出端口名称的长度限制
JMAAB指南jc_0244

检查信号名称和总线名称的可用字符

检查身份证：mathworks.jmaab.jc_0222

描述

检查模型中的信号和总线名称。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a b c d e f
JMAAB - a, b, c, d, e, f

结果和建议措施

指南子ID	条件	建议的行动
jc_0222_a:允许用于子系统名称的字符	模型中的信号或总线名称无效。	在信号名称和总线名称中只使用字母数字字符和下划线。
jc_0222_b:开头的数字	模型中的信号或总线名称在名称的开头有数字。	在信号或总线名称的开头使用字母字符。
jc_0222_c:在开头加下划线	模型中的信号或总线名称在名称的开头有下划线。	在信号或总线名称的开头使用字母字符。
jc_0222_d:最后加下划线	模型中的信号或总线名称在信号或总线名称的末尾有下划线。	不要以下划线结束信号或总线名称。
jc_0222_e:连续的下划线	模型中的信号或总线名称中有连续的下划线。	不要在信号或总线名称中使用连续的下划线。
jc_0222_f:单独保留MATLAB单词	模型中的信号或总线名称保留MATLAB单词作为名称。	不要使用保留的MATLAB字作为信号或总线名称。

能力和限制

在库模型上运行。
允许排除块和图表。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．

另请参阅

马伯指南jc_0222:信号和总线名称的可用字符
JMAAB指南jc_0222

检查参数名的可用字符

检查身份证：mathworks.jmaab.jc_0232

描述

检查模型中的参数名称。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a b c d e f
JMAAB - a, b, c, d, e, f

结果和建议措施

指南子ID	条件	建议的行动
jc_0232_a:参数名允许使用字符	参数名包含非法字符。	参数名称只能使用字母数字字符和下划线。
jc_0232_b:开头的数字	参数名以数字开头。	在参数名称的开头使用字母字符。
jc_0232_c:在开头加下划线	参数名称以下划线(“_”)开头。	在参数名称的开头使用字母字符。
jc_0232_d:最后加下划线	参数名以下划线(“_”)结束。	参数名称不要以下划线结尾。
jc_0232_e:连续的下划线	参数名称中包含连续的下划线。	参数名称中不能使用连续的下划线。
jc_0232_f:单独保留的MATLAB单词	参数名是MATLAB中保留的单词。	不要使用保留的MATLAB字作为参数名。

能力和限制

分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
金宝app支持排除块或图表。

另请参阅

马伯指南jc_0232:参数名的可用字符
JMAAB指南jc_0232

检查信号长度和总线名称

检查身份证：mathworks.jmaab.jc_0245

描述

检查信号或总线名称的长度是否符合63个字符的最大长度限制。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

您可以配置以下输入参数，自定义检查动作:

输入参数	价值	JMAAB值(默认选择)
最小长度	文件夹路径的最小长度。	1
最大长度	文件夹路径的最大长度。	64

结果和建议措施

条件	建议的行动
模型中的信号或总线名称不遵守63个字符的长度限制。	修改模型中的信号或总线名称，使名称的长度不超过63个字符。

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

另请参阅

马伯指南jc_0245:信号和总线名称的长度限制
JMAAB指南jc_0245

检查参数名的长度

检查身份证：mathworks.jmaab.jc_0246

描述

检查模型中参数名的长度是否符合63个字符的最大长度限制。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

您可以通过以下参数自定义检查动作:

输入参数	价值	JMAAB值(默认选择)
最小长度	文件夹路径的最小长度。	1
最大长度	文件夹路径的最大长度。	64

结果和建议措施

条件	建议的行动
模型中的参数名不遵守63个字符的长度限制。	修改参数名，使参数名的长度不超过63个字符。

能力和限制

分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
不支持排除块或图表金宝app。

另请参阅

马伯指南jc_0246:参数名的长度限制
JMAAB指南jc_0246

检查状态流数据名称的可用字符

检查身份证：mathworks.jmaab.jc_0795

描述

检查模型中的状态流数据名称是否使用可接受的字符。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子id如下:

NA-MAAB - a b c d
JMAAB - a b c d

结果和建议措施

指南子ID	条件	建议的行动
jc_0795_a:在开头加下划线	状态流数据名称以下划线(“_”)开头。	重命名statflow数据。
jc_0795_b:在结尾下划线	状态流数据名称以下划线(“_”)结束。	重命名statflow数据。
jc_0795_c:连续的下划线	状态流数据名称有连续的下划线。	重命名statflow数据。
jc_0795_d:单独保留的MATLAB单词	状态流数据名称只是一个保留的MATLAB单词。	考虑为statflow数据使用不同的名称。

能力和限制

JMAAB指南，Version 5.1限制:该检查不会在名称开头标记带有下划线的statflow数据名称。(子ID: a)
在库模型上运行。
允许排除图表。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．

另请参阅

马伯指南jc_0795:状态流数据名称的可用字符
JMAAB指南jc_0795

检查状态流数据名称的长度

检查身份证：mathworks.jmaab.jc_0796

描述

检查状态流数据名称的长度是否在63个字符的限制之内。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

您可以使用输入参数自定义最大长度阈值最大长度从模型顾问配置编辑器．

打开模型配置编辑器并搜索检查IDjc_0796．
从标准下拉,选择自定义．
中输入要设置的最大长度最大长度字段。
点击应用并保存配置。

结果和建议措施

条件	建议的行动
状态流数据名称的长度不在63个字符的限制之内。	考虑为每个statflow数据名称使用不同的名称。

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除图表。
分析库链接块的内容。

另请参阅

马伯指南jc_0796:状态流数据名称的长度限制
JMAAB指南jc_0796

检查Simulink数据名称的重复金宝app

检查身份证：mathworks.jmaab.jc_0791

描述

检查数据名称的重复定义。金宝appSimulink数据名称必须在基本工作空间、模型工作空间和数据字典中惟一。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子id如下:

NA-MAAB - a b c
JMAAB - a b c

结果和建议措施

指南子ID	条件	建议的行动
jc_0791_a:在基本工作空间和模型工作空间中检查重复的数据名称	金宝appSimulink数据名称在基本工作空间和模型工作空间中不是唯一的。	在基本工作区或模型工作区中重命名重复的数据名称。
jc_0791_b:在基本工作区和数据字典中检查重复的数据名称	金宝appSimulink数据名称在基本工作区和数据字典中不是唯一的。	在基本工作空间或数据字典中重命名重复的数据名称。
jc_0791_c:在模型工作区和数据字典中检查重复的数据名称	金宝appSimulink数据名称在模型工作区和数据字典中不是唯一的。	在模型工作区或数据字典中重命名重复的数据名称。

能力和限制

在库模型上运行。
不允许排除块和图表。

另请参阅

马伯指南jc_0791:重复的数据名称定义
JMAAB指南jc_0791

在Simulink Model中检查未使用金宝app的数据

检查身份证：mathworks.jmaab.jc_0792

描述

在模型工作区和数据字典中标识未使用的数据。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子id如下:

NA-MAAB - a, b
JMAAB - a, b

结果和建议措施

指南子ID	条件	建议的行动
jc_0792_a:在数据字典中检查未使用的数据	数据字典中有一个或多个数据变量未使用。	考虑删除未使用的数据变量。
jc_0792_b:在模型工作区中检查未使用的数据	模型工作区中的一个或多个数据变量未使用。	考虑删除未使用的数据变量。

能力和限制

不能在库模型上运行。
允许排除块或图表。

另请参阅

马伯指南jc_0792:未使用数据
JMAAB指南jc_0792

在状态流程图中检查未使用的数据

检查身份证：mathworks.jmaab.jc_0700

检查参数的状态未使用的数据、事件、消息和函数．

描述

标识参数是否未使用的数据、事件、消息和函数设置为没有一个．statflow块中不能存在未使用的数据和事件。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
在statflow块中，参数未使用的数据、事件、消息和函数设置为没有一个．	请确保将参数设置为任意一个警告或错误．

能力和限制

在库模型上运行。

另请参阅

马伯指南jc_0700: statflow块中未使用的数据
JMAAB指南jc_0700

检查受限制变量名的使用情况

检查身份证：mathworks.maab.na_0019

检查保留关键字的使用MATLAB函数块变量名。

描述

中标识变量名MATLAB函数与保留的C和c++关键字冲突的块。有关保留关键字的完整列表，请参见保留关键字(金宝app仿真软件编码器)．

避免使用与MATLAB函数冲突的变量名，例如 conv．

该检查不区分大小写。例如，check标记关键字真正的，真正的，真正的,真正的．

这张支票需要金宝app仿真软件检查许可证。

结果和建议措施

条件	建议的行动
变量名与保留关键字冲突。	考虑使用与保留关键字不冲突的不同变量名。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南na_0019:受限变量名

将逻辑信号实现为布尔数据(vs. double)

检查身份证：mathworks.maab.jc_0011

检查优化参数是否为布尔数据类型。

描述

需要对布尔数据类型进行优化。

这张支票需要金宝app仿真软件检查许可证。

请注意

这种检查的先决条件MAB指南是na_0002:适当使用基本逻辑和数值操作．

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
的配置设置实现逻辑信号为布尔数据(vs. double)没有设置。	选择实现逻辑信号为布尔数据(vs. double)在“配置参数”对话框中选择。

能力和限制

不能在库模型上运行。
不允许排除块或图表。

另请参阅

马伯指南jc_0011:布尔数据类型的优化参数
JMAAB指南jc_0011

检查Signed Integer Division舍入模式

检查身份证：mathworks.jmaab.jc_0642

描述

标识其参数的块整数舍入模式设置为简单的当配置参数有符号整数除法轮设置为未定义的．

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
如果参数整数舍入模式的值设置为简单的当参数有符号整数除法轮设置为未定义的．	设置参数有符号整数除法值，该值描述生产目标的舍入行为或更改整数舍入模式的值简单的．

能力和限制

分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南jc_0642:整数舍入模式设置
JMAAB指南jc_0642

检查诊断设置是否有不正确的计算结果

检查身份证：mathworks.jmaab.jc_0806

描述

标识用于检测不正确计算结果的数据有效性诊断设置的配置参数的状态。

这张支票需要金宝app仿真软件检查许可证。

结果和建议措施

条件	建议的行动
模型配置参数用奇异矩阵除法(CheckMatrixSingularityMsg)没有设置为错误．	将输入参数值设置为错误．
模型配置参数Inf或NaN块输出(SignalInfNanChecking)未设置为错误．	将输入参数值设置为错误．
模型配置参数换行溢出(IntegerOverflowMsg)没有设置为错误．	将输入参数值设置为错误．
模型配置参数饱和溢出(IntegerSaturationMsg)没有设置为错误．	将输入参数值设置为错误．

另请参阅

马伯指南jc_0806:检测错误的计算结果
JMAAB指南jc_0806

检查模型诊断参数

检查身份证：mathworks.maab.jc_0021

检查模型诊断配置参数设置。

描述

Model Advisor检查这些诊断配置参数是否按照下面的“结果和建议操作”部分中的定义设置:

代数循环
多任务速率转换
最小化代数循环
Inf或NaN块输出
数据存储名称重复
未连接的块输入端口
未连接的块输出端口
未连接的线
根输出端口块上未指定的总线对象
元素名称不匹配

这张支票需要金宝app仿真软件检查许可证。

检查参数化

此Model Advisor检查不适用于JMAAB建模指南。

这张支票不包括次支票。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB -不支持金宝app

结果和建议措施

条件	建议的行动
代数循环设置为`没有一个`．	集代数循环来`错误`或`警告`．否则，Simulink金宝app可能会试图自动打破代数循环，这可能会影响块的执行顺序。
最小化代数循环设置为`没有一个`．	集最小化代数循环来`错误`或`警告`．否则，Simulink金宝app可能会尝试自动打破参考模型和原子子系统的代数循环，这可能会影响这些模型或子系统的执行顺序。
Inf或NaN块输出设置为`没有一个`	集Inf或NaN块输出来`错误`或`警告`．否则，生成的代码中会出现数值异常
数据存储名称重复设置为`没有一个`．	集数据存储名称重复来`错误`或`警告`．否则，生成的代码中存在非唯一的变量名。
未连接的块输入端口设置为`没有一个`．	集未连接的块输入端口来`错误`或`警告`．否则，无法生成代码。
未连接的块输出端口设置为`没有一个`．	集未连接的块输出端口来`错误`或`警告`．否则，将导致死代码。
未连接的线设置为`没有一个`．	集未连接的线来`错误`或`警告`．否则，无法生成代码。
根输出端口块上未指定的总线对象设置为`没有一个`．	集根输出端口块上未指定的总线对象来`错误`或`警告`．否则，当从另一个模型引用模型时，结果是一个未指定的接口。
元素名称不匹配设置为`没有一个`．	集元素名称不匹配来`错误`或`警告`．否则，结果是在生成的代码中出现一个非预期的接口。

能力和限制

不能在库模型上运行。
不允许排除块或图表。

另请参阅

马伯指南jc_0021模型诊断设置

检查使用非标准显示属金宝app性的Simulink图

检查身份证：mathworks.maab.na_0004

检查模型外观设置属性。

描述

在模型发布时，模型外观设置需要符合指南。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
工具栏不可见。	选择建模>环境>将来发布．
状态栏不可见。	选择建模>环境>状态栏．
样品时间>颜色被选中。	清晰的调试>信息覆盖>颜色．
宽非标量线清除。	选择调试>信息覆盖>Nonscalar信号．
查看器的指标清除。	选择调试>信息覆盖>日志和查看器．
测试点指标清除。	选择调试>信息覆盖>测试点．
端口数据类型被选中。	清晰的调试>信息覆盖>基础数据类型而且调试>信息覆盖>别名数据类型．
存储类被选中。	清晰的调试>信息覆盖>存储类别指示器．
信号的维度被选中。	清晰的调试>信息覆盖>信号的维度．
信号数据范围被选中。	清晰的调试>信息覆盖>信号数据范围．
模型浏览器被选中。	清晰的建模>环境>模型浏览器．
排序执行顺序被选中。	清晰的调试>信息覆盖>执行顺序．
模型块版本被选中。	清晰的调试>信息覆盖>参考型号．
模型块I/O不匹配被选中。	清晰的调试>信息覆盖>参考型号I/O不匹配．
图书馆的链接设置`禁用`，`用户定义的`,或`所有`．	选择调试>信息覆盖>显示所有链接．
线性化指标清除。	选择调试>信息覆盖>线性化指标．
方块背景不是白色的。	对于列出的每个图，单击块并选择格式>背景并从下拉列表中选择颜色。
块前景不是黑色的。	选择格式>前景并从下拉列表中选择颜色。
图表没有白色背景。	选择格式>背景并从下拉列表中选择颜色。
图表没有将缩放因子设置为100%。	对于列出的每个关系图，请选择建模>环境>变焦>普通视图(100%)．

行动的结果

点击修改更新显示属性以符合准则。

能力和限制

不能在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析没有工作区和对话框的屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
不允许排除块或图表。

另请参阅

马伯指南:na_0004: 金宝appSimulink模型外观设置
JMAAB指南:na_0004

检查模型字体设置

检查身份证：mathworks.jmaab.db_0043

描述

检查字体和字体大小的差异。

可以使用金宝app仿真软件检查．

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a b c d
JMAAB - a b c d

要自定义模型中的文本元素，请使用模型顾问配置编辑器．

打开模型配置编辑器并搜索检查IDdb_0043．
使用下面的列表输入参数自定义Simulink模型和状态流程图中的字体元素。金宝app请注意，当您选择时默认的，选中标记模型中使用的不同字体/样式/大小。
点击应用并保存配置。

结果和建议措施

指南子ID	条件	建议的行动
db_0043_a:检查Simulink块和信号名称中的字体和字体样式金宝app	一个或多个Simulink块或信号名称的字体设置与输入参数金宝app不同。	根据输入参数更改块和信号名称的字体设置。
db_0043_b:检查Simulink块和信号名称中的字体金宝app大小	一个或多个Simulink块或信号名称的字体设置与输入参数金宝app不同。	根据输入参数更改块和信号名称的字体大小。
db_0043_c:检查statflow对象中的字体和字体样式	一个或多个statflow对象的字体设置与输入参数不同。	根据输入参数更改Stateflow对象的字体设置。
db_0043_d:检查statflow对象中的字体大小	一个或多个statflow对象的字体设置与输入参数不同。	根据输入参数更改状态流对象的字体大小。

能力和限制

在库模型上运行。
不分析库链接块的内容。
分析没有工作区和对话框的屏蔽子系统中的内容。
允许排除块和图表。

行动的结果

点击修改所有字体将模型中文本元素的字体和字体大小更改为输入参数中选择的值。

对于输入参数，如果您指定常见的,点击修改所有字体将模型中文本元素的字体和字体大小更改为最常用的字体、字体大小或字体样式。

另请参阅

检查区块名称是否出现在区块下面

检查身份证：mathworks.maab.db_0142

检查区块名称是否出现在区块下面。

描述

如果显示，则块的名称应该出现在块的下面。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
块的名称不会出现在块的下面。	设置块的名称，使其显示在块的下面。

能力和限制

在库模型上运行。
分析库链接块的内容。
分析所有被屏蔽子系统中的内容。
允许排除块和图表。

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南db_0142:块名称的位置在Simuli金宝appnk文档中。
JMAAB指南db_0142

检查块名的显示属性

检查身份证：mathworks.maab.jc_0061

检查子系统和块名称的显示属性。

描述

当块或子系统提供用于识别其功能的描述时，显示其名称。

否则，当一个块的功能很容易从其视觉外观识别时，不要显示其名称。这些区块包括:

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

要自定义分析期间检查的块和掩码，请使用模型顾问配置编辑器．

打开模型配置编辑器并搜索检查IDjc_0061．
下输入参数中,选择自定义从标准列表。
使用块类型列表表来删除或添加块和/或掩码类型。
点击应用并保存配置。

结果和建议措施

条件	建议的行动
从块的外观可以明显地显示名称。	通过选择隐藏块名称格式>隐藏自动块名称．
名称不是描述性的。具体来说，块名是: 从块外观看不明显。默认名称后跟一个整数。	修改块名称以提供描述性信息，或通过选择隐藏块名称格式>隐藏自动块名称．
名称是描述性的，不显示。描述性的名称有: 用于从块外观看不明显的块。不是默认名称，并附加一个整数。	通过取消选择来修改块以显示块名格式>隐藏自动块名称．
检查不评估我的自定义块和蒙版。	使用模型配置编辑器来添加您的自定义检查和块。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南jc_0061:显示块名
JMAAB指南jc_0061

检查非默认块属性

检查身份证：mathworks.maab.db_0140

识别使用不在模型图中显示的非默认块参数值的块。

描述

模型图应该显示具有不同于默认值的块参数。控件显示此信息的一种方法是使用块注释选项卡中的块属性对话框。

有关块参数默认值的列表，请参见屏蔽一些参数

提示

如果你使用add_block函数与“内置/blocktype＇作为Simulink内置块的源块路径名，一些块的默认参数值与使用金宝appSimulink交互式添加这些块时得到的默认值不同。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

要为此检查自定义非默认块参数，请使用模型顾问配置编辑器．

打开模型配置编辑器并搜索检查IDdb_0140．
下输入参数中,选择自定义从标准下拉。
使用块类型列表表来删除或添加块的参数。
点击应用并保存配置。

结果和建议措施

条件	建议的行动
阻塞具有不同于默认值的值的参数，并且这些值不在模型显示中。	在“块属性”对话框中，使用块注释选项卡添加块参数注释。

行动的结果

您可以使用在块注释中添加非默认值按钮，向块显示添加注释，该注释指定在分析中标记的非默认块参数。重新运行检查;该块不再被标记。

能力和限制

中的块参数仅可自定义IntrinsicDialogParameters．看到公共块属性
在库模型上运行。
分析库链接块的内容。
分析没有工作区和对话框的屏蔽子系统中的内容。
允许排除块和图表。

另请参阅

马伯指南db_0140:显示块参数
JMAAB指南:db_0140

检查型号说明

检查身份证：mathworks.jmaab.jc_0603

描述

标识模型中对以下模型元素具有不一致的描述格式的层:

注释
模型信息块
DocBlock块

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a, b

的描述块类型和配置描述标记块类型而且描述标签输入参数。的格式。描述标签应该是带有逗号分隔标签的字符串类型。

默认情况下，块类型设置为注释和描述标签参数是输入:、描述:输出:．

例如，考虑到默认值(Input:， Description:， Output:)，模型中的每一层都应该有如下的描述格式:

输入:<输入信息>

描述:<模型描述>

输出:<输出信息>

结果和建议措施

指南子ID	条件	建议的行动
jc_0603_a:检查每一层的层描述	模型中的一个或多个层没有模型描述。	在模型中的所有层中添加模型描述。
jc_0603_b:检查一致性层描述	模型中的一个或多个层没有一致的模型描述格式。	确保模型中所有层的模型描述具有一致的格式。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
金宝app支持排除块或图表。

另请参阅

马伯指南jc_0603:模型描述
JMAAB指南jc_0603

检查模型中的块是否有阴影

检查身份证：mathworks.jmaab.jc_0604

描述

检查模型中是否使用了块阴影。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
块阴影被在．	考虑把从的DropShadow属性，以便更好的可读性。

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

另请参阅

马伯的指导方针jc_0604:使用块阴影
JMAAB指南jc_0604

检查未连接的信号线和信号块

检查身份证：mathworks.jmaab.db_0081

检查型号是否有未连接的输入、输出端口或信号线。

描述

未连接的块和信号线应连接《终结者》或地面块。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a, b
JMAAB - a, b

结果和建议措施

指南子ID	条件	建议的行动
db_0081_a:检查未连接的信号线	模型中一条或多条信号线未连接。	将信号线连接到正确的源或目的块。如果目标块未知，则使用《终结者》或地面块终止该行。
db_0081_b:检查未连接的子系统和基本块	模型中的一个或多个块没有连接。	将这些块连接到正确的源或目标块。如果目标块未知，则使用《终结者》或地面块终止该行。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南db_0081:未连接的信号和块
JMAAB指南db_0081

检查信号线连接

检查身份证：mathworks.jmaab.db_0032

描述

检查相交和重叠的Simuli金宝appnk信号是否符合建议的指导方针。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a1/a2, b c e
JMAAB - a1/a2, b, c, d, e

请注意

默认选择子检查db_0032_a1、db_0032_b、db_0032_c、db_0032_d和db_0032_e。

输入参数信号交叉阈值(单位:%)如果达到设定的阈值，则必须设置检查失败的条件。信号交叉阈值是模型中信号违例占信号线总数的百分比。

例子:

如果信号交叉阈值(单位:%)设置为50%，则只有当违规次数超过框图中信号线总数的50%时，检查才会失败。

如果信号交叉阈值(单位:%)设置为0%，则任何单个违反都将导致检查失败，而对于100%阈值，模型中的所有信号线都必须违反检查失败的指导原则。

结果和建议措施

指南子ID	条件	建议的行动
db_0032_a1:检查信号交叉	金宝appSimulink信号相互交叉。	确保信号不会相互交叉。
db_0032_a2:检查Line crossing style是否设置为“Line hop”	线路交叉样式首选项未设置为“线路跳跃”。	设置线交叉样式首选项为“线跳”。
db_0032_b:检查信号重叠	金宝appSimulink信号相互重叠。	确保信号之间没有重叠。
db_0032_c:检查信号是否相交块	金宝appSimulink信号绘制在Simulink块上。	确保信号没有绘制在任何Simulink块上。金宝app
db_0032_d:检查信号线是否分成多个子线	信号线被分成多个子线。	重新定位信号，避免信号线分裂。
db_0032_e:检查信号是否画成斜线	信号在图中以斜线表示。	一定要把信号画成竖线或水平线。

能力和限制

考虑信号跳点优先级。
块标签重叠不被分析。
金宝app考虑在一个分支上分裂成两个以上信号的Simulink信号。
在库模型上运行。
允许排除子系统。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南db_0032:信号线连接
JMAAB指南db_0032

检查模型中的信号流

检查身份证：mathworks.maab.db_0141

描述

识别信号流不适当的子系统。模型和子系统中的信号流应该从左到右。

这张支票需要金宝app仿真软件检查许可证。

结果和建议措施

条件	建议的行动
块在子系统中的位置是扭曲的。	确保上述子系统中的信号流从左到右。除反馈路径上的块外，所有顺序块必须从左向右放置。除反馈路径上的块外，所有的块都应朝右。
一组或多组方块没有从上到下排列。	从上到下垂直排列组块或子系统。

条件

建议的行动

块在子系统中的位置是扭曲的。

确保上述子系统中的信号流从左到右。

除反馈路径上的块外，所有顺序块必须从左向右放置。

除反馈路径上的块外，所有的块都应朝右。

一组或多组方块没有从上到下排列。

从上到下垂直排列组块或子系统。

能力和限制

此检查不验证准则子id C中的条件。
在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南db_0141: Simulink模型中的信号流金宝app
JMAAB指南db_0141

检查块中可调参数的使用情况

检查身份证：mathworks.maab.db_0110

检查可调参数是否指定表达式、数据类型转换或索引操作。

描述

要使参数可调，必须输入基本块，而不使用MATLAB计算或脚本。例如，省略:

表达式
数据类型转换
行或列的选择

金宝app支持的块包括:

可以使用金宝app仿真软件检查．

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
块有一个可调参数，用于指定表达式、数据类型转换或索引操作。	在每种情况下，将计算移到块外，例如，通过使用一系列Simulink块执行计算，或将值预先计算为新变量。金宝app

能力和限制

在库模型上运行。
分析库链接块的内容。
分析所有被屏蔽子系统中的内容。
不计算掩码参数。
允许排除块和图表。

另请参阅

马伯指南db_0110:块参数
JMAAB指南db_0110

检查结构子系统之间的连接

检查身份证：mathworks.jmaab.jc_0171

描述

在使用Goto和From块时检查信号流。

该检查标识了相互连接并使用的子系统转到而且从前馈和反馈回路中每个方向至少没有一条信号线的块。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a, b

结果和建议措施

指南子ID	条件	建议的行动
jc_0171_a:检查结构子系统之间的直接连接	一个或多个结构子系统之间没有直接的连接。	考虑在列出的子系统之间按给定方向(子系统1到子系统2)建立至少一个直接连接，内存、延迟和总线创建/选择块除外。
jc_0171_b:检查结构子系统中未使用的输入	一个或多个结构子系统有未使用的输入。	考虑在结构子系统中删除未使用的输入。减少不必要的连接可以使连接关系更加清晰。

能力和限制

该检查允许从被引用的子系统与另一个子系统进行连接。
在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南jc_0171:阐明结构子系统之间的连接
JMAAB指南jc_0171

检查模型元素名称的一致性

检查身份证：mathworks.jmaab.jc_0602

描述

检查连接到信号的模型元素是否遵循一致的命名。

以下名称与信号线直接连接时必须完全匹配:

导入块名称
输出端口块名称
结构子系统输入端口标签名
结构子系统输出端口标号名称
来自标记名
Goto标签名称
信号线信号名称

例外1:连接到以下子系统的信号线名称可以与该子系统端口标签名称不同:

可重用的子系统
连接到库的子系统

例外2:如果Inport块、Outport块和其他块的组合具有相同的块名，则为Inport块和Outport块使用后缀或前缀，以保持一致的命名。这可以通过Model Advisor Configuration Editor进行配置。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

您可以通过以下参数自定义检查动作:

输入参数	价值
导入和输出块组合的一致命名格式	前缀()或后缀()
输入的前缀/后缀标记	IN_(默认值，可配置)
输出端口的前缀/后缀标记	OUT_(默认值，可配置)

结果和建议措施

条件	建议的行动
一个或多个模型元素与连接的信号名称不一致。	考虑重命名偏离模型的元素，以匹配信号名称或与输入/输出块一致。

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块或图表。

另请参阅

马伯指南jc_0602:模型元素名称的一致性
JMAAB指南jc_0602

检查触发信号名称

检查身份证：mathworks.jmaab.jc_0281

描述

识别触发信号的起始点和目标点名称不相同的触发块。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a1/a2/a3/a4, b1/b2/b3/b4

请注意

默认选择子检查jc_0281_a1和jc_0281_b1。

结果和建议措施

指南子ID	条件	建议的行动
jc_0281_a1:检查触发信号的起源和条件输入块的名称	触发信号源的块的名称与目标的条件输入块名称不相同。	触发信号源处的块名和目的地处的条件输入块名必须包含相同的名称。
jc_0281_a2:检查触发信号和条件子系统的名称	触发信号源的块名称和目标的条件子系统名称是不相同的。	触发信号源的块名称和目的地的条件子系统名称必须包含相同的名称。
jc_0281_a3:检查触发信号的起源和条件输入块的名称	触发信号的名称与目的地的条件输入块名称不相同。	触发信号的名称和目的地的条件输入块名称必须包含相同的名称。
jc_0281_a4:检查触发信号和条件子系统的名称	触发信号的名称和目的地的条件子系统名称必须包含相同的名称。	触发信号的名称与目的地的条件子系统名称不相同。
jc_0281_b1:检查触发器信号的起源和statflow块事件的名称	触发信号源的块名称和目的地的statflow块事件名称是不相同的。	触发信号源的块名称和目的地的statflow块事件名称必须包含相同的名称。
jc_0281_b2:检查触发信号的起源名称和图表名称	触发信号源的块名称和目的地的图表名称不相同。	触发信号源的块名称和目的地的图表名称必须包含相同的名称。
jc_0281_b3:检查触发信号和statflow块事件的名称	触发信号的名称和目的地的Stateflow块事件名称不相同。	触发器信号的名称和目的地的statflow块事件名称必须包含相同的名称。
jc_0281_b4:检查触发信号和图表名称	触发信号的名称与目的地的海图名称不相同。	触发信号的名称和目的地的海图名称必须包含相同的名称。

能力和限制

这个检查标志触发而且启用只使用块名。
在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
金宝app支持排除块或图表。

另请参阅

马伯指南jc_0281:触发信号名称
JMAAB指南jc_0281

检查混合的基本块和子系统

检查身份证：mathworks.maab.db_0143

检查混合了原始块和子系统的系统。

描述

您必须使用相同类型的构建块来设计模型的每一层，例如，只有子系统或只有原始(基本)块。如果您屏蔽子系统并将MaskType设置为非空字符串，则Model Advisor将子系统视为基本块。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

要自定义分析期间检查的块和掩码，请使用模型顾问配置编辑器．

打开模型配置编辑器并搜索检查IDdb_0143．
下输入参数中,选择自定义从标准列表。
在将块类型列表视为列表中,选择允许将块/掩码包括在分析或禁止从分析中排除块/掩码。
使用块类型列表表来删除或添加块和/或掩码类型。
点击应用并保存配置。

结果和建议措施

条件	建议的行动
模型中的一个级别包括子系统块和基本块。	将非虚拟块移动到子系统中。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为所有．
允许排除块和图表。

另请参阅

马伯指南db_0143:模型层次结构中可用的块类型
JMAAB指南db_0143

检查是否避免子系统之间的代数循环

检查身份证：mathworks.jmaab.jc_0653

描述

检查的位置延迟子系统之间代数循环中的块。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
反馈回路中的延迟块放置在子系统内部。	反馈回路中的延迟块必须放置在它们的父子系统之外。

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

另请参阅

马伯指南jc_0653:延迟反馈循环中的块布局
JMAAB指南jc_0653

检查被禁止的下沉块

检查身份证：mathworks.maab.hd_0001

检查禁止的Simulink接收器块。金宝app

描述

必须从离散块设计控制器模型。下沉块，如范围块，不允许在控制器模型中。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

此Model Advisor检查不适用于JMAAB建模指南。

这张支票不包括次支票

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子id如下:

NA-MAAB - a
JMAAB -不支持金宝app

要自定义分析期间检查的块和掩码，请使用模型顾问配置编辑器．

打开模型配置编辑器并搜索检查IDhd_0001．
下输入参数中,选择自定义从标准列表。
在将块类型列表视为列表中,选择允许将块/掩码包括在分析或禁止从分析中排除块/掩码。
使用块类型列表表来删除或添加块和/或掩码类型。
点击应用并保存配置。

结果和建议措施

条件	建议的行动
在离散控制器中不允许接收块。	从模型中移除接收块。

能力和限制

在库模型上运行。
分析库链接块的内容。
分析所有被屏蔽子系统中的内容。
允许排除块和图表。

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南:hd_0001:禁止使用Simulink金宝app接收器

检查矢量和总线信号的使用情况

检查身份证：mathworks.jmaab.na_0010

检查公共汽车的使用情况Mux块。

描述

该检查验证总线和的使用情况Mux块。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id相对应的子检查。您可以使用Model Advisor配置编辑器来指定要执行哪些子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:检查总线信号使用情况	不支持一个或多个块用于总线信号。金宝app	只使用总线支持的块。金宝app

能力和限制

当使用除Demux和Mux之外的块来生成或分解向量时，该检查不会标记。例如，选择器块代替Demux块，或者向量连接块代替Mux块。(子ID: a)
此检查支持自动修复机制金宝app，您现在可以点击修改按钮以修复报告中显示的错误。
不能在库模型上运行。
允许排除块或图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南na_0010:向量和总线信号的使用
JMAAB指南na_0010
复合信号

检查信号线标签

检查身份证：mathworks.jmaab.jc_0008

检查信号线的标识。

描述

使用标签来识别:

来自以下块的信号(下面提到的块图标异常适用于列出的所有块，除了轮廓尺寸，总线选择器，多路分配器,选择器)：
- 总线选择器挡块(刀具力标注)
- 图表块(Stateflow)
- 常数块
- 数据存储读取块
- 多路分配器块
- 从块
- 轮廓尺寸块
- 选择器块
- 子系统块
方块图标例外

如果信号标签在起始块的图标显示中可见，则不必为连接的信号显示标签，除非由于信号目的地的规则在其他地方需要信号标签。
连接到以下目标块之一的信号(直接或间接地与执行非转换操作的基本块连接):
- 总线选择器挡块(刀具力标注)
- 图表块(Stateflow)
- 数据存储写块
- 转到块
- Mux块
- 外港块
- 子系统块
任何感兴趣的信号。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

命令用于自定义检查输出信号标签的块类型列表和检查输入信号标签的块类型列表模型顾问配置编辑器．

打开模型配置编辑器并搜索检查IDdb_0140．
下输入参数中,选择自定义从标准下拉。
使用用于检查输出信号标签的块类型列表表和用于检查输入信号标签的块类型列表表来删除或添加块的参数。
点击应用并保存配置。

结果和建议措施

条件	建议的行动
信号来自总线选择器，图表，常数，数据存储读取，多路分配器，从，轮廓尺寸,或选择器块没有标记。	标记信号。

能力和限制

在库模型上运行。
分析库链接块的内容。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许除外。

另请参阅

马伯指南jc_0008:信号名称定义
JMAAB指南jc_0008
信号基础知识

检查传播信号标签

检查身份证：mathworks.jmaab.jc_0009

检查信号线上的传播标签。

描述

如果信号来自以下地方，你应该从信号源传播信号标签，而不是显式地(手动地)输入信号标签:

一个轮廓尺寸嵌套子系统中的块。但是，如果嵌套子系统是库子系统，则可以显式地标记来自的信号轮廓尺寸块，以适应库块的重用。
执行非转换操作的基本块。
子系统或状态流图表块。但是，如果连接来自库块实例的输出，则可以显式地标记该信号以适应库块的重用。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a,b

结果和建议措施

指南子ID	条件	建议的行动
jc_0009_a:检查子系统的信号名称传播	该模型包括没有传播信号标签的子系统。	通过选择添加标签并启用信号传播显示传播信号信号参数。
	模型中的一个或多个子系统显示空传播信号。	通过取消选择禁用信号传播显示传播信号参数，或者如果需要，添加一个新标签。
	模型中的一个或多个子系统不显示传播信号，但有信号名称。	通过选择，删除标签并启用信号传播显示传播信号信号参数。
jc_0009_b:检查连接块的信号名称传播	即使源块有标签，模型中的一个或多个连接块也不会传播信号。	通过选择启用信号传播显示传播信号信号参数。
	模型中的一个或多个连接块显示空的传播信号。	通过取消选择禁用信号传播显示传播信号参数，或者如果需要，添加一个新标签。
	模型中的一个或多个连接块不显示传播信号，但有信号名称。	通过选择，删除标签并启用信号传播显示传播信号信号参数。

能力和限制

不能在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许除外。

另请参阅

马伯指南jc_0009:信号名称传播
JMAAB指南jc_0009
信号基础知识

检查信号标签位置

检查身份证：mathworks.jmaab.db_0097

识别信号和总线上放置不当的信号标签。

描述

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a b c
JMAAB - a b c

结果和建议措施

指南子ID	条件	建议的行动
db_0097_a:检查信号标签是否重叠	模型中的一个或多个信号具有与其他对象重叠的标签。	放置信号标签，使其易于阅读。
db_0097_b:检查信号标签位置	模型中的一个或多个信号在信号线的顶部有标签。	将信号标签放置在信号线下方。
db_0097_c:检查信号标签位置	模型中的一个或多个信号没有位于信号线原点的标签。	将信号标签放置在信号线的原点。

能力和限制

此检查的修改操作目前通过更改信号标签的位置和纠正翻转格式来解决该问题。此操作不会修改信号线的位置，以纠正信号标签的重叠。
在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析所有屏蔽文件的内容。
金宝app支持排除块或图表。

另请参阅

马伯指南db_0097:信号和总线标签的位置
JMAAB指南db_0097

检查信号线标签

检查身份证：mathworks.maab.na_0008

检查信号线的标识。

描述

使用标签来识别:

来自以下块的信号(下面提到的块图标异常适用于列出的所有块，除了轮廓尺寸，总线选择器，多路分配器,选择器)：
- 总线选择器挡块(刀具力标注)
- 图表块(Stateflow)
- 常数块
- 数据存储读取块
- 多路分配器块
- 从块
- 轮廓尺寸块
- 选择器块
- 子系统块
方块图标例外

如果信号标签在起始块的图标显示中可见，则不必为连接的信号显示标签，除非由于信号目的地的规则在其他地方需要信号标签。
连接到以下目标块之一的信号(直接或间接地与执行非转换操作的基本块连接):
- 总线选择器挡块(刀具力标注)
- 图表块(Stateflow)
- 数据存储写块
- 转到块
- Mux块
- 外港块
- 子系统块
任何感兴趣的信号。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

要为此检查自定义块和掩码，请使用模型顾问配置编辑器．

打开模型配置编辑器并搜索检查IDna_0008．
下输入参数中,选择自定义从标准列表。
控件中添加或删除块和/或掩码用于检查输出信号标签的块类型列表而且用于检查输入信号标签的块类型列表表。
点击应用并保存配置。

结果和建议措施

条件	建议的行动
信号来自总线选择器，图表，常数，数据存储读取，多路分配器，从，轮廓尺寸,或选择器块没有标记。	标记信号。
下面列表中接收信号的块没有被标记:外港，转到，数据存储，BusCreator，Mux,或子系统．	标记信号。

能力和限制

在库模型上运行。
允许排除块或图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南:na_0008:在信号上显示标签
信号名称和标签．

检查传播信号标签

检查身份证：mathworks.maab.na_0009

描述

检查信号线上的传播标签。

如果信号来自以下地方，你应该从信号源传播信号标签，而不是显式地(手动地)输入信号标签:

一个轮廓尺寸嵌套子系统中的块。但是，如果嵌套子系统是库子系统，则可以显式地标记来自的信号轮廓尺寸块，以适应库块的重用。
执行非转换操作的基本块(这些块的输出数据类型保持与输入相同)。
子系统或状态流图表块。但是，如果连接来自库块实例的输出，则可以显式地标记该信号以适应库块的重用。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

此Model Advisor检查不适用于JMAAB建模指南。

这张支票不包括次支票

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB -不支持金宝app

结果和建议措施

条件	建议的行动
该模型包括显式输入的信号标签，但应该传播。	使用左尖括号(<)字符标记应该传播的信号标签，并删除显式输入的标签。

能力和限制

此检查不应在AUTOSAR模型上运行。

不能在库模型上运行。
分析没有工作区和对话框的屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块或图表。

另请参阅

马伯指南:na_0009:信号标签的输入与传播
信号名称和标签．

检查块方向

检查身份证：mathworks.jmaab.jc_0110

检查改变方向的块。

描述

标识反向或旋转方向的块。这张支票不包括单位延迟或延迟块。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
模型中的一些块已旋转或反转方向。	翻转或旋转这些块，使其朝向右侧。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南jc_0110:块的方向
JMAAB指南jc_0110

检查索引模式

检查身份证：mathworks.jmaab.db_0112

描述

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

基于0或1索引的块:

赋值
ForIterator
找到
MultiPortSwitch
选择器

块默认的基于1的索引:

MATLAB函数
Fcn
MATLABSystem
真值表
状态转换表
测试序列

请注意

对于图表，当动作语言设置为MATLAB时，其1为基础的索引。当动作语言设置为C时，它的0为基础的索引。

这张支票要求金宝app仿真软件检查和状态流许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a1/a2
JMAAB - a1/a2

请注意

默认选择子检查db_0112_a1

结果和建议措施

指南子ID	条件	建议的行动
db_0112_a1:检查从零开始的索引模式	模型中的一个或多个块或图表具有“基于一的索引”模式或“指定索引”模式。	考虑使用从零开始的索引进行重构。
db_0112_a2:检查基于一次的索引模式。	模型中的一个或多个块或图表具有“从零开始索引”模式或“指定索引”模式。	考虑使用基于单的索引进行重构。

能力和限制

在库模型上运行。
允许除外。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南db_0112:索引的使用
JMAAB指南db_0112

检查可调块参数是否定义为命名常量

检查身份证：mathworks.jmaab.jc_0645

描述

检查可调块参数是否定义为命名常量。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
不正确使用可调块参数值。	将可调块参数文字值更改为命名常量。

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

另请参阅

马伯指南jc_0645:校准的参数定义
JMAAB指南jc_0645

检查样本时间设置

检查身份证：mathworks.jmaab.jc_0641

描述

检查一个块的采样时间属性是否被设置为-1(继承)。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
块的采样时间属性没有设置为-1(继承)。	将采样时间更改为-1(继承)。

能力和限制

此检查允许您使用Auto-Fix选项将标记块的采样时间更新为-1(继承)。
在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南jc_0641:示例时间设置
JMAAB指南jc_0641

检查非零偏差定点数据类型的使用情况

检查身份证：mathworks.jmaab.jc_0643

检查输出信号数据类型为定点且偏差不为零的块。

描述

对于输出信号具有定点数据类型的块，请检查该块参数偏见设置为0．

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
在数据类型助手中，模式设置为`不动点`但是价值在于偏见不是`0`．	更改块参数偏见来`0`．

能力和限制

在库模型上运行。
金宝app支持除外。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南jc_0643:定点设置
JMAAB指南jc_0643

根据数据对象检查类型设置

检查身份证：mathworks.jmaab.jc_0644

描述

如果使用信号对象，则标识Simulink中违反类型金宝app设置的块(如果在信号对象中设置了信号数据类型，则不能在块侧设置)。

本支票免除:

数据类型转换块。
使用类型设置fixdt．
双精度和布尔类型。
函数的可重用内部部分(原子子系统)。
块输出数据类型设置为通过反向传播继承．

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
信号数据类型在信号对象和块中设置为不同的类型。	设置块的输出数据类型为汽车或通过反向传播继承．

能力和限制

不能在库模型上运行。
允许排除块和图表。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．

另请参阅

马伯指南jc_0644:类型设置
JMAAB指南jc_0644

检查条件块和迭代器块的位置

检查身份证：mathworks.jmaab.db_0146

检查位置触发而且启用块。

描述

在子系统图的顶部找到将子系统定义为条件的或迭代的块。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a, b
JMAAB - a, b

可以使用该参数配置默认块位置块的位置从模型顾问配置编辑器．

打开模型配置编辑器并搜索检查IDdb_0146．
输入要检查的块的位置块的位置字段。
缺省情况下，该参数为前．
点击应用并保存配置。

结果和建议措施

指南子ID	条件	建议的行动
db_0146_a:条件子系统中的块布局	触发，启用,行动的港口块不在子系统图的顶部。	移动触发，启用,行动的港口块到子系统图的顶部。
db_0146_b:迭代子系统中的块布局	为每一个，对迭代器,而迭代器块不在子系统图上的相同位置。	移动为每一个，对迭代器,而迭代器块，以便它们位于子系统图上的统一位置。

能力和限制

在库模型上运行。
允许排除块和图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南db_0146:条件子系统中的块布局
JMAAB指南db_0146

检查条件子系统的未定义初始输出

检查身份证：mathworks.jmaab.jc_0640

描述

检查连接到的所有输出和合并块的初始输出值有条件的子系统显式定义。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
连接到的所有输出和合并块的初始输出有条件的子系统没有显式定义。	对于条件子系统，显式地定义连接到的所有Outports和Merge块的初始输出值有条件的子系统．

能力和限制

不能在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

另请参阅

马伯指南jc_0640:条件子系统中Outport块的初始值设置
JMAAB指南jc_0640

检查合并块的使用情况

检查身份证：mathworks.jmaab.jc_0659

标识存在于条件子系统和合并块之间的块。

描述

合并块必须与有条件执行的子系统有直接连接。在使用合并考虑以下因素:

在Merge和有条件执行的子系统块之间不能存在任何块，包括不影响的功能的虚拟子系统合并块。
的合并块可以嵌套在任意数量的子系统中，前提是满足上述条件。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
之间插入的一个或多个块合并和一个条件子系统块。	从条件子系统块直接连接到合并块。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南jc_0659: Merge块输入信号线的使用限制
JMAAB指南jc_0659

检查If块中的逻辑表达式

检查身份证：mathworks.maab.na_0003

检查如果块用于逻辑表达式中主表达式的不适当构造。

描述

实例中的实例如果主表达式复杂的块。

主表达式定义为:

一个输入
一个常数
常数参数
除0或外不包含任何运算符的括号表达式<，>，> =，< =，= =，~ =，|，＆,～

主表达式的例子包括:

u1
5
K
（u1>0）
（u1< =G）
（u1>U2）
(~u1）

可接受的逻辑表达式例外的例子包括:

U1 | u2
（(u1 > 0) & (u1 < 20)
(u1 > 0) & (u2 < u3)
(u1 > 0) & (~u2)

这个表提供了一些不可接受的逻辑表达式的例子。

主要表达	推理
`U1和u2 \| u3`	太多的基本表达。
`U1 & (u2 \| u3)`	主表达式中不可接受的运算符。
`(u1 > 0) & (u1 < 20) & (u2 > 5)`	太多不是输入的主表达式。
`(u1 > 0) & ((2* u2) > 6)`	主表达式中不可接受的运算符。

异常

当满足以下两个条件时，逻辑表达式可以包含两个以上的主表达式:

主表达式都是输入。
只有一种类型的逻辑运算符。

可接受的例外包括:

U1 | u2 | u3 | u4 | u5
U1 u2 u3 u4

简单的“如果”表达

在指导方针的字面解释上na_0003,表达U1 < u2是违法的。但是，该表达式遵循常用的If表达式模板(<主表达式><运算符><主表达式>)。因此，当不使用逻辑操作符而只有一个关系操作符时，表达式满足准则na_0003而且u1<u2不是违规。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件建议的行动

逻辑表达式包含两个以上的主表达式，由常量、常量参数和输入组成。

考虑以下其中一个:

将主表达式设置为输入，并选择:
- 使用带括号的表达式和一种关系运算符类型
- 使用模板构造一个简单的“If”表达式
  <主表达式><逻辑运算符><主表达式>
将主表达式的数量减少到两个或更少。
类以外的逻辑块构造逻辑表达式如果块。

逻辑表达式包含两个以上使用多个关系运算符的括号表达式

考虑以下其中一个:

只使用一种类型的关系操作符。可接受的逻辑运算符包括<，>，> =，< =，= =，~ =，|，＆,～．主表达式必须只由输入组成。
将带括号的表达式减少到两个或更少。
类以外的逻辑块构造逻辑表达式如果块。

带括号的表达式包含一个关系运算符，而不是0或<，>，> =，< =，= =，~ =，|，＆,或～．

考虑以下其中一个:

使用关系运算符<，>，> =，< =，= =，~ =，|，＆,或～在括号中的表达式中。
类以外的逻辑块构造逻辑表达式如果块。

能力和限制

不标记只使用其中一个相对运算符的逻辑表达式吗<，>，> =，< =，= =，~ =，|，＆,～
在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南na_0003: If块的使用
JMAAB指南na_0003

在Switch case块和If块中检查default/else case

检查身份证：mathworks.jmaab.jc_0656

描述

检查默认的/其他在开关情况块和如果块。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
不当使用开关而且如果块。	考虑设置默认的/其他中的Case选项开关Case块和如果块在．

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

另请参阅

马伯指南jc_0656:条件控件块的使用
JMAAB指南jc_0656

检查基本的逻辑运算和数值运算

检查身份证：mathworks.jmaab.na_0002

检查数值和逻辑块中的数据类型。

描述

检查逻辑块和数值块的数据类型，并确定何时数据类型不适合操作。

逻辑块的数据类型应该是布尔型。逻辑块包括:

数值块的数据类型应该是非布尔型的。数值块包括:

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a, b
JMAAB - a, b

要自定义要包含在此检查的分析中的块和掩码，请使用模型顾问配置编辑器．

打开模型配置编辑器并搜索检查IDna_0002．
下输入参数控件中添加或删除块和/或蒙版数值运算块表或逻辑操作块表格
点击应用并保存配置。

结果和建议措施

指南子ID	条件	建议的行动
na_0002_a:检查用于逻辑操作的块的输入数据类型	逻辑操作块的数据类型不是布尔型。	考虑使用逻辑操作块的布尔输入。
na_0002_b:检查用于数值操作的块的输入数据类型	数值操作块的数据类型为布尔型。	考虑为数值操作块使用非布尔输入。

能力和限制

不能在库模型上运行。
允许排除块和图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南na_0002:适当使用基本逻辑和数值操作
JMAAB指南na_0002

检查Sum块的使用情况

检查身份证：mathworks.jmaab.jc_0121

描述

识别使用Sum块时发现的违反准则的行为。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a b c

结果和建议措施

指南子ID	条件	建议的行动
jc_0121_a:检查Sum块形状	一个或多个Sum块是“圆形”的，但不是反馈循环的一部分。	设置Sum块的形状为“矩形”。
jc_0121_b:检查Sum块的第一个输入	一个或多个Sum块没有“+”符号作为第一个输入，并且不是反馈循环的一部分。	将Sum块的第一个输入设置为“+”符号。
jc_0121_c:检查Sum块的输入数量	一个或多个Sum块有两个以上的输入。	将Sum块设置为不超过两个输入。

能力和限制

在库模型上运行。
金宝app支持排除块或图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南jc_0121:加减法块的使用
JMAAB指南jc_0121

检查产品块的操作顺序

检查身份证：mathworks.jmaab.jc_0610

描述

检查产品块的操作顺序。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a, b

结果和建议措施

指南子ID	条件	建议的行动
jc_0610_a:检查Product块的第一个输入	操作符顺序使用不当产品块。	修改第一个输入产品块到乘法('*')。
jc_0610_b:检查Product块的输入数量	产品块的输入数量无效。	的输入不超过两个产品块。

能力和限制

金宝app支持指导子id的选择。
在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南jc_0610:乘法和除法块的运算符顺序
JMAAB指南jc_0610

检查产品块中输入信号的标志

检查身份证：mathworks.jmaab.jc_0611

用除法运算符检查乘积块中输入信号数据类型的符号位。

描述

对于带除法运算符的积块，检查输入信号数据类型是否使用相同的符号位。符号位签署或无符号．

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
输入信号数据类型具有不同的符号位。	更新生产块，使输入信号数据类型的符号位匹配。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南jc_0611:为乘法和除法块输入符号
JMAAB指南jc_0611

检查Fcn块表达式中的圆括号

检查身份证：mathworks.jmaab.jc_0622

描述

检查括号的使用Fcn块表达式。必须使用括号来定义运算符优先级。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
不当使用Fcn块表达式。	中解析运算符优先级Fcn通过添加圆括号来阻塞表达式。

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
不允许排除块和图表。

另请参阅

马伯指南jc_0622: Fcn块的使用
JMAAB指南jc_0622

检查逻辑操作符块的图标形状

检查身份证：mathworks.jmaab.jc_0621

描述

检查图标形状逻辑运算符块。逻辑操作符的图标形状应为矩形。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
图标形状设置不当逻辑运算符块。	的图标形状逻辑运算符块为矩形的可读性。

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南jc_0621:逻辑运算符块的使用
JMAAB指南jc_0621

检查关系操作符块的使用情况

检查身份证：mathworks.maab.jc_0131

检查位置常数使用的块关系操作符块。

描述

当使用关系运算符将信号与常数值进行比较时，常数输入应该是第二个较低的输入。

这张支票需要金宝app仿真软件检查许可证。

可以使用金宝app仿真软件检查．

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
关系操作符block有一个常数块在第一个，上面的输入。	移动常数块到第二，较低的输入。

能力和限制

在库模型上运行。
分析库链接块的内容。
分析没有工作区和对话框的屏蔽子系统中的内容。
允许排除块和图表。

另请参阅

马伯指南jc_0131:关系运算符块的使用
JMAAB指南jc_0131

比较Simulink中的浮点类型金宝app

检查身份证：mathworks.jmaab.jc_0800

描述

检查是否对浮点数进行了等价比较。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
可以观察到浮点数等价比较的一个或多个实例。	确保避免对浮点数使用等价比较。

能力和限制

不能在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

另请参阅

马伯指南jc_0800:在Simulink中比较浮点类型金宝app
JMAAB指南jc_0800

检查查找表的使用情况

检查身份证：mathworks.jmaab.jc_0626

检查“查找表”中的正确参数设置，以防止出现意外结果。

描述

检查n-D查找(1-D、2-D和n-D)表中的以下参数，以确保值符合相应的建议。

InterpMethod
ExtrapMethod
UseLastTableValue

检查动态查找表中的参数LookUpMeth并确保这些值符合建议。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a, b
JMAAB - a, b

结果和建议措施

指南子ID	条件	建议的行动
jc_0626_a:检查动态查找表块的查找方法设置	的参数LookUpMeth在动态查找表中设置为other插值-使用最终值．	设置为推荐值插值-使用最终值．
jc_0626_b:检查n-D查找表块的查找方法设置	的参数InterpMethodn-D查找表中的值设置为三次样条．	使用以下推荐值之一更新参数设置平最近的线性点斜式线性拉格朗日。
	的参数ExtrapMethodn-D查找表中的值设置为三次样条或线性．	设置为推荐值剪辑．
	的参数UseLastTableValuen-D查找表中的值设置为从．	设置为推荐值在．

能力和限制

分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南jc_0626:查找表块的使用情况
JMAAB指南jc_0626

检查内存和单元延迟块的使用情况

检查身份证：mathworks.jmaab.jc_0623

用不适当的采样时间检查内存和单元延迟块。

描述

标识内存块与离散采样时间和单位延迟块具有非离散的采样时间。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子id如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
内存块具有非连续的采样时间。	使用单位延迟块代替内存块。
单位延迟块具有非离散的采样时间。	使用内存块代替单位延迟块。

能力和限制

分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南jc_0623:连续时延块和离散时延块的使用
JMAAB指南jc_0623

检查级联的单元延迟块

检查身份证：mathworks.jmaab.jc_0624

描述

识别单元延迟块的级联和敲击模式。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a, b

结果和建议措施

指南子ID	条件	建议的行动
jc_0624_a:检查延迟阻塞在敲击模式的使用	模型中的单元延迟块集合可以被轻敲延迟块替换。	考虑将级联的单元延迟块替换为抽头延迟块。
jc_0624_b:检查级联延迟块的使用情况	一组延迟块可以被一个单独的延迟块代替。	考虑用一个延迟块替换级联的延迟块。

能力和限制

在库模型上运行。
金宝app支持排除块或图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南jc_0624:被点击的延迟块/延迟块的使用情况
JMAAB指南jc_0624

检查离散时间积分器块的使用

检查身份证：mathworks.jmaab.jc_0627

检查使用情况离散时间积分器块。

描述

为离散时间积分器块,检查:

块参数限制输出被选中。
饱和极限定义使用金宝app仿真软件。参数或MPT。参数对象，其数据类型为汽车．

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子id如下:

NA-MAAB - a
JMAAB - a, b

结果和建议措施

指南子ID	条件	建议的行动
jc_0627_a:检查离散时间积分块的饱和限制设置	块参数限制输出清除	选择离散时间积分器块参数限制输出．
jc_0627_b:检查离散时间积分块的饱和限制设置	饱和限制由数据类型不是的Parameter对象定义`汽车`	将Parameter对象的数据类型更改为`汽车`．

能力和限制

在库模型上运行。
金宝app支持除外。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南jc_0627:使用离散时间积分器块
JMAAB指南jc_0627

检查饱和度块的使用情况

检查身份证：mathworks.jmaab.jc_0628

描述

这张支票识别:

的饱和或饱和动态块的任意类型转换操作。该检查比较已编译的输入和输出数据类型是否匹配输出数据类型设置为Inherit:与input相同而且继承:与第二次输入相同为饱和而且饱和动态块分别。
如果上限设置为输出数据类型的最大值(intmax, realmax)。
如果下限设置为输出数据类型的最小值(intmin， -realmax)。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
输入和输出数据类型不同。	确保输出数据类型设置为Inherit:与input相同而且继承:与第二次输入相同为饱和而且饱和动态块分别。
块的上限值和下限值未设置为附着值。	设置上限将输出数据类型的值设置为小于最大值。设置下限为小于最小值的输出数据类型。

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

另请参阅

马伯指南jc_0628:使用饱和块
JMAAB指南jc_0628

检查操作块的输出数据类型

检查身份证：mathworks.jmaab.jc_0651

描述

检查模型是否遵循实现类型转换的指导方针。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
一个或多个操作块发现显式指定输出数据类型。	不要显式地在操作块上指定输出数据类型，使用数据类型转换块时改变块输出信号的数据类型。

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块或图表。

另请参阅

马伯指南实现类型转换
JMAAB指南jc_0651

检查输入和输出块的位置

检查身份证：mathworks.jmaab.db_0042

描述

检查型号中是否存在位置和配置不正确的端口。

在型号中，端口应遵循以下规则:

的地方轮廓尺寸图左侧的块。移动是可以接受的轮廓尺寸只向右行驶以防止过信号灯。
的地方外港图右侧的块。移动是可以接受的外港只靠左行驶，以防止信号交叉。
避免重复使用轮廓尺寸如果可能的话，在子系统级别上进行块。
不要重复使用轮廓尺寸块在根级别。

可以使用金宝app仿真软件检查．

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a, b
JMAAB - a b c

结果和建议措施

指南子ID	条件	建议的行动
db_0042_a:检查导入块的位置	轮廓尺寸块不放在图的左边。	把轮廓尺寸块到图的左侧。可以排除造成信号重叠的块放置。
db_0042_b:检查Outport块的位置	外港块没有放在图的右边。	把外港块到图的右侧。可以排除造成信号重叠的块放置。
db_0042_c:检查重复导入块的使用情况	端口重复轮廓尺寸块。	如果副本轮廓尺寸块在一个子系统中，在可能的地方移除它们。如果副本轮廓尺寸块在根级别，删除它们。

能力和限制

在库模型上运行。
允许排除块和图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南db_0042:导入和输出块的使用情况
JMAAB指南db_0042

检查显示端口阻塞

检查身份证：mathworks.maab.jc_0081

检查图标显示设置轮廓尺寸而且外港块。

描述

的图标显示需要设置。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
的图标显示设置未设置。	设置图标显示来`端口号`对于指定的轮廓尺寸而且外港块。

能力和限制

在库模型上运行。
分析库链接块的内容。
分析没有工作区和对话框的屏蔽子系统中的内容。
允许排除块和图表。

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南jc_0081:导入和输出块图标显示
JMAAB指南jc_0081

检查From和Goto块的范围

检查身份证：mathworks.maab.na_0011

检查范围从而且转到块。

描述

您可以使用全局作用域来控制流。然而,从而且转到块必须对信号流使用本地作用域。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
从而且转到块没有配置本地作用域。	请确保端口已连接。将指定块的范围更改为local。

能力和限制

不能在库模型上运行。
分析库链接块的内容。
分析所有被屏蔽子系统中的内容。
允许排除块和图表。

另请参阅

马伯指南na_0011:去到和从块的范围
JMAAB指南na_0011

检查数据存储内存块的使用情况

检查身份证：mathworks.jmaab.jc_0161

描述

标识数据存储内存块的使用情况。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a, b

结果和建议措施

指南子ID	条件	建议的行动
jc_0161_a:检查数据存储内存块定义	模型中的一个或多个数据存储内存块没有在最小作用域级别上定义。	考虑将数据存储内存块移动到最小作用域级别。
jc_0161_b:检查数据存储内存块的数据使用情况	模型中的某些数据存储内存块中的数据不用于执行和代码生成。	仅当数据用于代码生成或执行时，才使用数据存储内存块。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许除外。

另请参阅

马伯指南jc_0161:数据存储内存块的定义
JMAAB指南jc_0161

检查Switch块的使用情况

检查身份证：mathworks.maab.jc_0141

检查Switch块的使用情况。

描述

验证开关块控制输入(第二个输入)是一个布尔值，并且块被配置为在控制输入非零时传递第一个输入。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
Switch块控制输入(第二个输入)不是一个布尔值。	将控件输入的数据类型更改为布尔值。
Switch块没有配置为在控制输入非零时传递第一个输入。	设置块参数通过第一个输入的标准到u2 ~=0。

能力和限制

不能在库模型上运行。
分析库链接块的内容。
分析没有工作区和对话框的屏蔽子系统中的内容。
允许排除块和图表。

编辑时间检查

编辑时检查支持此检查。金宝app但是，此检查的编辑时检查不会验证控件输入的数据类型是否为布尔值。

另请参阅

马伯指南jc_0141: Switch块的使用情况
JMAAB指南jc_0141

检查Switch块的输入和输出数据类型

检查身份证：mathworks.jmaab.jc_0650

检查交换功能块的数据端口输入和输出数据类型是否一致。

描述

为开关，多端口切换,索引向量块，检查输入和输出数据端口是否具有相同的数据类型。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
输入和输出数据端口具有不同的数据类型。	更改输入或输出数据端口，使两者的数据类型相同。

能力和限制

不能在库模型上运行。
允许除外。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南jc_0650:带切换功能的块输入/输出数据类型
JMAAB指南jc_0650

检查“多端口交换机”块中的数据端口设置

检查身份证：mathworks.jmaab.jc_0630

描述

标识违反数据端口设置的多端口开关块。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子id如下:

NA-MAAB - a, c
JMAAB - a b c

结果和建议措施

指南子ID	条件	建议的行动
jc_0630_a:检查多端口开关块的输入数量	开关组或者一个Multiport交换机块在模型中有少于两个数据端口。	确保开关模块或者一个Multiport交换机块在模型中有大于两个的数据端口。
jc_0630_b:检查输入类型到多端口开关块	数据类型控制端口在多端口切换未设置为无符号整数．	类的数据类型控制端口在多端口切换来无符号整数．
jc_0630_c:检查Multiport Switch块的数据端口顺序	Multiport Switch block设置错误。	设置“多端口开关”块设置默认情况下的数据端口来附加数据端口,默认情况的诊断来没有一个．

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析库链接块的内容。

编辑时间检查

编辑时检查支持此检查。金宝app但是，此检查的编辑时检查不会验证是否符合jc_0630子ID b。

另请参阅

马伯指南jc_0630: Multiport Switch块的使用情况
JMAAB指南jc_0630

检查变体子系统中缺少的端口

检查身份证：mathworks.jmaab.na_0020

描述

检查变量子系统的输入/输出数量。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

您可以配置检查，通过选择输入参数，允许Variant子系统拥有与Choice子系统不同数量的输出端口检查变量子系统输出端口上的参数“未连接时指定输出”在Model Advisor配置编辑器中。

请注意:变体子系统的输出端口必须有输入参数在未连接时指定输出选中。

结果和建议措施

条件	建议的行动
一个或多个变型子系统在其从属子系统上有不同数量的输入/输出。	考虑在可变子系统和它们的从属子系统上有相同数量的输入/输出。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块或图表。

另请参阅

马伯指南na_0020:变量子系统的输入数量
JMAAB指南na_0020

检查默认变量的使用情况

检查身份证：mathworks.maab.na_0036

检查变量子系统中默认变量的使用情况。

描述

检查不同的子系统，变异来源，变体水槽，和变体模型块在一个默认变体的变体子系统中。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

要将活动变量设置为默认变量，请使用模型顾问配置编辑器．

打开模型配置编辑器并搜索检查IDna_0036．
下输入参数中,选择检查“允许零活动变量控件”选项的使用．
对于变体子系统的每个Output端口，需要设置如下block参数:
- 选择当源未连接时指定输出
- 输入一个恒定值
- 设置输出块参数数据类型来继承:汽车
点击应用并保存配置。

结果和建议措施

条件建议的行动

子系统不包含默认变量。

设置块参数版本控制来(默认)．

块参数版本控制设置为变体．

将活动变量设置为默认变量。

版本控制设置为变体
打开变量块并选择块参数允许零主动变量控制．
变型子系统输出端口:
- 集当源未连接时指定输出来真正的
- 中提供的有效值恒定值
- 集数据类型来继承:汽车

能力和限制

在库模型上运行。
分析库链接块的内容。
分析所有被屏蔽子系统中的内容。
允许排除块和图表
允许语法高亮显示

另请参阅

马伯指南na_0036:默认变量
JMAAB指南na_0036

检查单变量变量条件句的使用

检查身份证：mathworks.maab.na_0037

检查条件表达式中单个变量的使用情况

描述

检查不同的子系统，变异来源，变体水槽，和变体模型块用于具有多个变量的条件表达式。

请注意

指导方针na_0037默认变量是使用单个条件的多个变量编写可变条件表达式的一个例外。您可以通过以下方式定义默认值:

选择(默认)在block参数中版本控制．
指定穷尽条件。

此检查不能区分使用穷举条件定义的默认值。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
条件表达式包含多个条件变量。	考虑更新您的模型，以便只使用一个变体。
条件表达式变量或`金宝app仿真软件。变体`对象在工作空间中未找到。	考虑在模型中定义一个变量。
检查没有在我的变体子系统上执行。	清晰的重写变量条件并使用下面的变量对于变型子系统。

能力和限制

不检查默认变量。
当您选择时不在Variant子系统上运行重写变量条件并使用下面的变量
在库模型上运行。
分析库链接块的内容。
分析所有被屏蔽子系统中的内容。

另请参阅

马伯指南na_0037:对不同条件使用单一变量
JMAAB指南na_0037

使用Simulink I/O检查强数据类型金宝app

检查身份证：mathworks.jmaab.db_0122

检查标记的statflow和Simulink输入和输出信号是否为强类型。金宝app

描述

statflow和Simulink输入和输出信号之间需要强数据类型。金宝app

可以使用金宝app仿真软件检查．

此检查需要statflow许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
在Simulink中，状态流图不使用强数据类型。金宝app	选择使用Simulink I/O强数据类型金宝app选中指定块的复选框。

能力和限制

在库模型上运行。
允许排除块和图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南db_0122: statflow和Simul金宝appink接口信号和参数
JMAAB指南db_0122
状态和转换的语法(Stateflow)

检查状态流端口和相关信号的名称

检查身份证：mathworks.maab.db_0123

检查状态流端口和相关信号名称之间的不匹配。

描述

statflow输入和输出的名称应该与相应的信号相同。

可以使用金宝app仿真软件检查．

此检查需要statflow许可证。

检查参数化

此Model Advisor检查不适用于JMAAB建模指南。

这张支票不包括次支票

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB -不支持金宝app

结果和建议措施

条件	建议的行动
信号的名称与相应的状态流端口不同。	更改信号或状态流端口的名称。

能力和限制

不标记库中可重用状态流图的名称不匹配。
当相应的信号没有标签时，不标记状态流端口。
不能在库模型上运行。
不分析库链接块的内容。
分析所有被屏蔽子系统中的内容。
允许排除块和图表。排除将不适用于库链接图表。

另请参阅

马伯指南db_0123:状态流端口名称

检查状态流数据的定义

检查身份证：mathworks.jmaab.db_0125

描述

标识在机器级定义的状态流数据上设置的范围值。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a b c d
JMAAB - a b c d

结果和建议措施

指南子ID	条件	建议的行动
db_0125_a:在机器级别检查范围设置为Local的状态流数据	具有在机器级别定义的本地作用域的状态流数据	考虑不要在机器级别用Local Scope定义数据。
db_0125_b:在机器级检查将Scope设置为Constant的状态流数据	使用常量作用域定义的机器级别的状态流数据	考虑不要在机器级使用常量作用域定义数据。
db_0125_c:在机器级别检查将Scope设置为Parameter的状态流数据	具有在机器级别定义的参数范围的状态流数据	考虑不要在机器级别用参数作用域定义数据。
db_0125_d:在状态流块层次结构中检查范围设置为Local的重复状态流数据名称	在图表中定义的状态流数据在同一个状态流块层次结构上有多个定义	考虑在层次结构中使用唯一的statflow数据名称。

能力和限制

在库模型上运行。
分析库链接块的内容。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许除外。

另请参阅

马伯指南db_0125:状态流本地数据
JMAAB指南db_0125

检查状态流事件的定义

检查身份证：mathworks.jmaab.db_0126

描述

状态流事件应该在尽可能小的使用范围内定义。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
图表中使用的一个或多个状态流事件没有在层次结构的同一级别上定义。	考虑在最小的使用范围内定义状态流事件。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
不支持排除块或图表金宝app。

另请参阅

马伯指南db_0126:定义状态流事件
JMAAB指南db_0126

为第一个索引检查可用的数字

检查身份证：mathworks.jmaab.jc_0701

描述

如果statflow中数组的第一个索引未设置为或，则标识0或1．

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a1/a2
JMAAB - a1/a2

请注意

默认选择子检查jc_0701_a1。

结果和建议措施

指南子ID	条件	建议的行动
jc_0701_a1:检查statflow数据的第一个索引是否设置为0	一个或多个Stateflow数据的第一个索引设置为非0的值。	确保将第一个索引值设置为0。
jc_0701_a2:检查statflow数据的第一个索引是否设置为1	一个或多个Stateflow数据的第一个索引设置为非1的值。	确保将第一个索引值设置为1。

能力和限制

金宝app支持指导子id的选择。
在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除图表。

另请参阅

马伯指南jc_0701:第一个索引的可用编号
JMAAB指南jc_0701

检查默认转换路径的执行时间

检查身份证：mathworks.jmaab.jc_0712

描述

标识参数的状态初始化时执行(输入)图表．这个参数需要考虑许多其他因素才能产生一致的结果。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
的参数初始化时执行(输入)图表被选中。	确保清除所选内容。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南jc_0712:默认转换路径的执行时间
JMAAB指南jc_0712

检查并行状态下的数据范围

检查身份证：mathworks.jmaab.jc_0722

描述

局部变量的作用域必须设置为限制为一个并行状态，除非两个或多个并行状态需要相同的数据。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
当多个并行状态不需要相同的数据时，Stateflow数据(局部变量)的范围不局限于并行状态。	将状态流数据(局部变量)的范围限制为仅一个并行状态。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除图表。

另请参阅

马伯指南jc_0722:并行状态下的本地数据定义
JMAAB指南jc_0722

在状态流程图中检查未连接的对象

检查身份证：mathworks.jmaab.jc_0797

描述

检查状态流程图中未连接的对象，并识别状态流程图中的悬空转换和未连接的状态流状态和连接。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子id如下:

NA-MAAB - a, b
JMAAB - a, b

结果和建议措施

指南子ID	条件	建议的行动
jc_0797_a:检查未连接的转换	图表中的一个或多个转场是不连接的。	考虑重构来连接悬空过渡。
jc_0797_b:检查未连接状态和连接	一个或多个状态和连接未连接。	考虑重构以连接未连接的状态和连接。

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

另请参阅

马伯指南jc_0797:未连接的转换/状态/连接连接
JMAAB指南jc_0797

在状态机中检查状态

检查身份证：mathworks.jmaab.db_0137

描述

用只有一个子状态的OR(独占)类型分解标识状态。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
一个或多个具有or(排他)类型分解的状态在模型中只有一个子状态。	删除子状态或添加另一个状态。

能力和限制

在库模型上运行。
允许排除块和图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南db_0137:状态机中的状态
JMAAB指南db_0137

检查并行状态的使用情况

检查身份证：mathworks.jmaab.jc_0721

描述

平行状态不能用于分组的目的，即平行状态的子状态不能是平行状态。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
并行状态仅用于分组。	并行状态的子状态不能是并行的(不要用于分组)。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南jc_0721:并行状态的使用
JMAAB指南jc_0721

检查状态流转换外观

检查身份证：mathworks.jmaab.db_0129

描述

检查并报告在视觉上与其他状态流对象重叠的状态流转换。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a b c d e
JMAAB - a, b, c, d, e

通过选择参数，可以允许使用此检查标记自转换检查自我转换从模型顾问配置编辑器．

打开模型配置编辑器并搜索检查IDdb_0129．
选择参数检查自我转换．
点击应用并保存配置。

结果和建议措施

指南子id	条件	建议的行动
db_0129_a:检查相互交叉的转换线	过渡线彼此交叉。	考虑重新构造，这样过渡线就不会相互交叉。
db_0129_b:检查相互重叠的过渡线	过渡线与其他过渡线重叠。	考虑重新构造，使过渡线不与其他过渡线重叠。
db_0129_c:检查跨越其他statflow对象的转换线	转换线跨越其他状态流对象。	考虑重构，这样转换就不会跨越其他statflow对象。
db_0129_d:检查过渡线的方向	对于流程图循环，过渡不是垂直或水平和/或对角线的。	考虑对流程图循环只使用水平或垂直过渡和对角线过渡进行重构。
db_0129_e:检查不必要的连接连接	一个或多个图表使用不必要的连接连接。	考虑避免不必要的连接。

能力和限制

该检查不会标记超出状态边界的状态标签重叠的转换。
在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南db_0129:状态流转换外观
JMAAB指南db_0129

检查状态流程图中的默认转换位置

检查身份证：mathworks.jmaab.jc_0531

描述

检查状态流程图中的默认转换位置。

这张支票需要金宝app仿真软件检查和状态流许可证。

结果和建议措施

条件	建议的行动
模型中的并行状态具有默认的转换。	默认转换不能用于并行状态。
模型中的一个或多个statflow状态没有默认转换。	确保每个级别都有一个默认转换。
模型中的一个或多个statflow状态在同一级别上具有多个默认转换。	同一级别中不能包含多个默认转换。
模型中的一个或多个默认转换没有连接到顶部状态或连接。	确保默认转换直接连接到状态或连接的上部。
缺省转换的一个或多个目标状态或连接不在顶部。	确保默认转换的转换目的地状态或转换目的地连接位于同一级别的左上角。
模型中的一个或多个默认转换超出了状态边界。	确保默认转换不超过州边界。
的参数没有无条件的默认转换在配置>诊断>Stateflow未设置为错误．	设置参数没有无条件的默认转换来错误．

能力和限制

在库模型上运行。
允许排除块和图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南jc_0531:默认转换
JMAAB指南jc_0531
状态和转换的语法(Stateflow)

检查转换到外部状态的使用情况

检查身份证：mathworks.jmaab.jc_0723

描述

标识状态流程图中结束于外部子状态的转换。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
一个或多个转换在外部子状态上结束。	考虑重构以避免使用结束于外部子状态的转换。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
金宝app支持排除图表。

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南jc_0723:禁止从外部状态直接转换到子状态
JMAAB指南jc_0723

检查状态转换中的意外回溯

检查身份证：mathworks.jmaab.jc_0751

描述

检查状态转换中的意外回溯。配置参数意外回溯(SFUnexpectedBacktrackingDiag)必须设置为错误．

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
在状态转换期间不会检测到回溯。	设置配置参数意外回溯(SFUnexpectedBacktrackingDiag)来错误．

能力和限制

在库模型上运行。
不分析库链接块的内容。
不分析被屏蔽子系统中的内容。
不允许排除块和图表。

另请参阅

马伯指南jc_0751:状态转换中的回溯预防
JMAAB指南jc_0751

在状态流中检查内部转换的起点

检查身份证：mathworks.jmaab.jc_0760

描述

标识在所有状态图和流程图中，从状态边界开始的内部转换是否必须从状态的左边缘开始。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
从状态图或流程图的状态边界开始的一个或多个内部转换的起点不是从状态的左边缘开始的。	确保在所有状态图和流程图中，从状态边界开始的内部转换必须从状态的左边缘开始。

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南内部转换的起点
JMAAB指南jc_0760

检查statflow状态中内部转换的使用情况

检查身份证：mathworks.jmaab.jc_0763

描述

标识使用多个内部转换的状态流状态。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子id如下:

NA-MAAB - a1/a2
JMAAB - a1/a2

请注意

默认选择子检查jc_0763_a1。

结果和建议措施

指南子ID	条件	建议的行动
jc_0763_a1:检查多个内部转换	一个或多个statflow状态具有多个内部转换。	重构以避免使用多个内部转换。
jc_0763_a2:检查多个内部转换的顺序	一个或多个statflow状态具有多个内部转换，这些转换没有按照执行顺序排列。	考虑按执行顺序从上到下放置内部转换。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南jc_0763:使用多个内部转换
JMAAB指南jc_0763

检查禁止状态动作和流程图的组合

检查身份证：mathworks.jmaab.jc_0762

描述

检查状态中的状态操作和流程图语句是否组合使用。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
状态流状态结合了状态动作和流程图。	将状态操作和流程图语句分离为不同的状态。

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南jc_0762:禁止国家行为和流程图组合
JMAAB指南jc_0762

检查状态流流程图中的转换

检查身份证：mathworks.jmaab.db_0132

描述

检查流程图中的过渡方向。

以下规则适用于流程图中的转换:

水平绘制过渡条件。
用条件动作垂直绘制过渡。
流程图中的结点应该有一个默认的退出转换。
流程图中的转换不应该结合条件和动作。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子id如下:

NA-MAAB - a, b
JMAAB - a, b

结果和建议措施

指南子ID	条件	建议的行动
db_0132_a:检查statflow流程图中转换操作的使用情况	模型中的流程图中使用了一个或多个转换操作。	不要在流程图中使用转换操作。
db_0132_b:在流程图中检查转换方向	一个或多个带有条件表达式的转换没有水平绘制。	确保用水平的条件表达式绘制过渡。
	一个或多个带有条件操作的过渡没有垂直绘制。	确保用垂直的条件动作绘制过渡。
	一个或多个转换同时具有条件表达式和条件操作。	不要在同一个转换中使用条件表达式和条件操作。

能力和限制

如果转换违反了方向规则，则检查只标记包含循环构造的流程图。
在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南db_0132:流程图中的过渡
JMAAB指南db_0132

检查流程图中无条件转换的使用情况

检查身份证：mathworks.jmaab.jc_0773

描述

识别流程图中的无条件转换。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a, b
JMAAB - a, b

结果和建议措施

指南子ID	条件	建议的行动
jc_0773_a:检查来自带有条件转换的状态流连接的无条件转换是否存在	一个或多个状态流连接没有源自它们的无条件转换。	考虑向连接添加无条件转换。
jc_0773_b:检查无条件转换的执行顺序	一个或多个状态流连接具有不是最后执行的无条件转换。	考虑设置从连接到最高值的无条件转换的执行顺序。

能力和限制

在库模型上运行。
金宝app支持排除块或图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南流程图的无条件转换
JMAAB指南jc_0773

检查状态流中的终端连接

检查身份证：mathworks.jmaab.jc_0775

描述

识别流程图中终端连接的使用。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子id如下:

NA-MAAB - a1/a2
JMAAB - a1/a2

请注意

默认选择子检查jc_0775_a1。

结果和建议措施

指南子ID	条件	建议的行动
jc_0775_a1:检查是否只使用了一个终端结	一个或多个statflow容器具有多个终端连接。	考虑只使用一个终端结。
jc_0775_a2:检查是否使用一个带有无条件转换的终端连接作为输入	一个或多个状态流容器具有多个终端连接，或者具有一个没有无条件转换的终端连接。	考虑只使用一个带有一个无条件转换的终端结作为输入。

能力和限制

在库模型上运行。
金宝app支持排除块或图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南流程图中的终止连接
JMAAB指南jc_0775

检查状态流注释的使用情况

检查身份证：mathworks.jmaab.jc_0738

描述

标识在statflow中包含换行符或嵌套在中间的注释。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a, b

结果和建议措施

指南子ID	条件	建议的行动
jc_0738_a:如果操作语言是“C”，则不能使用注释嵌套	状态流对象中的注释是嵌套的。	状态流中的注释不能嵌套。
jc_0738_b:如果操作语言是"C"，注释中间不能包含换行符	statflow对象中的一个或多个注释在中间包含换行符。	状态流中的注释中间不能包含换行符。

能力和限制

在库模型上运行。
允许排除块和图表。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．

另请参阅

马伯指南jc_0738:状态流注释的使用
JMAAB指南jc_0738

检查状态流程图动作语言

检查身份证：mathworks.jmaab.jc_0790

描述

检查状态流程图的操作语言是否设置为C。

这张支票要求金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
一个或多个状态流程图的操作语言未设置为C。	将所有状态流程图操作语言设置为C。

能力和限制

在库模型上运行。
允许排除图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南jc_0790:图表块的动作语言
JMAAB指南jc_0790

检查状态流中数字文字的使用情况

检查身份证：mathworks.jmaab.jc_0702

描述

标识在状态流状态和转换中使用的数字文字。

这张支票要求金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
状态流状态和状态流转换中的一个或多个表达式包含数字字面值。	考虑重新构造以使用命名参数和常量，而不是数值字面量。

能力和限制

在库模型上运行。
金宝app支持排除块或图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南jc_0702:使用命名的状态流参数和常量
JMAAB指南jc_0702

检查状态流程图中的指针

检查身份证：mathworks.maab.jm_0011

识别自定义代码变量上的指针操作。

描述

不允许指向自定义代码变量的指针。

这张支票需要金宝app仿真软件检查和状态流许可证。

这种检查需要许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
自定义代码变量使用指针操作。	修改指定的图表以消除对指针操作的依赖。

能力和限制

仅适用于使用C作为操作语言的状态流程图。
在库模型上运行。
不分析库链接块的内容。
分析所有被屏蔽子系统中的内容。
允许排除块和图表。

另请参阅

马伯指南jm_0011:状态流中的指针
JMAAB指南jm_0011

检查状态流程图中事件和广播事件的使用情况

检查身份证：mathworks.jmaab.jm_0012

识别可能在模拟期间导致递归并生成低效代码的无向事件广播。

描述

状态流图中的事件广播必须是定向的。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a1/a2/a3

请注意

默认选择子检查“jm_0012_a1”。

结果和建议措施

指南子id	条件	建议的行动
jm_0012_a1:检查Stateflow事件是否只在Stateflow块的输出中使用	在状态流块的输出中不使用状态流事件。	将上面列出的statflow事件的范围更改为输出。
jm_0012_a2:检查statflow广播事件是否使用“send”语法定向	状态流广播事件不使用“发送”语法定向。	使用“send(event_name, state_name)”语法广播状态流事件。
jm_0012_a3:检查statflow广播事件是否使用限定事件名定向	状态流事件不使用限定事件名定向。	使用“send(state_name.event_name)”语法广播状态流事件。

能力和限制

在库模型上运行。
分析库链接块的内容。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

另请参阅

检查状态动作类型的顺序

检查身份证：mathworks.jmaab.jc_0733

描述

标识状态流状态中无序的状态操作。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a, b
JMAAB - a, b

结果和建议措施

指南子ID	条件	建议的行动
jc_0733_a:检查基本状态动作类型	一个或多个statflow状态的基本状态操作类型是乱序编写的。	考虑按进入(en)、期间(du)和退出(ex)的顺序对状态操作进行排序。
jc_0733_b:检查组合状态操作类型	一个或多个状态流状态组合了顺序乱写的状态操作类型。	考虑按进入(en)、期间(du)和退出(ex)的顺序对状态操作进行排序。

能力和限制

在库模型上运行。
金宝app支持排除图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南状态操作类型的顺序
JMAAB指南jc_0733

检查动作类型的重复

检查身份证：mathworks.jmaab.jc_0734

标识状态流状态中的重复操作类型。

描述

动作类型(进入(en)，期间(du)，退出(ex)， en, du:， du, ex:， en, ex:， en, du, ex:)在statflow状态中不能被描述两次或两次以上。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
在statflow状态中多次使用一个或多个操作类型。	合并操作类型，以便每个操作类型在statflow状态中只定义一次。

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除图表。

另请参阅

马伯指南jc_0734:状态动作类型的数量
JMAAB指南jc_0734

检查模型中是否使用了状态操作类型'exit'

检查身份证：mathworks.jmaab.jc_0740

描述

检查模型中是否使用了statflow退出操作。

这张支票要求金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
使用一个或多个状态流状态退出动作类型。	考虑删除状态动作类型退出在状态流状态。

能力和限制

在库模型上运行。
金宝app支持排除图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南jc_0740:限制使用退出状态操作
JMAAB指南jc_0740

检查状态转换条件中使用的变量的更新

检查身份证：mathworks.jmaab.jc_0741

描述

检查状态转换条件中使用的变量是否按“期间”状态操作类型执行更新。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
状态转换条件中的一个或多个变量按“期间”状态操作类型执行更新。	确保状态转换条件中使用的变量不会执行“during”状态操作类型的更新。

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

另请参阅

马伯指南jc_0741:更新状态图转换条件中使用的数据的时机
JMAAB指南jc_0741

检查状态流转换中转换条件的使用情况

检查身份证：mathworks.jmaab.jc_0772

描述

标识来自状态的转换和优先级高于条件转换的无条件状态流转换。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
发现状态流转换的优先级高于条件转换。	更改转换的执行顺序或添加执行条件。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南jc_0772:转换线的执行顺序和转换条件
JMAAB指南jc_0772

检查状态流中的条件操作和转换操作

检查身份证：mathworks.jmaab.jc_0753

描述

检查同一图表中条件操作或转换操作的使用是否一致。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子id如下:

NA-MAAB - a1/a2
JMAAB - a1/a2

请注意

默认选择子检查jc_0753_a1。

结果和建议措施

指南子ID	条件	建议的行动
jc_0753_a1:检查状态流程图中的转换操作	下面的状态流程图使用转换操作。	不要在状态流程图中使用转换操作。
jc_0753_a2:在同一个状态流程图中检查条件操作和转换操作的使用情况	条件操作和转换操作混合在同一个图表中。	条件操作或转换操作的使用必须在同一图表中保持一致。

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

另请参阅

马伯指南jc_0753:状态流中的条件操作和转换操作
JMAAB指南jc_0753

检查状态流程图中的MATLAB表达式

检查身份证：mathworks.jmaab.db_0127

描述

标识使用不适合代码生成的MATLAB表达式的状态流对象。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a1/a2
JMAAB - a1/a2

请注意

默认选择子检查db_0127_a1。

结果和建议措施

指南子ID	条件	建议的行动
db_0127_a1:在状态流程图中检查MATLAB表达式	模型中的一个或多个statflow对象使用MATLAB表达式。	考虑通过替换statflow对象中的所有MATLAB表达式进行重构。
db_0127_a2:检查未通过MATLAB函数访问的状态流程图中的MATLAB表达式	模型中的一个或多个statflow对象使用无法通过MATLAB函数访问的MATLAB表达式。	考虑进行重构，以便通过statflow对象中的MATLAB函数访问MATLAB表达式。

能力和限制

仅适用于使用C作为操作语言的状态流程图。
在库模型上运行。
允许除外。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南db_0127:状态流块中MATLAB命令的限制
JMAAB指南db_0127

检查状态流程图中浮点表达式的使用情况

检查身份证：mathworks.maab.jc_0481

标识等于操作(= =)，其中表达式的至少一侧是浮点变量或常量。

描述

不要对浮点数据类型使用等于操作。可以对整型数据类型使用等号操作。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
表达式使用相等比较操作(`= =`，`! =`，`~ =`)，其中表达式的至少一侧是浮点变量或常量。	修改指定的表达式以避免浮点表达式之间的相等比较操作。
Model Advisor无法确定具有相等操作的表达式中的数据类型。	为了允许Model Advisor确定数据类型，可以考虑显式地对指定的表达式进行类型转换。

能力和限制

不能在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南jc_0481:在statflow中对浮点数使用硬相等比较
JMAAB指南jc_0481

检查状态流操作符

检查身份证：mathworks.jmaab.na_0001

描述

标识statflow中操作符的使用情况。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a, b1/b2/b3, c

请注意

默认选择子检查na_0001_a、na_0001_b1和na_0001_c。

结果和建议措施

指南子ID	条件	建议的行动
na_0001_a:在statflow中使用按位操作符	一个或多个表达式使用了不正确的位运算符。	考虑仅对位操作使用位操作符('&'，'\|'，'^'，'~')。
na_0001_b1:在状态流中使用不等运算符(~=)	一个或多个表达式错误地使用了不等运算符。	考虑使用'~='进行不等式操作。
na_0001_b2:在状态流中使用不等运算符(!=)	一个或多个表达式错误地使用了不等运算符。	考虑使用'!='用于不等式运算。
na_0001_b3:在状态流中使用不等运算符(<>)	一个或多个表达式错误地使用了不等运算符。	考虑使用'<>'进行不等式操作。
na_0001_c:在statflow中使用逻辑否定运算符	一个或多个场景使用了错误的逻辑否定运算符。	考虑使用'!＇为logical negation operations

能力和限制

仅适用于使用C作为操作语言的图表。
不能在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南na_0001:状态流操作符的标准用法
JMAAB指南na_0001

检查逻辑类型信号的禁止比较操作

检查身份证：mathworks.jmaab.jc_0655

描述

标识状态流图中的布尔类型转换，这些转换使用与数字或逻辑值(真或假)的比较，或使用否定运算符(!或~)变量。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
布尔型事务与数字或逻辑值(真或假)进行比较。	确保布尔类型的事务不与数字或逻辑值进行比较。

能力和限制

在库模型上运行。
允许排除块和图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南jc_0655:禁止状态流中的逻辑值比较
JMAAB指南jc_0655

检查状态流程图中一元减号操作的使用情况

检查身份证：mathworks.maab.jc_0451

识别应用于状态流对象中无符号整数的一元减号操作。

描述

不要对状态流对象中的无符号整数执行一元减号操作。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
一元减号操作应用于statflow对象中的无符号整数。	修改指定的对象以删除对一元减号操作的依赖。
Model Advisor无法确定带有一元减号操作的表达式中的数据类型。	为了允许Model Advisor确定数据类型，可以考虑显式地对指定的表达式进行类型转换。

能力和限制

不能在库模型上运行。
不分析库链接块的内容。
分析所有被屏蔽子系统中的内容。
允许排除块和图表。

另请参阅

马伯指南jc_0451:对无符号整数使用一元减号
JMAAB指南jc_0451

检查statflow中的隐式类型强制转换

检查身份证：mathworks.jmaab.jc_0802

描述

在状态流中标识隐式类型强制转换。

这张支票要求金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
状态流程图中的一个或多个操作和/或函数调用数据类型不匹配。	所有操作和函数调用都必须在相同数据类型的变量之间进行。如果数据类型不同，则需要显式地对变量进行类型转换以匹配数据类型。

能力和限制

如果枚举类型没有指定完整的类名，则此检查将不分析statflow中的枚举类型。
此检查不分析定点上下文敏感常数。
不能在库模型上运行。
允许排除块或图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南jc_0802:禁止在statflow中使用隐式类型强制转换
JMAAB指南jc_0802

检查状态流状态和数据名称的唯一性

检查身份证：mathworks.jmaab.jc_0732

描述

检查在单个状态流图中，状态流数据名称和状态流状态名称是否相同。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
如果状态流数据名称和状态流状态名称在状态流程图中具有相同的名称。	将状态流数据名称或状态流状态名称重命名为不相同的名称。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除图表。

另请参阅

马伯指南jc_0732:状态名、数据名和事件名之间的区别
JMAAB指南jc_0732

检查州名的唯一性

检查身份证：mathworks.jmaab.jc_0730

描述

状态名在图表中必须是唯一的，原子子图表除外。例如，原子子图被视为不同的容器，因此它们可以与子图之外的其他状态共享状态名。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
在状态流图中，两个或多个状态流状态具有相同的名称。	重命名状态流状态，使状态流图中没有相同的名称。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除图表。

另请参阅

马伯指南jc_0730: statflow块中的唯一状态名
JMAAB指南jc_0730

检查州名的使用情况

检查身份证：mathworks.jmaab.jc_0731

检查州名中的斜杠(/)。

描述

检查州名中是否包含斜杠(/)。在定义了状态名之后，添加一个新的行来描述任何可执行语句。斜杠(/)只在描述可执行语句在州名后面的延续时才需要。

这张支票要求金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
斜杠是州名。	从状态名中删除斜杠，并确保为任何可执行语句开始一个新行。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除图表。

另请参阅

马伯指南jc_0731:州名格式
JMAAB指南jc_0731

检查状态流程图中状态块中的条目格式

检查身份证：mathworks.jmaab.jc_0501

识别输入操作之间缺失的换行符(在)，在动作期间(杜)，并退出操作(前女友)各州的条目。识别分号后缺少的换行符(；)。

描述

之后开始新行条目，在,退出条目，在语句完成后；”。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
一个`条目`（`在`)不在新行上。	的后面添加新行`条目`．
一个`在`（`杜`)不在新行上。	的后面添加新行`在`．
一个`退出`（`前女友`)不在新行上。	的后面添加新行`退出`．
一行中发现多条语句。	在每个语句后添加新行。

能力和限制

在库模型上运行。
不分析库链接块的内容。
分析所有被屏蔽子系统中的内容。
允许排除块和图表。

编辑时间检查

编辑时检查支持此检查。金宝app

另请参阅

马伯指南jc_0501: State块中条目的格式
JMAAB指南jc_0501

检查状态流状态下的代码缩进

检查身份证：mathworks.jmaab.jc_0736

检查状态流状态和转换中标签字符串的统一缩进。

描述

检查Stateflow块中的缩进是否被统一描述，并遵循以下建议:

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a b c

您可以使用输入参数单字节空格数将阈值设置为所需的值。缺省值为1．

结果和建议措施

指南子ID	条件	建议的行动
jc_0736_a:检查statflow状态中动作语言的统一缩进	模型中的一个或多个statflow状态没有统一的缩进。	考虑删除状态操作类型之前的空格，并在可执行语句之前添加输入参数中定义的确切数量的单字节空格。
jc_0736_b:检查转换动作类型的均匀间距	模型中的一个或多个statflow转换没有统一的间距。	考虑不要在转换条件的'['、转换操作的'{'和转换事件的'/'之前添加空格。
jc_0736_c:检查转换动作的均匀间距	模型中的一个或多个statflow转换没有统一的间距。	考虑在转换操作的“/”之后添加输入参数中定义的精确数量的单字节空格。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除图表。

另请参阅

马伯指南jc_0736: statflow块中的统一缩进
JMAAB指南jc_0736

检查状态内文本的使用情况

检查身份证：mathworks.jmaab.jc_0739

描述

用超出状态边界的文本标识状态流状态。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
模型中的一个或多个状态流状态具有超出状态边界的文本。	确保statflow状态内的文本不会超出状态的边界。

能力和限制

该检查标记模型中文本中有换行符的statflow状态。即使statflow状态中的文本包含在状态边界内，也会发生这种情况。
在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
允许排除块和图表。

另请参阅

马伯指南jc_0739:描述状态内的文本
JMAAB指南jc_0739

检查标签字符串在过渡中的位置

检查身份证：mathworks.jmaab.jc_0770

描述

检查状态流转换标签的位置。状态流信号标签必须始终位于信号的原点或信号转换线的中点。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a1/a2

请注意

默认选择子检查jc_0770_a1。

结果和建议措施

指南子ID	条件	建议的行动
jc_0770_a1:转换标签应该放置在转换的起始点附近	一个或多个状态流转换没有位于转换原点附近的标签字符串。	确保将statflow标签放置在转换的起始点附近。
jc_0770_a2:转换标签应该放在靠近转换中心的地方	一个或多个状态流转换没有位于转换中心附近的标签字符串。	确保将Stateflow标签放置在转换的中点(中心)附近。

能力和限制

在库模型上运行。
允许排除块和图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南jc_0770:转换标签的位置
JMAAB指南jc_0770

检查注释在转换标签中的位置

检查身份证：mathworks.jmaab.jc_0771

描述

标识转换标签中未统一定位的注释。

这张支票要求金宝app仿真软件检查和状态流许可证。

检查参数化

该检查包含与MAB和JMAAB建模指南中指定的子id对应的子检查。您可以使用模型顾问配置编辑器指定要执行哪个子id(一个或多个)。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a1/a2
JMAAB - a1/a2

请注意

默认选择子检查jc_0771_a1。

结果和建议措施

指南子ID	条件	建议的行动
jc_0771_a1:转换标签中的注释必须统一放置在顶部	转换标签中的一个或多个注释没有位于顶部。	转换标签中的注释必须位于转换条件、条件操作、转换操作和状态流事件之上。
jc_0771_a2:转换标签中的注释必须统一放置在底部	转换标签中的一个或多个注释没有位于底部。	转换标签中的注释必须位于转换条件、条件操作、转换操作和状态流事件下面。

能力和限制

在库模型上运行。
金宝app支持排除块或图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南jc_0771:转换标签中的注释位置
JMAAB指南jc_0771

检查状态流转换中括号的使用情况

检查身份证：mathworks.jmaab.jc_0752

描述

检查状态流转换中条件操作的圆括号之前和之后是否启动了新行。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
状态流转换中的条件操作写在括号旁边。	在状态流转换中的条件操作的括号前后开始新行。

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．
允许排除块和图表。

另请参阅

马伯指南jc_0752:转换标签中的条件动作
JMAAB指南jc_0752

检查无条件转换中的注释

检查身份证：mathworks.jmaab.jc_0774

描述

标识不带操作语句的无条件转换中的注释。

这张支票要求金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
一个或多个没有操作语句的无条件转换没有注释。	考虑添加解释无条件转换的注释。

能力和限制

在库模型上运行。
金宝app支持排除块或图表。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．

另请参阅

马伯指南jc_0774:通过转换的注释
JMAAB指南jc_0774

检查statflow图形函数中的返回值赋值

检查身份证：mathworks.maab.jc_0511

在状态流程图中识别具有多个返回值赋值的图形函数。

描述

statflow图形化函数的返回值必须只在一个地方设置。

这张支票需要金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB -不推荐
JMAAB - a

结果和建议措施

条件	建议的行动
statflow图形化函数的返回值被分配到多个位置。	修改指定的图形化函数，以便在一个地方设置其返回值。

能力和限制

在库模型上运行。
不分析库链接块的内容。
允许排除块和图表。

另请参阅

马伯指南jc_0511:从图形函数返回值
JMAAB指南jc_0511
图表中的可重用函数(Stateflow)．

检查statflow中Simu金宝applink函数的使用情况

检查身份证：mathworks.jmaab.na_0042

描述

检查statflow中Simulink函金宝app数的使用情况。

这张支票要求金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
传递给Simulink函数的输入参数应该是“Loca金宝appl”作用域的数据。	将聊天数据范围修改为“Local”。
传递给Simulink函数的输入参数使用的数据不是'金宝appInput'作用域和'Local'作用域的混合。	传递给Simulink函数的输入参数应该是“Loca金宝appl”作用域和“Input”作用域的数据的混合。
金宝app不会从图表中的多个位置调用Simulink函数。	确保Simulink金宝app函数被重用。

能力和限制

该检查不分析是否每次都调用Simulink函数。金宝app
在库模型上运行。
允许排除块和图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南na_0042: Simulink函金宝app数的使用
JMAAB指南na_0042

检查状态流程图中Simul金宝appink的使用情况

检查身份证：mathworks.maab.na_0039

检查在根状态流程图中使用的Simulink函数中嵌套的状态流程图。金宝app

描述

检查根状态流图金宝app中的Simulink函数，并识别嵌套在这些函数中的状态流图。

这张支票要求金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
Simu金宝applink函数有一个嵌套的状态流程图。	考虑修改您的根状态流图，使Simulink函数不包含嵌套状态流图。金宝app

能力和限制

不检查状态流状态。
在库模型上运行。
允许排除块和图表。
允许语法高亮显示。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南na_0039: Simulink函数在图表块金宝app中的限制
JMAAB指南na_0039

检验MATLAB函数指标

检查身份证：mathworks.maab.himl_0003

显示复杂性和代码指标的MATLAB函数。报告度量违反。

描述

该检查提供了MATLAB函数的复杂度和代码度量。检查还会报告违反度量标准的情况。

结果表提供了违反复杂度输入参数的MATLAB函数的链接。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

此Model Advisor检查不适用于JMAAB建模指南。

这张支票不包括次支票

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB -不支持金宝app

要指定复杂度阈值，请使用模型顾问配置编辑器．

打开模型配置编辑器并搜索检查IDhiml_0003．
下输入参数中,选择检查模型中引用的.m文件属性包含文件．m分析中的扩展。
定义这些复杂性指标:
- 每个函数的最大有效代码行数为每个功能提供最多有效的代码行数。有效行不包括空行、注释行或带有函数的行结束关键字。
- 最小评论密度-提供最少密度的评论。密度是注释行与代码总行数的比率。
- 每个函数的最大圈复杂度-每个函数提供最大的圈复杂度。圈复杂度是通过源代码的线性独立路径的数量。
点击应用并保存配置。

结果和建议措施

条件

建议的行动

MATLAB函数违反了输入参数的复杂性。

MATLAB函数:

如果有效行数过高，进一步划分MATLAB函数。
如果注释密度太低，请添加注释行。
如果每个函数的圈复杂度过高，则进一步划分MATLAB函数。

能力和限制

在库模型上运行。
不分析库链接块的内容。
分析所有被屏蔽子系统中的内容。
允许排除块和图表。

另请参阅

马伯指南na_0016: MATLAB函数的源代码行
马伯指南na_0018:嵌套if/else和case语句的个数

检查MATLAB代码中的全局变量

检查身份证：mathworks.maab.na_0024

在MATLAB代码中检查全局变量。

描述

验证全局变量没有在以下任何情况下使用:

MATLAB代码中的MATLAB函数块
状态流程图中定义的MATLAB函数
叫做MATLAB函数

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件

建议的行动

全局变量用于以下一个或多个情况:

MATLAB代码中的MATLAB函数块
状态流程图中定义的MATLAB函数
叫做MATLAB函数

用信号线、函数参数或持久数据替换全局变量。

能力和限制

在库模型上运行。
不分析库链接块的内容。
分析所有被屏蔽子系统中的内容。
不允许排除块或图表。

另请参阅

马伯指南na_0024: MATLAB函数中的共享数据
JMAAB指南na_0024

检查枚举值的使用情况

检查身份证：mathworks.maab.na_0031

描述

在没有默认值规范的情况下标识模型中使用的枚举类。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
模型中的枚举类没有默认值规范。	确保模型中使用的枚举类具有getDefaultValue方法实现作为类的静态方法。

能力和限制

不能在库模型上运行。
不允许排除块和图表。
分析库链接块的内容。

另请参阅

马伯指南na_0031:默认枚举值的定义
JMAAB指南na_0031

检查MATLAB函数的输入输出设置

检查身份证：mathworks.maab.na_0034

识别具有具有继承复杂性或数据类型属性的输入、输出或参数的MATLAB函数。

描述

该检查识别具有继承复杂性或数据类型属性的MATLAB函数。一个结果表提供了未通过检查的MATLAB函数的链接，以及触发警告的条件。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件建议的行动

MATLAB函数具有继承接口。

为结果中确定的MATLAB函数的输入、输出和参数显式定义复杂度和数据类型属性。

如果适用，使用MATLAB函数块编辑器，对端口和数据管理器：

改变复杂性从继承了来在或从．
改变类型从继承:与Simulink相同金宝app到显式类型。
改变大小从1(继承)到显式大小。

能力和限制

在库模型上运行。
不分析库链接块的内容。
分析所有被屏蔽子系统中的内容。
允许排除块和图表。

另请参阅

马伯指南na_0034: MATLAB函数块输入输出设置
JMAAB指南na_0034

在MATLAB函数块中检查函数调用的数量

检查身份证：mathworks.maab.na_0017

描述

检查MATLAB函数块中的函数调用数量是否小于设置的阈值。缺省情况下，限制设置为3个。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

此Model Advisor检查不适用于JMAAB建模指南。

这张支票不包括次支票

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB -不支持金宝app

可以使用输入参数自定义函数调用级别阈值函数调用级别从模型顾问配置编辑器．

打开模型配置编辑器并搜索检查IDna_0017．
中设置的所需函数调用级别函数调用级别字段。
缺省情况下，该参数为3.．
点击应用并保存配置。

结果和建议措施

条件	建议的行动
MATLAB函数块中的函数调用数大于设置的阈值。缺省情况下，设置的阈值为3。可以使用输入参数修改设置的阈值函数调用级别在配置编辑器中。	将MATLAB函数块中的函数调用数量减少到小于设置的阈值。

能力和限制

递归函数调用只计算一次。
不分析内联类方法。
在库模型上运行。
允许排除块和图表。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．

另请参阅

马伯指南na_0017:被调用函数级别的个数

在MATLAB函数块内检查字符向量的使用情况

检查身份证：mathworks.maab.na_0021

检查字符向量的使用MATLAB函数块。

描述

中使用的字符向量MATLAB函数块。

MATLAB函数将字符串存储为字符数组。由于缺乏动态内存分配，数组不能调整大小以容纳不同长度的字符串值。字符串不是Simulink中支持的数金宝app据类型，所以金宝appMATLAB函数块不能在块外传递字符串数据。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
MATLAB函数块包含一个字符向量。	考虑使用枚举而不是字符向量。

能力和限制

在MATLAB中不标记字符串
不标记硬编码到类定义中的字符向量。
在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．

另请参阅

马伯指南na_0021: MATLAB函数中的字符串
JMAAB指南na_0021

检查Switch/Case语句的推荐模式的使用情况

检查身份证：mathworks.maab.na_0022

检查Switch/Case语句中是否使用了非常量变量。

描述

在生成的代码中，MATLAB函数块输入作为函数参数传递。该检查对生成代码中的Switch/Case语句进行评估，以确定Case参数中是否使用了非常量值。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

此Model Advisor检查不适用于JMAAB建模指南。

这张支票不包括次支票

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB -不支持金宝app

结果和建议措施

条件	建议的行动
Switch/Case语句中使用非常量变量。	考虑将输入变量定义为常量。

能力和限制

在库模型上运行。
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．
分析库链接块的内容。默认情况下，输入参数链接设置为在．

另请参阅

马伯指南:na_0022: Switch/Case语句的推荐模式

检查c风格注释符号的使用

检查身份证：mathworks.jmaab.jc_0801

描述

标识CGT文件和MPT对象中c风格(/*和*/)注释的使用。

可以使用金宝app仿真软件检查．

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
一个或多个实体使用c风格的注释。	考虑在CGT文件和MPT对象中删除c风格的注释。

能力和限制

不能在库模型上运行。
不分析库链接块的内容。
不分析被屏蔽子系统中的内容。
不允许排除块或图表。

另请参阅

马伯指南jc_0801:禁止使用/*和*/注释符号
JMAAB指南jc_0801

检查statflow中图形化函数的使用情况

检查身份证：mathworks.jmaab.jc_0804

描述

标识在图形函数内部进行的图形函数调用。

这张支票要求金宝app仿真软件检查和状态流许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
对图形函数的一个或多个调用在图形函数内部进行。	删除在图形化函数内部对图形化函数的调用。

能力和限制

不能在库模型上运行。
允许排除块或图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为所有．

另请参阅

jc_0804:禁止对图形函数使用递归调用
JMAAB指南jc_0804

在Simulink中检查是否被0除金宝app

检查身份证：mathworks.jmaab.jc_0794

描述

标识在Simulink中导致除零错误的除法操作。金宝app

这张支票要求金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
JMAAB - a

结果和建议措施

条件	建议的行动
执行除法的一个或多个块可能导致除零错误。	重构以避免零除错误。

能力和限制

不能在库模型上运行。
允许排除块或图表。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为图形化的．

另请参阅

马伯指南jc_0794: Simulink中的除法金宝app
JMAAB指南jc_0794

检查MATLAB函数中的代码行

检查身份证：mathworks.jmaab.na_0016

描述

识别具有大量有效代码行的MATLAB函数。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
不支持JMAAB金宝app

下输入参数中,选择检查模型中引用的外部.m文件属性包含文件．m分析中的扩展。

结果和建议措施

条件	建议的行动
一个或多个MATLAB函数有许多有效的代码行。	重构以减少每个MATLAB函数的有效代码行数。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为所有．
允许排除块或图表。

另请参阅

马伯指南na_0016: MATLAB函数的源代码行

在MATLAB函数中检查嵌套条件

检查身份证：mathworks.jmaab.na_0018

描述

检查变量子系统的输入/输出数量。

这张支票需要金宝app仿真软件检查许可证。

检查参数化

这个检查不包括子检查，因为MAB建模指南只提供了一个子ID。

作为参考，NA-MAAB和JMAAB建模标准组织推荐使用的MAB指南子ID如下:

NA-MAAB - a
不支持JMAAB金宝app

下输入参数中,选择检查模型中引用的外部.m文件属性包含文件．m分析中的扩展。

结果和建议措施

条件	建议的行动
一个或多个带有深度嵌套的if/else和case语句的MATLAB函数。	重构以减少深度嵌套的条件语句的数量。

能力和限制

在库模型上运行。
分析库链接块的内容。默认情况下，输入参数链接设置为在．
分析屏蔽子系统中的内容。默认情况下，输入参数戴上面具设置为所有．
允许排除块或图表。

另请参阅

马伯指南na_0018:嵌套if/else和case语句的个数