模型顾问检查马伯JMAAB合规,MATLAB仿真软件万博1manbetx - 万博1manbetx,s manbetx 845,万博尤文图斯

模型顾问检查马伯,JMAAB合规

建模标准马伯合规检查

您可以使用模型顾问检验遵从性的模型MathWorks^®顾问委员会(MAB)的指导方针。

一个万博1manbetx^®检查™许可证需要执行这些马伯检查。在适用情况下,额外的许可要求check-specific文档中识别。

在模型中访问检查顾问,明白了访问马伯JMAAB模型顾问检查。运行模式顾问检查,看看运行模式顾问检查和审查结果。

当执行检查通过按照任务文件夹,MAB检查分为以下组:

命名约定

检查验证模型的合规与马伯命名约定的指导方针。

有关更多信息,请参见建模准则和模型顾问检查马伯,JMAAB。

万博1manbetx

检查验证模型的合规与马伯指南仿真软件配置参数,外观图,信号,块一致性、条件子系统关系,操作模块和其他杂项块。万博1manbetx

有关更多信息,请参见建模准则和模型顾问检查马伯,JMAAB。

Stateflow

检查验证模型的合规与马伯Stateflow指南^®块/数据/事件、图条件转换/行动,标签描述和其他杂项组件。

有关更多信息,请参见建模准则和模型顾问检查马伯,JMAAB。

MATLAB

检查验证模型的合规与马伯指南MATLAB函数。

有关更多信息,请参见建模准则和模型顾问检查马伯,JMAAB。

建模标准JMAAB合规检查

您可以使用您的模型的验证模型顾问合规日本MATLAB^®汽车顾问委员会(JMAAB)的指导方针。

一个万博1manbetx仿真软件检查许可证需要执行这些JMAAB检查。在适用情况下,额外的许可要求check-specific文档中识别。

在模型中访问检查顾问,明白了访问马伯JMAAB模型顾问检查。运行模式顾问检查,看看运行模式顾问检查和审查结果。

当执行检查通过按照任务文件夹,JMAAB检查分为以下组:

命名约定

检查相关的命名约定。

有关更多信息,请参见建模准则和模型顾问检查马伯,JMAAB。

模型架构

检查验证模型与JMAAB模型架构的合规指南。

有关更多信息,请参见建模准则和模型顾问检查马伯,JMAAB。

模型配置选项

检查验证模型的合规与JMAAB配置选项的指导方针。

有关更多信息,请参见建模准则和模型顾问检查马伯,JMAAB。

万博1manbetx

检查验证模型的合规与JMAAB指南仿真软件模块和组件。万博1manbetx

有关更多信息,请参见建模准则和模型顾问检查马伯,JMAAB。

Stateflow

检查验证模型的合规与JMAAB指南Stateflow图表和组件。

有关更多信息,请参见建模准则和模型顾问检查马伯,JMAAB。

MATLAB函数

检查验证模型的合规与JMAAB指南MATLAB函数。

有关更多信息,请参见建模准则和模型顾问检查马伯,JMAAB。

检查文件名

检查身份证:mathworks.jmaab.ar_0001

描述

检查天气文件名符合指导标准。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票的ids子系统包含对应于sub-checks马伯和JMAAB建模中指定的指导方针。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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的道路。	使用独特的文件名。

功能和限制

这张支票可以配置为运行在隐藏文件夹通过选择输入参数检查隐藏的文件夹在模型中顾问配置编辑器。
这个检查可以检查配置文件的名称与特定的扩展的输入参数文件扩展名在模型中顾问配置编辑器。
检查没有国旗与c++关键字冲突。
运行库模型。

另请参阅

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

检查文件夹名称

检查身份证:mathworks.jmaab.ar_0002

描述

检查文件夹名称符合指导标准。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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保留字作为文件夹名称。

功能和限制

这个检查可以检查配置文件的名称与特定的扩展的输入参数文件扩展名在模型中顾问配置编辑器。
这张支票可以配置为运行在隐藏文件夹通过选择输入参数检查隐藏的文件夹在模型中顾问配置编辑器。
运行库模型。
这张支票还运行在嵌套的子目录。

另请参阅

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

检查文件名的长度模型

检查身份证:mathworks.jmaab.jc_0241

描述

检查模型的文件名长度坚持63个字符的最大长度限制。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

您可以配置以下输入参数来定制检查:

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

结果和建议措施

条件	建议的行动
模型文件名称不坚持63个字符的长度限制。	修改模型文件的名字,文件名的长度不超过63个字符。

另请参阅

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

各级检查文件夹名称的长度的路径模型

检查身份证:mathworks.jmaab.jc_0242

描述

各级检查文件夹名称的长度模型的路径,看看所有的文件夹路径坚持63个字符的最大长度限制。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

您可以配置以下输入参数来定制检查:

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

结果和建议措施

条件	建议的行动
文件夹名称的长度在每一个层次模型的路径不坚持63个字符的长度限制。	修改文件夹名称不符合整个路径长度限制为63个字符。

另请参阅

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

检查子系统名称

检查身份证:mathworks.jmaab.jc_0201

描述

识别子系统名称与不正确的字符。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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保留字作为子系统名称。

功能和限制

这张支票是只适用于非虚拟子系统。如果你想运行这个检查虚拟子系统,选择输入参数检查虚拟子系统从模型顾问配置编辑器。
运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
万博1manbetx支持排除块或图表。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

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

校验字符块中使用的名字

检查身份证:mathworks.jmaab.jc_0231

描述

标识用不正确的字符块的名字。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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词块的名字。

功能和限制

万博1manbetx支持选择指南子id。
运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
万博1manbetx支持排除块或图表。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

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

检查端口块名称

检查身份证:mathworks.jmaab.jc_0211

描述

标识尺寸或外港块名称与不正确的字符。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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保留字作为港口块名称。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
万博1manbetx支持排除块或图表。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

马伯指南jc_0211:可用字符轮廓尺寸块和外港
JMAAB指南jc_0211

检查子系统名称的长度

检查身份证:mathworks.jmaab.jc_0243

描述

检查子系统名称的长度在模型中坚持63个字符的最大长度限制。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

您可以配置以下输入参数来定制检查:

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

结果和建议措施

条件	建议的行动
子系统名称在模型中不坚持63个字符的长度限制。	修改子系统块名称,以便子系统名称的长度不超过63个字符。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

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

检查块名称的长度

检查身份证:mathworks.jmaab.jc_0247

描述

检查块的长度的名字在模型中坚持63个字符的最大长度限制。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

您可以配置以下输入参数来定制检查:

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

结果和建议措施

条件	建议的行动
块名称在模型中不坚持63个字符的长度限制。	修改块名称,以便阻止名称的长度不超过63个字符。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

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

检查尺寸和输出港名称的长度

检查身份证:mathworks.jmaab.jc_0244

描述

检查的长度尺寸和输出港名称坚持63个字符的最大长度限制。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

您可以配置以下输入参数来定制检查:

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

结果和建议措施

条件	建议的行动
模型中轮廓尺寸或外港块名称不坚持63个字符的长度限制。	修改尺寸或外港块名称,以便阻止名称的长度不超过63个字符。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

马伯指南jc_0244:长度限制尺寸和外港的名字
JMAAB指南jc_0244

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

检查身份证:mathworks.jmaab.jc_0222

描述

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

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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保留字作为信号或总线名称。

功能和限制

运行库模型。
允许排除块和图表。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。

另请参阅

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

检查可用的参数名称的字符

检查身份证:mathworks.jmaab.jc_0232

描述

检查模型中的参数名称。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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词作为参数的名称。

功能和限制

分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
万博1manbetx支持排除块或图表。

另请参阅

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

检查信号和总线名称的长度

检查身份证:mathworks.jmaab.jc_0245

描述

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

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

您可以配置以下输入参数来定制检查:

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

结果和建议措施

条件	建议的行动
信号或总线名称在模型中不坚持63个字符的长度限制。	修改模型中的信号或总线名称这名字的长度不超过63个字符。

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

另请参阅

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

检查参数名称的长度

检查身份证:mathworks.jmaab.jc_0246

描述

检查模型中的参数名称的长度坚持63个字符的最大长度限制。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

您可以配置自定义检查以下参数:

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

结果和建议措施

条件	建议的行动
模型中的参数名称不坚持63个字符的长度限制。	修改参数名称,参数名称的长度不超过63个字符。

功能和限制

分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
不支持排除块或图表万博1manbetx。

另请参阅

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

检查可用的字符Stateflow数据名称

检查身份证:mathworks.jmaab.jc_0795

描述

检查Stateflow数据名称在模型中使用的是可接受的字符。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南sub-ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

结果和建议措施

指导子ID	条件	建议的行动
jc_0795_a:下划线开头	Stateflow数据名称始于一个下划线(“_”)。	重命名Stateflow数据。
jc_0795_b:最后强调	Stateflow数据名称以一个下划线(“_”)。	重命名Stateflow数据。
连续jc_0795_c:强调	连续强调Stateflow数据的名字了。	重命名Stateflow数据。
jc_0795_d:单保留MATLAB的词	Stateflow数据名字仅仅是一个保留MATLAB的词。	考虑为Stateflow数据使用一个不同的名称。

功能和限制

JMAAB指南,版本5.1的限制:这张支票没有国旗Stateflow数据名称和下划线开头的名字。(子ID: a)
运行库模型。
允许排除图表。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。

另请参阅

马伯指南jc_0795:可用字符Stateflow数据名称
JMAAB指南jc_0795

检查Stateflow数据名称的长度

检查身份证:mathworks.jmaab.jc_0796

描述

检查如果Stateflow数据名称的长度在63个字符的限制。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

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

打开模型配置编辑器和搜索检查身份证jc_0796。
从标准下拉,选择自定义。
输入所需的最大长度来设置的最大长度字段。
点击应用并保存配置。

结果和建议措施

条件	建议的行动
Stateflow数据名称的长度在63个字符的限制。	考虑使用一个不同的名称为每个Stateflow数据名称。

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除图表。
分析内容块相关的库。

另请参阅

马伯指南jc_0796: Stateflow数据名称长度限制
JMAAB指南jc_0796

检查模型数据的重复名称万博1manbetx

检查身份证:mathworks.jmaab.jc_0791

描述

检查数据的重复定义的名字。万博1manbetx仿真软件在基本工作空间数据名称必须是唯一的,模型空间和数据字典。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南sub-ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

结果和建议措施

指导子ID	条件	建议的行动
jc_0791_a:检查重复数据的名字在基本工作空间和工作空间模型	万博1manbetx模型数据名称在基地工作空间和模型工作空间并不是唯一的。	重命名重复数据名称基工作区或模型的工作区。
jc_0791_b:检查重复数据名称在基地工作空间和数据字典	万博1manbetx模型数据跨基地名称不唯一的工作空间和数据字典。	重命名重复数据名称基工作区或数据字典。
jc_0791_c:检查重复数据名称在模型空间和数据字典	万博1manbetx模型数据名称并不是唯一的跨模型空间和数据字典。	重命名模型中的重复数据名称工作区或数据字典。

功能和限制

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

另请参阅

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

检查未使用的数据在仿真软件模型万博1manbetx

检查身份证:mathworks.jmaab.jc_0792

描述

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

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南sub-ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

结果和建议措施

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

功能和限制

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

另请参阅

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

在Stateflow检查未使用的数据图表

检查身份证:mathworks.jmaab.jc_0700

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

描述

确定如果参数未使用的数据、事件、消息和函数被设置为没有一个。未使用的数据和事件不能存在于Stateflow块。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
Stateflow块的参数未使用的数据、事件、消息和函数被设置为没有一个。	确保设置参数警告或错误。

功能和限制

运行库模型。

另请参阅

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

检查变量名称的使用限制

检查身份证:mathworks.maab.na_0019

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

描述

中确定的变量名称MATLAB函数块与C和c++保留关键字冲突。保留关键字的完整列表,请参阅保留关键字(万博1manbetx仿真软件编码器)。

避免使用变量名与MATLAB函数发生冲突,比如 conv。

这张支票是不区分大小写。例如,检查旗帜关键词真正的,真正的,真正的,真正的。

这张支票需要万博1manbetx仿真软件检查许可证。

结果和建议措施

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

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南na_0019:限制变量的名字

检查实现逻辑信号布尔数据(比双)

检查身份证:mathworks.maab.jc_0011

检查布尔数据类型的优化参数。

描述

布尔数据类型的优化是必需的。

这张支票需要万博1manbetx仿真软件检查许可证。

请注意

这个检查先决条件马伯指南na_0002:适当的使用基本的逻辑和数值操作。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
配置设置实现逻辑信号布尔数据(与双)没有设置。	选择实现逻辑信号布尔数据(与双)复选框的配置参数对话框。

功能和限制

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

另请参阅

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

检查签署整数除法的舍入模式

检查身份证:mathworks.jmaab.jc_0642

描述

识别模块的参数整数舍入模式被设置为简单的当配置参数带符号整数除法轮被设置为未定义的。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
如果参数整数舍入模式将上市块简单的当参数带符号整数除法轮被设置为未定义的。	设置参数带符号整数除法轮一个值描述的舍入行为目标或改变你的生产整数舍入模式上市街区以外的一个值简单的。

功能和限制

分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

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

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

检查身份证:mathworks.jmaab.jc_0806

描述

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

这张支票需要万博1manbetx仿真软件检查许可证。

结果和建议措施

条件	建议的行动
模型配置参数除奇异矩阵(CheckMatrixSingularityMsg)没有设置错误。	设置输入参数值错误。
模型配置参数正或南块输出(SignalInfNanChecking)没有设置错误。	设置输入参数值错误。
模型配置参数包装上溢出(IntegerOverflowMsg)没有设置错误。	设置输入参数值错误。
模型配置参数浸透在溢出(IntegerSaturationMsg)没有设置错误。	设置输入参数值错误。

另请参阅

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

检查模型的诊断参数

检查身份证:mathworks.maab.jc_0021

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

描述

顾问检查这些诊断模型中定义的配置参数设置为下面的结果和推荐操作部分:

代数循环
多任务速度过渡
最小化代数循环
正或南块输出
重复的数据存储名称
独立块输入端口
无关联的块输出端口
未连接的线
未指明的巴士在根外港块对象
元素名称不匹配

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这个模型顾问检查不适用JMAAB建模指南。

这张支票不包括sub-checks。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——不支持万博1manbetx

结果和建议措施

条件	建议的行动
代数循环被设置为`没有一个`。	集代数循环来`错误`或`警告`。否则,模型可能试图打破万博1manbetx代数自动循环,从而影响块的执行顺序。
最小化代数循环被设置为`没有一个`。	集最小化代数循环来`错误`或`警告`。否则,模型可能试图打破万博1manbetx代数自动循环供参考模型和原子子系统,从而影响这些模型或子系统的执行顺序。
正或南块输出被设置为`没有一个`	集正或南块输出来`错误`或`警告`。否则,数值异常发生在生成的代码
重复的数据存储名称被设置为`没有一个`。	集重复的数据存储名称来`错误`或`警告`。否则,非唯一变量名在生成的代码中存在。
独立块输入端口被设置为`没有一个`。	集独立块输入端口来`错误`或`警告`。否则,代码不能被生成。
无关联的块输出端口被设置为`没有一个`。	集无关联的块输出端口来`错误`或`警告`。否则,死代码的结果。
未连接的线被设置为`没有一个`。	集未连接的线来`错误`或`警告`。否则,代码不能被生成。
未指明的巴士在根外港块对象被设置为`没有一个`。	集未指明的巴士在根外港块对象来`错误`或`警告`。否则,结果是一个未指明的界面时,模型引用来自另一个模型。
元素名称不匹配被设置为`没有一个`。	集元素名称不匹配来`错误`或`警告`。否则,结果是一个意想不到的接口在生成的代码中。

功能和限制

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

另请参阅

马伯指南jc_0021:模型诊断设置

使用非标准显示属性检万博1manbetx查模型图

检查身份证:mathworks.maab.na_0004

检查模型外观设置属性。

描述

模型外观设置必须符合当模型发布的指导方针。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

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

行动的结果

点击修改更新显示属性符合指南。

功能和限制

不上运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析内容没有工作区和对话框。默认情况下,输入参数看下面具被设置为图形化的。
块不允许排除或图表。

另请参阅

马伯指南:na_0004:仿万博1manbetx真软件模型外观设置
JMAAB指南:na_0004

检查模型的字体设置

检查身份证:mathworks.jmaab.db_0043

描述

检查不同的字体和字体大小。

可以使用万博1manbetx仿真软件检查。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

自定义文本元素在你的模型中,使用模型顾问配置编辑器。

打开模型配置编辑器和搜索检查身份证db_0043。
使用列表下输入参数自定义字体元素在仿真软件模型和Stateflow图表。万博1manbetx注意,当您选择默认的检查标志不同的字体/风格/尺寸在你的模型中使用。
点击应用并保存配置。

结果和建议措施

指导子ID	条件	建议的行动
db_0043_a:检查字体和字体样式在仿真软件和信号名称万博1manbetx	字体设置一个或多个仿真软件模块或信号与输入参数名称不同。万博1manbetx	更改字体设置块根据输入参数和信号名称。
db_0043_b:检查字体大小在仿真软件和信号名称万博1manbetx	字体设置一个或多个仿真软件模块或信号与输入参数名称不同。万博1manbetx	改变字体大小的块根据输入参数和信号名称。
在Stateflow db_0043_c:检查字体和字体样式对象	字体设置一个或多个Stateflow对象不同于输入参数。	更改字体设置的Stateflow对象作为输入参数。
db_0043_d:检查字体大小在Stateflow对象	字体设置一个或多个Stateflow对象不同于输入参数。	改变字体大小的Stateflow对象作为输入参数。

功能和限制

运行库模型。
不分析内容块相关的库。
在蒙面子系统分析内容没有工作区和对话框。
允许排除块和图表。

行动的结果

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

对于输入参数,如果你指定常见的,点击修改所有的字体改变文本的字体和字体大小元素模型中最常用的字体、字体大小、字体风格。

另请参阅

检查块的名字是否出现下面的块

检查身份证:mathworks.maab.db_0142

检查块的名字是否出现下面的块。

描述

如果所示,块应该出现在块的名称。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
块名称,不会出现以下块。	组块的名称出现在街区。

功能和限制

运行库模型。
分析内容块相关的库。
在所有蒙面子系统分析内容。
允许排除块和图表。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

马伯指南db_0142:块的位置名称在仿真软件文档万博1manbetx。
JMAAB指南db_0142

检查块的显示属性的名字

检查身份证:mathworks.maab.jc_0061

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

描述

显示一块或子系统的名称时,它提供了一个描述,用于识别功能。

否则,当一个块的功能很容易识别的视觉外观,不显示名字。这些模块包括:

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

自定义模块和面具,在分析检查,使用模型顾问配置编辑器。

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

结果和建议措施

条件	建议的行动
的名字是块和明显的显示外观。	通过选择隐藏块的名字格式>隐藏自动闭塞的名字。
不是描述性的名称。具体来说,块的名字是: 不明显的块的外观。默认名称附加一个整数。	块名称修改为提供描述性信息,通过选择或隐藏块的名字格式>隐藏自动闭塞的名字。
的名字是描述性的,而不是显示。描述性的名字是: 提供块不明显的块的外观。不是一个缺省名称附加一个整数。	修改模块显示块的名字通过取消勾选格式>隐藏自动闭塞的名字。
检查不评价我的自定义块和面具。	使用模型配置编辑器添加您的自定义检查和块。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

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

检查默认的属性

检查身份证:mathworks.maab.db_0140

确定使用默认的参数值块的块并不显示在模型图。

描述

模型图应该显示块参数的值默认值。显示这些信息的方法之一是通过使用块注释选项卡中块属性对话框。

块参数默认值的列表,请参阅屏蔽一些参数

提示

如果你使用add_block函数与“内置/blocktype”作为模型的源块路径名内置模块,一些默认参数值块不同于默认值,如果万博1manbetx你添加那些块通过使用仿真软件交互。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

自定义默认的块参数检查,使用模型顾问配置编辑器。

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

结果和建议措施

条件	建议的行动
默认值以外的块参数的值,和模型中的值不显示。	在块属性对话框中,使用块注释选项卡添加块参数注释。

行动的结果

您可以使用默认的值添加到块注释按钮添加一个注释块显示指定了默认的块参数标记的分析。重新运行检查;块不再是标记。

功能和限制

只可定制的参数IntrinsicDialogParameters。看到常见的块属性
运行库模型。
分析内容块相关的库。
在蒙面子系统分析内容没有工作区和对话框。
允许排除块和图表。

另请参阅

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

检查模型描述

检查身份证:mathworks.jmaab.jc_0603

描述

识别层的模型不一致的描述格式的模型元素:

注释
模型信息块
DocBlock块

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB - a, b

您可以选择描述块类型和配置的描述标签描述块类型和描述标签输入参数。的格式描述标签应该用逗号分隔的字符串类型标签。

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

例如,考虑到默认值(输出:输入:描述:),每个层的模型应该描述格式如下:

输入:<输入信息>

描述:<模型描述>

输出:<输出信息>

结果和建议措施

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

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
万博1manbetx支持排除块或图表。

另请参阅

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

在模型中检查是否块阴影

检查身份证:mathworks.jmaab.jc_0604

描述

检查模型中如果使用块阴影。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

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

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

另请参阅

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

检查信号无关的线条和块

检查身份证:mathworks.jmaab.db_0081

检查模型是否有无关的输入端口、输出端口,或信号线路。

描述

无关联的块和线应该连接到信号《终结者》或地面块。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

结果和建议措施

指导子ID	条件	建议的行动
db_0081_a:检查线路无关的信号	模型中的一个或多个信号线路没有连接。	信号线路连接到正确的源或目标。如果不知道目的地的块,使用《终结者》或地面块终止。
db_0081_b:检查无关联的子系统和基本块	模型中的一个或多个块不连接。	块连接到正确的源或目标。如果不知道目的地的块,使用《终结者》或地面块终止。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

马伯指南db_0081:无关的信号和块
JMAAB指南db_0081

检查信号线的连接

检查身份证:mathworks.jmaab.db_0032

描述

检查模型信号交叉和重叠遵守建万博1manbetx议的指导方针。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

请注意

Subchecks db_0032_a1、db_0032_b db_0032_c、db_0032_d db_0032_e默认是选中的。

输入参数信号跨越阈值(%)合金您设置一个条件失败检查是否设置阈值。信号跨越阈值信号侵犯的总数的比例信号线路模型。

例子:

如果信号跨越阈值(%)设置为50%,那么检查只会失败时的违规穿越的信号线路总数的50%框图。

如果信号跨越阈值(%)设置为0%,任何违反将导致检查失败而阈值为100%,所有信号线路模型必须违反准则检查失败。

结果和建议措施

指导子ID	条件	建议的行动
db_0032_a1:检查信号交叉口	万博1manbetx仿真软件信号彼此相交。	确保信号不会互相交叉。
db_0032_a2:检查如果线交叉样式设置为“跳线”	线穿越风格偏好没有设置为“跳线”。	设置行穿越风格偏好“跳线”。
db_0032_b:检查信号重叠	万博1manbetx仿真软件信号互相重叠。	确保信号不会互相重叠。
db_0032_c:检查信号是否相交块> < /条目	万博1manbetx画在一块仿真软件仿真软件信号。	确保信号并不在任何仿真软件模块。万博1manbetx
db_0032_d:检查信号线路分成多个不同等级	信号线路分成多个不同等级。	复位信号线路的信号,以避免分裂。
db_0032_e:检查信号是否被描绘成倾斜的线条	信号则被描绘成倾斜的线路图。	确保垂直或水平线条画出信号。

功能和限制

信号跳的偏好。
块标签重叠不分析。
万博1manbetx仿真软件信号分成两个以上的信号被认为是在一个分支。
运行库模型。
允许排除子系统。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

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

检查信号流模型

检查身份证:mathworks.maab.db_0141

描述

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

这张支票需要万博1manbetx仿真软件检查许可证。

结果和建议措施

条件	建议的行动
块的放置在子系统是扭曲的。	确保提到子系统中的信号流从左到右。所有连续的块,除了块反馈路径,必须从左到右放置。所有块,除了块反馈路径,应该面向正确的。
一个或多个组块不是从上到下排列。	安排组块从上到下垂直或子系统。

条件

建议的行动

块的放置在子系统是扭曲的。

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

所有连续的块,除了块反馈路径,必须从左到右放置。

所有块,除了块反馈路径,应该面向正确的。

一个或多个组块不是从上到下排列。

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

功能和限制

这张支票不验证条件准则sub-id C。
运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

马伯指南db_0141:信号流在仿真软件模型万博1manbetx
JMAAB指南db_0141

检查使用的可调参数

检查身份证:mathworks.maab.db_0110

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

描述

参数可调,你必须进入基本块不使用MATLAB计算或脚本。例如,省略:

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

万博1manbetx支持模块包括:

可以使用万博1manbetx仿真软件检查。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
块有一个可调参数,指定一个表达式,数据类型转换或索引操作。	在每种情况下,移动计算外块,例如,通过执行一系列的计算模型块,或预计算值作为一个新的变量。万博1manbetx

功能和限制

运行库模型。
分析内容块相关的库。
在所有蒙面子系统分析内容。
不评价面具参数。
允许排除块和图表。

另请参阅

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

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

检查身份证:mathworks.jmaab.jc_0171

描述

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

这张支票识别子系统彼此连接使用转到和从在前馈和反馈回路,没有为每个方向至少有一个信号线。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB - a, b

结果和建议措施

指导子ID	条件	建议的行动
jc_0171_a:检查结构子系统之间的直接连接	一个或多个结构子系统之间没有直接的联系。	考虑上市子系统之间的至少一个直接连接在给定的方向(子系统1到子系统2)除了记忆,延迟和公交创造者/选择器模块。
jc_0171_b:检查未使用的输入子系统内部结构	一个或多个结构子系统有未使用的输入。	考虑删除未使用的输入子系统内部的结构。减少不必要的连接的数量使连接关系更加清晰。

功能和限制

检查允许连接的引用与在另一个子系统子系统。
运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

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

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

检查身份证:mathworks.jmaab.jc_0602

描述

检查模型元素连接到一个信号一致的命名。

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

轮廓尺寸块的名字
外港块的名字
结构子系统输入端口标签名称
结构子系统输出端口标签的名字
从标记名称
Goto标签名
线信号的名字

例外1的名字:信号线连接到下面的一个子系统可以有一个不同的名称的子系统端口标签名称:

可重用的子系统
子系统与一个图书馆

例外2:如果尺寸块的组合,外港块,和其他模块有相同的块名称、使用后缀或前缀一致的命名的轮廓尺寸和外港块。这可以通过模型配置顾问配置编辑器。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

您可以配置自定义检查以下参数:

输入参数	价值
一致的命名格式的组合尺寸和外港块	前缀(< Prefix_tag > < Signal_name > < >序列)或后缀(< Signal_name > <序列> < Suffix_tag >)
港口的前缀/后缀标记	IN_(默认值,可以配置)
前缀/后缀外港的标签	OUT_(默认值,可以配置)

结果和建议措施

条件	建议的行动
一个或多个模型元素是不一致的与连接信号名称。	考虑重命名偏离模型元素匹配的信号名称或与轮廓尺寸/外港块是一致的。

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块或图表。

另请参阅

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

检查触发信号名称

检查身份证:mathworks.jmaab.jc_0281

描述

确定触发块触发信号的来源和目的地有不同的名称。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB - a1 / a2、a3、a4, b1 / b2和b3 / b4

请注意

Sub-checks jc_0281_a1和jc_0281_b1默认选中。

结果和建议措施

指导子ID	条件	建议的行动
jc_0281_a1:检查触发信号的来源和条件输入块	块的名称在触发信号的来源和条件输入块的名字在目的地是不同的。	块的名称在触发信号的来源和条件输入块的名字在目的地必须包括相同的名称。
jc_0281_a2:检查触发信号的名称和条件子系统	块的名称在触发信号的来源和条件子系统名称在目的地是不同的。	块的名称在触发信号的来源和条件子系统名称在目的地必须包括相同的名称。
jc_0281_a3:检查触发信号的来源和条件输入块	触发信号的名称和条件输入块的名字在目的地是不同的。	触发信号的名称和条件输入块的名字在目的地必须包括相同的名称。
jc_0281_a4:检查触发信号的名称和条件子系统	触发信号的名称和条件子系统名称在目的地必须包括相同的名称。	触发信号的名称和条件子系统名称在目的地是不同的。
jc_0281_b1:检查触发信号的起源和Stateflow块事件	块的名称在触发信号的起源和Stateflow块事件在目的地名称是不同的。	块的名称在原点的触发信号和Stateflow块事件名称在目的地必须包括相同的名称。
jc_0281_b2:检查触发信号的起源和图表的名称	块的名称在触发信号的来源和目的地的图表名称是不同的。	块的名称在触发信号和表名称的起源在目的地必须包括相同的名称。
jc_0281_b3:检查触发信号和Stateflow块事件的名称	触发信号的名称和Stateflow块事件名称在目的地是不同的。	触发信号的名称和Stateflow块事件名称在目的地必须包括相同的名称。
jc_0281_b4:检查触发信号和图表的名称	触发信号和表名称的名称在目的地是不同的。	触发信号和表名称的名称在目的地必须包括相同的名称。

功能和限制

这张支票的旗帜触发和启用块名称。
运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
万博1manbetx支持排除块或图表。

另请参阅

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

检查搅拌基本模块和子系统

检查身份证:mathworks.maab.db_0143

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

描述

你必须设计一个模型的每一层相同类型的构建块,例如,只有子系统或原始(基本)块。如果你面具子系统和MaskType设置为一个非空的字符串,顾问将子系统模型作为基本块。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

自定义模块和面具,在分析检查,使用模型顾问配置编辑器。

打开模型配置编辑器和搜索检查身份证db_0143。
下输入参数中,选择自定义从标准列表。
在治疗blocktype列表列表中,选择允许包括块/分析或面具禁止从分析排除块/面具。
使用块类型列表表删除或添加一块面具和/或类型。
点击应用并保存配置。

结果和建议措施

条件	建议的行动
水平的阻塞和原始模型包括子系统。	nonvirtual块转移到子系统。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为所有。
允许排除块和图表。

另请参阅

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

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

检查身份证:mathworks.jmaab.jc_0653

描述

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

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
延迟块放置在反馈回路中子系统。	延迟块在反馈回路必须在父母的子系统。

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

另请参阅

马伯指南在反馈回路jc_0653:延迟块布局
JMAAB指南jc_0653

检查禁止沉块

检查身份证:mathworks.maab.hd_0001

检查禁止模型沉块。万博1manbetx

描述

你必须设计控制器模型从离散的块。水槽街区,如范围块,不允许控制器模型。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这个模型顾问检查不适用JMAAB建模指南。

这张支票不包括sub-checks

供参考,MAB指南sub-ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——不支持万博1manbetx

自定义模块和面具,在分析检查,使用模型顾问配置编辑器。

打开模型配置编辑器和搜索检查身份证hd_0001。
下输入参数中,选择自定义从标准列表。
在治疗blocktype列表列表中,选择允许包括块/分析或面具禁止从分析排除块/面具。
使用块类型列表表删除或添加一块面具和/或类型。
点击应用并保存配置。

结果和建议措施

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

功能和限制

运行库模型。
分析内容块相关的库。
在所有蒙面子系统分析内容。
允许排除块和图表。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

马伯指南:hd_0001:禁止仿真软件下沉万博1manbetx

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

检查身份证:mathworks.jmaab.na_0010

使用公共汽车和检查Mux块。

描述

这张支票验证使用公共汽车和Mux块。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票的ids子系统包含对应于sub-checks马伯和JMAAB建模中指定的指导方针。您可以使用模型顾问配置编辑器指定哪个ids子系统(一个或多个)来执行。

供参考,MAB指南sub-ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB - a, b, c, d

结果和建议措施

指导子ID	条件	建议的行动
na_0010_a:检查使用Mux和多路分配器块	Mux和多路分配器块不是用于生成和分解向量。	使用Mux和多路分配器块生成和分解向量分别。
na_0010_b:检查输入Mux块	Mux块输入非标量或矢量。	只使用标量或矢量信号作为输入Mux块。
na_0010_c:检查总线信号视为向量	一个或多个配置参数设置不当。	将配置参数设置为推荐值。
na_0010_d:检查使用的总线信号	不支持一个或多个块用于总线信号。万博1manbetx	使用公共汽车只有bus-supported块。万博1manbetx

功能和限制

检查没有国旗当块以外的多路分配器和Mux用于生成或分解一个向量。例如,选择器块代替多路分配器或一个向量连接代替Mux块。(子ID: a)
这张支票支持汽车修复机万博1manbetx制,您现在可以点击修改按钮来修复错误显示在报告中。
不上运行库模型。
允许排除块或图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

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

检查信号线标签

检查身份证:mathworks.jmaab.jc_0008

检查标签信号线路。

描述

使用一个标签来识别:

信号来自下面的块(block图标下面异常指出适用于所有块上市,除了轮廓尺寸,总线选择器,多路分配器,选择器):
- 总线选择器块(工具部队标签)
- 图表块(Stateflow)
- 常数块
- 数据存储读取块
- 多路分配器块
- 从块
- 轮廓尺寸块
- 选择器块
- 子系统块
异常块图标

如果一个信号标签显示的是可见的原始块的图标,你不需要显示一个标签所需的连接信号,除非信号标签是其他地方由于规则信号目的地。
信号连接到下列目的地之一块(直接或间接地与一个基本块,它执行一个操作,不改变):
- 总线选择器块(工具部队标签)
- 图表块(Stateflow)
- 数据存储写块
- 转到块
- Mux块
- 外港块
- 子系统块
任何感兴趣的信号。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

自定义块类型的列表来检查输出信号标签和组块类型检查输入信号标签使用模型顾问配置编辑器。

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

结果和建议措施

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

功能和限制

运行库模型。
分析内容块相关的库。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许除外。

另请参阅

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

检查标签传播信号

检查身份证:mathworks.jmaab.jc_0009

检查标签信号传播。

描述

你应该从源头传播信号标签而不是输入信号标签明确(手动)如果信号来源于:

一个轮廓尺寸在一个嵌套块子系统。然而,如果嵌套子系统子系统是一个库,可以显式地标签信号来自轮廓尺寸块,以适应图书馆块的重用。
一个执行non-transformative操作的基本块。
一个子系统或Stateflow图表块。然而,如果连接来源于图书馆的实例块的输出,您可以显式标签信号,以适应图书馆块的重用。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB - a, b

结果和建议措施

指导子ID	条件	建议的行动
jc_0009_a:检查信号名称传播子系统	模型包括子系统没有传播信号标签。	通过选择添加标签,使信号传播显示信号传播参数的信号。
	一个或多个子系统模型中显示空的信号传播。	禁用un-selecting信号传播显示信号传播参数,或者如果需要,添加一个新的标签。
	一个或多个子系统模型中不显示信号,但信号传播的名字。	通过选择删除标签,使信号传播显示信号传播参数的信号。
jc_0009_b:检查信号名称传播连接块	模型中的一个或多个连接块不传播信号即使源数据块被标签。	通过选择允许信号传播显示信号传播参数的信号。
	模型中的一个或多个连接块显示空的信号传播。	禁用un-selecting信号传播显示信号传播参数,或者如果需要,添加一个新的标签。
	模型中的一个或多个连接块不显示信号,但信号传播的名字。	通过选择删除标签,使信号传播显示信号传播参数的信号。

功能和限制

不上运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许除外。

另请参阅

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

检查标签的位置信号

检查身份证:mathworks.jmaab.db_0097

确定信号信号标签放置不当和公共汽车。

描述

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

结果和建议措施

指导子ID	条件	建议的行动
db_0097_a:检查重叠信号标签	模型中的一个或多个信号有标签,其他对象重叠。	信号标签,以便它是可读的。
db_0097_b:检查标签的位置信号	在模型中有一个或多个信号标签放置在顶部的信号。	信号标签下面信号线路。
db_0097_c:检查标签的位置信号	模型中的一个或多个信号没有标签位于信号线的起源。	位置信号的信号标签在原点。

功能和限制

检查当前地址的修改行动这个问题通过改变位置和校正信号的翻转格式标签。这一行动将不会修改的位置信号正确的标签信号的重叠。
运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析所有蒙面文件中的内容。
万博1manbetx支持除外的块或图表。

另请参阅

马伯指南db_0097:标签的位置信号和公共汽车
JMAAB指南db_0097

检查信号线标签

检查身份证:mathworks.maab.na_0008

检查标签信号线路。

描述

使用一个标签来识别:

信号来自下面的块(block图标下面异常指出适用于所有块上市,除了轮廓尺寸,总线选择器,多路分配器,选择器):
- 总线选择器块(工具部队标签)
- 图表块(Stateflow)
- 常数块
- 数据存储读取块
- 多路分配器块
- 从块
- 轮廓尺寸块
- 选择器块
- 子系统块
异常块图标

如果一个信号标签显示的是可见的原始块的图标,你不需要显示一个标签所需的连接信号,除非信号标签是其他地方由于规则信号目的地。
信号连接到下列目的地之一块(直接或间接地与一个基本块,它执行一个操作,不改变):
- 总线选择器块(工具部队标签)
- 图表块(Stateflow)
- 数据存储写块
- 转到块
- Mux块
- 外港块
- 子系统块
任何感兴趣的信号。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

自定义的块和面具检查,使用模型顾问配置编辑器。

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

结果和建议措施

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

功能和限制

运行库模型。
允许排除块或图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南:na_0008:显示标签的信号
信号名称和标签。

检查标签传播信号

检查身份证:mathworks.maab.na_0009

描述

检查标签信号传播。

你应该从源头传播信号标签而不是输入信号标签明确(手动)如果信号来源于:

一个轮廓尺寸在一个嵌套块子系统。然而,如果嵌套子系统子系统是一个库,可以显式地标签信号来自轮廓尺寸块,以适应图书馆块的重用。
一个执行non-transformative操作的基本块(这些块的输出数据类型是相同的输入)。
一个子系统或Stateflow图表块。然而,如果连接来源于图书馆的实例块的输出,您可以显式标签信号,以适应图书馆块的重用。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这个模型顾问检查不适用JMAAB建模指南。

这张支票不包括sub-checks

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——不支持万博1manbetx

结果和建议措施

条件	建议的行动
模型包括信号输入明确的标签,但应该传播。	使用开放尖括号(<)标签字符标记信号,应该显式地传播和删除输入的标签。

功能和限制

这张支票不应该运行在AUTOSAR的模型。

不上运行库模型。
在蒙面子系统分析内容没有工作区和对话框。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块或图表。

另请参阅

马伯指南:na_0009:条目与传播的信号标签
信号名称和标签。

检查块方向

检查身份证:mathworks.jmaab.jc_0110

检查模块和改变方向。

描述

标识块逆转或旋转方向。这个检查排除单位延迟或延迟块。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

条件	建议的行动
一些模型中块旋转或逆转方向。	翻转或旋转这些面向正确的块。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

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

检查索引模式

检查身份证:mathworks.jmaab.db_0112

描述

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

块0或1建立索引:

赋值
ForIterator
找到
MultiPortSwitch
选择器

块用默认1建立索引:

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

请注意

图,当行动将MATLAB语言,它基于1的索引。当行动语言设置为C基于0的索引。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

请注意

Sub-check db_0112_a1作为默认选择

结果和建议措施

指导子ID	条件	建议的行动
db_0112_a1:检查从零开始的索引模式	模型中的一个或多个块或图表从索引模式或指定索引模式。	考虑装修使用从零开始的索引。
db_0112_a2:检查从索引模式。	模型中的一个或多个块或图表有从零开始的索引模式或指定索引模式。	通过使用从索引考虑重构。

功能和限制

运行库模型。
允许除外。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

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

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

检查身份证:mathworks.jmaab.jc_0645

描述

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

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

条件	建议的行动
不当的使用可调参数值。	改变文字值可调块参数命名的常数。

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

另请参阅

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

检查样品时间设定

检查身份证:mathworks.jmaab.jc_0641

描述

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

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

条件	建议的行动
样本块的时间属性不是设置为1(继承)。	样品时间改变为1(继承)。

功能和限制

这张支票允许您使用在手机上选择更新的样品时间标记块1(继承)。
运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

马伯指南jc_0641:采样时间设置
JMAAB指南jc_0641

检查使用定点数据类型与非零的偏见

检查身份证:mathworks.jmaab.jc_0643

检查模块的输出信号数据类型是定点和偏见不为零。

描述

块有定点数据类型的输出信号,检查块的参数偏见被设置为0。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

条件	建议的行动
数据类型的助理,模式被设置为`不动点`但是,值偏见不是`0`。	改变块的参数偏见来`0`。

功能和限制

运行库模型。
万博1manbetx支持除外。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

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

检查类型设置数据对象

检查身份证:mathworks.jmaab.jc_0644

描述

标识块模型违反使用设置如果信号对象类型(如果信号数万博1manbetx据类型被设置在信号对象,那么它不能设置块一侧)。

这张支票豁免:

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

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

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

功能和限制

不上运行库模型。
允许排除块和图表。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。

另请参阅

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

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

检查身份证:mathworks.jmaab.db_0146

检查的位置触发和启用块。

描述

定位块定义子系统为条件或迭代图顶部的子系统。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

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

打开模型配置编辑器和搜索检查身份证db_0146。
输入块的位置检查的块的位置字段。
默认情况下,这个参数设置前。
点击应用并保存配置。

结果和建议措施

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

功能和限制

运行库模型。
允许排除块和图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

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

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

检查身份证:mathworks.jmaab.jc_0640

描述

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

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

条件	建议的行动
所有外港和合并块的初始输出连接到一个有条件的子系统不是显式定义的。	条件子系统,显式地定义所有外港的初始输出值和块连接到合并有条件的子系统。

功能和限制

不上运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

另请参阅

马伯指南外港jc_0640:初始值设置块条件子系统
JMAAB指南jc_0640

检查使用的块合并

检查身份证:mathworks.jmaab.jc_0659

标识块之间出现在条件子系统和一个合并块。

描述

合并模块必须从有条件地执行子系统有直接联系。在使用一个合并块考虑以下:

没有块必须出现在之间的合并,有条件地执行子系统模块,包括虚拟子系统,不影响功能合并块。
的合并块可以嵌套在任意数量的子系统,如果以上条件满足。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

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

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

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

如果块检查逻辑表达式

检查身份证:mathworks.maab.na_0003

检查如果块不适当的构造主要表达在一个逻辑表达式。

描述

识别实例在一个如果块主要表情是复杂的。

主要表达式定义为:

一个输入
一个常数
一个常数参数
括号表达式不含零个或以外的运营商<,>,> =,< =,= =,~ =,|,&,~

主要表达式的例子包括:

u1
5
K
(u1>0)
(u1< =G)
(u1>U2)
(~u1)

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

u1 | u2
((u1 > 0) & (u1 < 20)
(u1 > 0) & (u2 < u3)
u2乐队(u1 > 0) & (~)

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

主要表达	推理
`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 &愉快

简单的“如果”表情

字面解释的指导方针na_0003,表达u1 < u2是一种侵犯。然而,表达式遵循常用的“如果”的表达式模板(<主要表达式> <操作符> <主要表达式>)。所以,当不使用逻辑运算符和只有一个关系算子存在,表达满足方针na_0003和u1<u2不违反。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

条件建议的行动

逻辑表达式包含两个以上主要表达式由一个常数,常数参数,输入。

考虑下列之一:

使主要表达式输入和:
- 使用与一个关系运算符类型带括号表达式
- 构建一个简单的“如果”表达使用模板
  逻辑操作符<主要表达式> < > < >主要表达
减少主要表达两个或更少。
构建逻辑表达式除了使用逻辑块如果块。

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

考虑下列之一:

只使用一种类型的关系操作符。可接受的逻辑运算符包括<,>,> =,< =,= =,~ =,|,&,~。主要的表达式必须只包含输入。
带括号表达式的数量减少到两个或更少。
构建逻辑表达式除了使用逻辑块如果块。

括号表达式包含零个或以外的关系操作符<,>,> =,< =,= =,~ =,|,&,或~。

考虑下列之一:

使用关系操作符<,>,> =,< =,= =,~ =,|,&,或~括号内的表达式。
构建逻辑表达式除了使用逻辑块如果块。

功能和限制

没有国旗逻辑表达式只使用其中一个相对运营商吗<,>,> =,< =,= =,~ =,|,&,~
运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南如果块na_0003:使用
JMAAB指南na_0003

检查默认/切换情况下阻塞,如果其他情况

检查身份证:mathworks.jmaab.jc_0656

描述

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

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

条件	建议的行动
不当的使用开关和如果块。	考虑设置默认的/其他选择案例开关块和如果块在。

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

另请参阅

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

检查基本逻辑和数值操作

检查身份证:mathworks.jmaab.na_0002

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

描述

检查逻辑块和数值和标识的数据类型时,数据类型不适合手术。

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

数据类型应该non-boolean数值街区。数字模块包括:

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

自定义块和面具为这个检查,包括在分析使用模型顾问配置编辑器。

打开模型配置编辑器和搜索检查身份证na_0002。
下输入参数添加或删除块和/或掩盖的块数值操作表或块逻辑运算表。
点击应用并保存配置。

结果和建议措施

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

功能和限制

不上运行库模型。
允许排除块和图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

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

检查使用的块

检查身份证:mathworks.jmaab.jc_0121

描述

识别准则的违反发现使用的块的数目。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB - a, b, c

结果和建议措施

指导子ID	条件	建议的行动
jc_0121_a:检查和块的形状	一个或多个块和“圆”形但不反馈循环的一部分。	设置和块的形状“矩形”。
jc_0121_b:检查第一个输入块的数目	一个或多个块和没有“+”作为第一信号输入,不反馈循环的一部分。	第一个输入和块设置为“+”符号。
jc_0121_c:检查输入数量和块	一个或多个块有两个以上输入求和。	组块和不超过两个输入。

功能和限制

运行库模型。
万博1manbetx支持排除块或图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

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

检查操作订单的产品

检查身份证:mathworks.jmaab.jc_0610

描述

检查产品的运营商顺序块。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB - a, b

结果和建议措施

指导子ID	条件	建议的行动
jc_0610_a:先检查产品块的输入	不当的使用操作符的顺序产品块。	改变的第一个输入产品块乘法(“*”)。
jc_0610_b:检查输入产品模块的数量	产品块有无效的输入。	考虑使用不要超过两个输入产品块。

功能和限制

万博1manbetx支持选择指南子id。
运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

马伯指南jc_0610:运营商订单乘法和除法
JMAAB指南jc_0610

检查输入信号在产品模块的迹象

检查身份证:mathworks.jmaab.jc_0611

检查输入信号的符号位数据类型与分部运营商在产品模块。

描述

产品模块与业务运营商,检查相同的符号位用于输入信号的数据类型。标志位是签署或无符号。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

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

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

马伯指南jc_0611:输入信号的乘法和除法
JMAAB指南jc_0611

检查Fcn块括号的表达式

检查身份证:mathworks.jmaab.jc_0622

描述

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

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

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

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
不允许排除块和图表。

另请参阅

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

检查逻辑算符的图标形状块

检查身份证:mathworks.jmaab.jc_0621

描述

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

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

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

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

马伯指南jc_0621:使用逻辑操作符的街区
JMAAB指南jc_0621

检查使用关系操作符块

检查身份证:mathworks.maab.jc_0131

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

描述

当使用关系操作符比较信号为一个常数的值,恒定的输入应该是第二个,低输入。

这张支票需要万博1manbetx仿真软件检查许可证。

可以使用万博1manbetx仿真软件检查。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
关系操作符块有一个常数第一,上输入。	移动常数第二块,降低输入。

功能和限制

运行库模型。
分析内容块相关的库。
在蒙面子系统分析内容没有工作区和对话框。
允许排除块和图表。

另请参阅

马伯指南jc_0131:使用关系操作符块
JMAAB指南jc_0131

在仿真软件比较浮点类型万博1manbetx

检查身份证:mathworks.jmaab.jc_0800

描述

检查是否等价比较浮点数。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
一个或多个实例的等价比较浮点数的观察。	一定要避免使用等效为浮点数比较。

功能和限制

不上运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

另请参阅

马伯指南在仿真软件jc_0800:比较浮点类型万博1manbetx
JMAAB指南jc_0800

检查使用查找表

检查身份证:mathworks.jmaab.jc_0626

检查正确的参数设置在查找表来防止意想不到的结果。

描述

检查一天的查找表(一维、二维和一天)以下参数,以确保价值观遵守相应的建议。

InterpMethod
ExtrapMethod
UseLastTableValue

检查参数的动态查找表LookUpMeth并确保遵守建议的值。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

结果和建议措施

指导子ID	条件	建议的行动
jc_0626_a:检查查找方法设置动态查找表块	的参数LookUpMeth在动态查找表设置为非Interpolation-Use结束值。	将参数设置为推荐值Interpolation-Use结束值。
jc_0626_b:检查一天的查找方法设置查找表块	的参数InterpMethod一天的查找表设置三次样条。	更新以下推荐的参数设置一个值平最近的线性点斜式线性拉格朗日。
	的参数ExtrapMethod一天的查找表设置三次样条或线性。	将参数设置为推荐值剪辑。
	的参数UseLastTableValue一天的查找表设置从。	将参数设置为推荐值在。

功能和限制

分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

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

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

检查身份证:mathworks.jmaab.jc_0623

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

描述

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

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南sub-ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
内存块样品的时间,不是连续的。	使用单位延迟块而不是内存块。
单位有非离散样本的时间延迟块。	使用内存块,而不是单位延迟块。

功能和限制

分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

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

检查单位延迟块级联

检查身份证:mathworks.jmaab.jc_0624

描述

识别单元延迟块级联,利用模式。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB - a, b

结果和建议措施

指导子ID	条件	建议的行动
jc_0624_a:检查延迟块使用的开发模式	组单位延迟块模型可以取代抽头延迟块。	考虑用抽头延迟块取代级联单位延迟块。
jc_0624_b:检查使用级联延迟块	组延迟块可以取代一个延迟块。	考虑替代和延迟块级联延迟块。

功能和限制

运行库模型。
万博1manbetx支持排除块或图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南jc_0624:使用了延迟阻塞/延迟
JMAAB指南jc_0624

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

检查身份证:mathworks.jmaab.jc_0627

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

描述

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

块参数限制输出被选中。
饱和限制使用一个定义万博1manbetxSimulink.Parameter或MPT.Parameter对象的数据类型汽车。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南sub-ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB - a, b

结果和建议措施

指导子ID	条件	建议的行动
jc_0627_a:检查饱和限制设置的离散时间积分器块	块参数限制输出清除	选择离散时间积分器块参数限制输出。
jc_0627_b:检查饱和限制设置的离散时间积分器块	饱和限制被定义为一个参数对象的数据类型`汽车`	改变数据类型的参数对象`汽车`。

功能和限制

运行库模型。
万博1manbetx支持除外。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

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

检查使用的饱和

检查身份证:mathworks.jmaab.jc_0628

描述

这张支票识别:

的饱和或饱和动态块与任何类型铸造业务。编译的检查比较匹配或检查输入和输出数据类型输出数据类型被设置为继承:同样作为输入和继承:同第二输入为饱和和饱和动态块分别。
如果上限设置为输出数据类型的最大值(intmax最大浮点数)。
如果下限设置为输出的最小值数据类型(intmin最大浮点数)。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
输入和输出数据类型是不同的。	确保输出数据类型被设置为继承:同样作为输入和继承:同第二输入为饱和和饱和动态块分别。
块的上限和下限的值并不是将坚持的价值观。	设置上限输出的数据类型小于最大值。设置下限输出的数据类型小于最小值。

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

另请参阅

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

检查输出数据类型的操作

检查身份证:mathworks.jmaab.jc_0651

描述

检查如果模型遵循的指导方针执行类型转换。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

条件	建议的行动
一个或多个操作块发现显式地指定输出数据类型。	而不是显式地指定输出数据类型操作模块,使用数据类型转换块当改变数据类型的输出信号。

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块或图表。

另请参阅

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

检查的位置尺寸和外港块

检查身份证:mathworks.jmaab.db_0042

描述

检查是否与无效的位置和配置模型包含的端口。

在模型中,港口必须遵守以下规则:

的地方轮廓尺寸块图的左边。它是可以接受的移动轮廓尺寸块右边只有防止信号交叉口。
的地方外港块右边的图。它是可以接受的移动外港块左边只为了防止信号交叉口。
避免使用复制轮廓尺寸块在子系统级别,如果可能的话。
不使用重复的轮廓尺寸块在根级别。

可以使用万博1manbetx仿真软件检查。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

结果和建议措施

指导子ID	条件	建议的行动
db_0042_a:检查的位置尺寸	轮廓尺寸块不放在左边的图。	把轮廓尺寸左边的图块。块放置导致信号重叠可以被排除在外。
db_0042_b:检查的位置输出港	外港块不放在右边的图。	把外港块右边的图。块放置导致信号重叠可以被排除在外。
db_0042_c:检查使用重复的尺寸块	端口是重复的轮廓尺寸块。	如果复制轮廓尺寸块是一个子系统,尽可能删除它们。如果复制轮廓尺寸块在根级别,移除它们。

功能和限制

运行库模型。
允许排除块和图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南db_0042:使用尺寸和外港块
JMAAB指南db_0042

检查显示端口模块

检查身份证:mathworks.maab.jc_0081

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

描述

的图标显示设置是必需的。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
的图标显示设置没有设置。	设置图标显示来`端口号`为指定的轮廓尺寸和外港块。

功能和限制

运行库模型。
分析内容块相关的库。
在蒙面子系统分析内容没有工作区和对话框。
允许排除块和图表。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

马伯指南jc_0081:尺寸和外港块图标显示
JMAAB指南jc_0081

检查的范围和转向块

检查身份证:mathworks.maab.na_0011

检查的范围从和转到块。

描述

您可以使用全局范围控制流。然而,从和转到块必须使用当地信号的空间流动。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
从和转到块不配置与当地范围。	确保端口连接。变化的范围向当地指定的块。

功能和限制

不上运行库模型。
分析内容块相关的库。
在所有蒙面子系统分析内容。
允许排除块和图表。

另请参阅

马伯指南na_0011: Goto和街区的范围
JMAAB指南na_0011

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

检查身份证:mathworks.jmaab.jc_0161

描述

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

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB - a, b

结果和建议措施

指导子ID	条件	建议的行动
jc_0161_a:检查数据存储内存块的定义	模型中的一个或多个数据存储内存块并不是在最小范围级别上定义。	考虑将数据存储内存块移动到最小范围的水平。
jc_0161_b:检查使用数据存储中数据的内存块	数据模型中的一些数据存储内存块并不是用于执行和代码生成。	使用数据存储内存块只有在它的数据用于代码生成或执行。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许除外。

另请参阅

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

检查开关模块的使用

检查身份证:mathworks.maab.jc_0141

检查开关模块的使用。

描述

验证开关块控制输入(第二个输入)是一个布尔值,块被配置为通过第一个控制输入时输入0。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
开关块控制输入(第二个输入)不是一个布尔值。	改变数据类型的布尔的控制输入。
开关组的配置不能通过第一个控制输入时输入0。	块参数设置通过标准输入u2 ~ = 0。

功能和限制

不上运行库模型。
分析内容块相关的库。
在蒙面子系统分析内容没有工作区和对话框。
允许排除块和图表。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx然而,编辑时间检查这张支票并不验证控制输入的数据类型是一个布尔值。

另请参阅

马伯指南jc_0141:使用开关块
JMAAB指南jc_0141

检查输入和输出数据类型开关街区

检查身份证:mathworks.jmaab.jc_0650

检查是否数据端口的输入和输出数据类型相同的开关函数块。

描述

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

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
输入和输出数据端口有不同的数据类型。	改变输入或输出数据端口的数据类型都是相同的。

功能和限制

不上运行库模型。
允许除外。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南jc_0650:块输入/输出数据类型转换函数
JMAAB指南jc_0650

检查设置数据端口在多端口切换块

检查身份证:mathworks.jmaab.jc_0630

描述

识别的多端口切换块违反数据端口设置。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南sub-ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

结果和建议措施

指导子ID	条件	建议的行动
jc_0630_a:检查输入多端口转换部件的数量	开关组或者一个多端口转换部件在模型中有少于两个数据端口。	确保开关模块或者一个多端口转换部件在模型中有数据大于两个港口。
多端口转换部件jc_0630_b:检查输入类型	数据类型的控制端口在多端口切换没有设置为无符号整数。	改变的数据类型控制端口在多端口切换来无符号整数。
jc_0630_c:检查数据端口多端口的顺序开关块	多端口切换块有不正确的设置。	设置多端口转换部件设置数据端口默认情况下来额外的数据端口,诊断为默认情况下来没有一个。

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
分析内容块相关的库。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx然而,编辑时间检查这张支票并不验证符合jc_0630子ID b。

另请参阅

马伯指南jc_0630:使用多端口切换模块
JMAAB指南jc_0630

检查丢失的港口变体子系统

检查身份证:mathworks.jmaab.na_0020

描述

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

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

您可以配置检查允许不同的子系统有不同数量的外港比选择子系统通过选择输入参数检查参数的指定输出当无关的变体子系统输出港在模型顾问配置编辑器。

请注意:变异的外港子系统必须输入参数指定输出时无关选中。

结果和建议措施

条件	建议的行动
一个或多个变体子系统对所属不同数量的输入/输出子系统。	考虑在变种相同数量的输入/输出子系统和所属子系统。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块或图表。

另请参阅

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

检查使用默认的变体

检查身份证:mathworks.maab.na_0036

检查使用的默认变量在一个不同的子系统。

描述

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

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

设置活动变体作为默认变体,使用模型顾问配置编辑器。

打开模型配置编辑器和搜索检查身份证na_0036。
下输入参数中,选择检查使用控件允许零活跃变体的选择。
对于每一个变体子系统的输出端口,块设置以下参数:
- 选择指定输出当源无关
- 输入一个恒定值
- 组块的输出参数数据类型来继承:汽车
点击应用并保存配置。

结果和建议措施

条件建议的行动

子系统不包含一个默认的变体。

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

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

活跃的变体作为默认的变体。

版本控制被设置为变体
打开变体块并选择块参数允许控制零活跃的变体。
不同的子系统的输出端口:
- 集指定输出当源无关来真正的
- 提供一个有效的价值恒定值
- 集输出数据类型来继承:汽车

功能和限制

运行库模型。
分析内容块相关的库。
在所有蒙面子系统分析内容。
允许排除块和图表
允许语法高亮显示

另请参阅

马伯指南na_0036:默认的变体
JMAAB指南na_0036

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

检查身份证:mathworks.maab.na_0037

检查条件表达式中使用单一变量

描述

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

请注意

指导方针na_0037国家默认的变异是一个例外的建议写变异条件表达式使用多个变量只有一个条件。您可以定义一个违约:

选择(默认)块的参数版本控制。
指定一个详尽的条件。

这张支票不能区分违约定义使用一个详尽的条件。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
条件表达式包含不止一个条件变量。	考虑更新您的模型只使用一种变体。
条件表达式变量或`万博1manbetxSimulink.Variant`在工作区中没有找到对象。	考虑在您的模型中定义一个变体。
检查子系统不执行我的变体。	清晰的覆盖不同的条件和使用以下变体子系统的变体。

功能和限制

不检查默认的变体。
不运行在不同子系统当您选择覆盖不同的条件和使用以下变体
运行库模型。
分析内容块相关的库。
在所有蒙面子系统分析内容。

另请参阅

马伯指南na_0037:使用单变量的变异情况
JMAAB指南na_0037

检查与仿真软件强大的数据类型I / O万博1manbetx

检查身份证:mathworks.jmaab.db_0122

检查标签是否Stateflow和Simulink是强类型的输入和输出信号万博1manbetx。

描述

强数据类型之间Stateflow和模型输入和输出信号是必需的。万博1manbetx

可以使用万博1manbetx仿真软件检查。

这张支票需要Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
Stateflow图表并不用仿真软件强大的数据类型。万博1manbetx	选择在仿真软件使用强数据类型I / O万博1manbetx复选框为指定的块。

功能和限制

运行库模型。
允许排除块和图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南db_0122: Stateflow和仿真软件万博1manbetx接口信号和参数
JMAAB指南db_0122
状态和转换的语法(Stateflow)

检查Stateflow港口的名字和相关的信号

检查身份证:mathworks.maab.db_0123

检查Stateflow港口之间的不匹配和相关信号的名字。

描述

Stateflow输入和输出的名称应与相应的信号。

可以使用万博1manbetx仿真软件检查。

这张支票需要Stateflow许可证。

检查参数化

这个模型顾问检查不适用JMAAB建模指南。

这张支票不包括sub-checks

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——不支持万博1manbetx

结果和建议措施

条件	建议的行动
信号名称不同于相应的Stateflow港口。	变化的信号或Stateflow港口的名称。

功能和限制

没有标记为可重用Stateflow图表库名称不匹配。
没有国旗Stateflow港口当相应的信号没有标签。
不上运行库模型。
不分析内容块相关的库。
在所有蒙面子系统分析内容。
允许排除块和图表。排除不会为图书馆工作有关图表。

另请参阅

马伯指南db_0123: Stateflow港口名称

检查Stateflow数据的定义

检查身份证:mathworks.jmaab.db_0125

描述

确定范围值组Stateflow数据定义在机器水平。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

结果和建议措施

指导子ID	条件	建议的行动
db_0125_a:检查Stateflow数据范围设置为本地机器水平	Stateflow数据与局部作用域定义机器水平	考虑不与当地范围定义数据机的水平。
db_0125_b:检查Stateflow数据范围在机器级别设置为常数	Stateflow数据与常数范围定义机器水平	考虑不与常数定义数据范围在机器水平。
db_0125_c:检查Stateflow数据范围设置为参数在机器水平	Stateflow数据与参数范围定义在机器水平	不考虑定义数据和参数范围在机器水平。
db_0125_d:检查重复Stateflow数据名称和范围设置为当地Stateflow块层次结构	Stateflow数据图表中定义有多个定义在同一Stateflow块层次结构	考虑使用独特的名字Stateflow数据的层次结构。

功能和限制

运行库模型。
分析内容块相关的库。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许除外。

另请参阅

马伯指南db_0125: Stateflow本地数据
JMAAB指南db_0125

检查Stateflow事件的定义

检查身份证:mathworks.jmaab.db_0126

描述

Stateflow事件应该在尽可能最小的定义使用的范围。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
一个图表中使用一个或多个Stateflow事件是没有定义在相同层次的。	考虑定义Stateflow事件在最小的范围内使用。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
不支持排除块或图表万博1manbetx。

另请参阅

马伯指南db_0126:定义Stateflow事件
JMAAB指南db_0126

首先检查可用的数字索引

检查身份证:mathworks.jmaab.jc_0701

描述

确定如果第一个索引的数组Stateflow没有设置为0或1。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

请注意

Sub-check jc_0701_a1默认被选中。

结果和建议措施

指导子ID	条件	建议的行动
jc_0701_a1:检查是否第一Stateflow指数数据设置为0	一个或多个Stateflow数据以外的第一个索引设置为值0。	一定要第一个索引值设置为0。
jc_0701_a2:检查是否第一Stateflow指数数据设置为1	一个或多个Stateflow数据以外的第一个索引设置为值1。	一定要第一个索引值设置为1。

功能和限制

万博1manbetx支持选择指南子id。
运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除图表。

另请参阅

马伯指南jc_0701:可用数第一索引
JMAAB指南jc_0701

检查执行时机缺省转换路径

检查身份证:mathworks.jmaab.jc_0712

描述

确定参数的状态(输入)表初始化执行。这个参数需要许多其他因素产生一致的结果。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
的参数(输入)表初始化执行被选中。	确保清晰的选择。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

马伯指南jc_0712:执行时机缺省转换路径
JMAAB指南jc_0712

检查的范围数据并行

检查身份证:mathworks.jmaab.jc_0722

描述

局部变量必须设置的范围限制在一个平行的状态,除非需要相同的数据由两个或两个以上的平行状态。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
Stateflow数据(局部变量)的范围并不局限于一个平行的状态时不需要相同的数据由多个平行状态。	限制的范围Stateflow数据(局部变量),只有一个并行的国度。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除图表。

另请参阅

马伯指南并行jc_0722:本地数据定义状态
JMAAB指南jc_0722

检查在Stateflow无关的对象图表

检查身份证:mathworks.jmaab.jc_0797

描述

无关的检查对象Stateflow图表和标识悬空状态和独立Stateflow的转换和连接Stateflow图表。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南sub-ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

结果和建议措施

指导子ID	条件	建议的行动
jc_0797_a:检查无关联的转换	图表中的一个或多个转换是无关的。	考虑重建连接晃来晃去的转换。
jc_0797_b:检查无关的状态和连接	一个或多个无关的状态和连接。	考虑重建连接无关的状态和连接。

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

另请参阅

马伯指南jc_0797:无关的转换/州/连接连接
JMAAB指南jc_0797

检查状态机的状态

检查身份证:mathworks.jmaab.db_0137

描述

标识的州或(独家)类型分解只有一子状态。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
一个或多个州或(独家)类型分解模型中只有一个子状态。	删除子状态或添加另一个状态。

功能和限制

运行库模型。
允许排除块和图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

马伯指南db_0137:状态机的状态
JMAAB指南db_0137

检查使用的平行状态

检查身份证:mathworks.jmaab.jc_0721

描述

平行状态不能用于分组的目的的亚态平行状态不能平行状态。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
平行状态只是进行分组。	亚态的并行状态不能并行分组(不使用)。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

马伯指南jc_0721:使用平行状态
JMAAB指南jc_0721

外观检查Stateflow过渡

检查身份证:mathworks.jmaab.db_0129

描述

检查和报告Stateflow视觉重叠其他Stateflow对象转换。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

自我转换可以用这张支票被允许国旗通过选择参数检查自动转换从模型顾问配置编辑器。

打开模型配置编辑器和搜索检查身份证db_0129。
选择的参数检查自动转换。
点击应用并保存配置。

结果和建议措施

指导子id	条件	建议的行动
db_0129_a:检查过渡线交叉	过渡线交叉。	考虑装修,这样过渡线不交叉。
db_0129_b:检查过渡线重叠	过渡线重叠与其他过渡线。	考虑装修,这样过渡线不重叠与其他过渡线。
db_0129_c:检查过渡线跨越其他Stateflow对象	过渡线跨越其他Stateflow对象。	考虑装修,这样转换不跨越其他Stateflow对象。
db_0129_d:检查方向过渡	转换不垂直或水平或对角线流程图循环。	只考虑装修使用水平或垂直过渡和对角线转换为流程图循环。
db_0129_e:检查不必要的连接接头	一个或多个图表使用不必要的连接接头。	考虑避免不必要的连接接头。

功能和限制

这张支票没有国旗转换重叠的状态标签超过国家的边界。
运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

马伯指南db_0129: Stateflow过渡的外观
JMAAB指南db_0129

检查缺省转换位置Stateflow图表

检查身份证:mathworks.jmaab.jc_0531

描述

检查默认过渡安置在Stateflow图表。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

结果和建议措施

条件	建议的行动
平行状态模型中有默认转换。	默认状态不能用于并行的转换。
一个或多个Stateflow状态模型中没有默认转换。	确保各级缺省转换。
一个或多个Stateflow状态模型中有多个默认转换在同一水平。	多个默认转换不能包括在相同的水平。
模型中的一个或多个默认转换不连接状态或结。	确保默认转换直接连接到的上部状态或结。
一个或多个目的地国家或连接的默认转换并不在上面。	确保过渡目标状态或转换目标结的缺省转换定位在遥远的左上角在同一水平。
模型中的一个或多个默认转换超过了国家的界限。	确保不超过国家边界的缺省转换。
的参数没有无条件的默认转换在配置>诊断>Stateflow没有设置为错误。	设置参数没有无条件的默认转换来错误。

功能和限制

运行库模型。
允许排除块和图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南jc_0531:缺省转换
JMAAB指南jc_0531
状态和转换的语法(Stateflow)

检查使用的状态到外部的转换

检查身份证:mathworks.jmaab.jc_0723

描述

标识状态Stateflow图表,在外部结束孩子的转换。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

条件	建议的行动
一个或多个状态结束外部孩子的转换。	考虑重构,以避免使用状态结束外部孩子的转换。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
万博1manbetx支持图表的除外。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

马伯指南jc_0723:禁止直接从外部状态过渡到儿童心理状态
JMAAB指南jc_0723

检查意外回溯状态转换

检查身份证:mathworks.jmaab.jc_0751

描述

检查意外回溯状态转换。配置参数意想不到的回溯(SFUnexpectedBacktrackingDiag)必须设置为错误。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
回溯是未被发现的状态转换。	设置配置参数意想不到的回溯(SFUnexpectedBacktrackingDiag)来错误。

功能和限制

运行库模型。
不分析library-linked块的内容。
不会在蒙面子系统分析的内容。
不允许排除块和图表。

另请参阅

马伯指南jc_0751:回溯预防状态转换
JMAAB指南jc_0751

检查内部过渡Stateflow的起点

检查身份证:mathworks.jmaab.jc_0760

描述

确定如果在所有状态图表和流程图,内部转换从状态边界必须从国家的左边缘。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
起点的一个或多个内部转换状态的边界状态图表或流程图不从的左边缘状态。	确保所有的图表和流程图,内部转换从状态边界必须从国家的左边缘。

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

马伯指南jc_0760:内部转型的起点
JMAAB指南jc_0760

检查使用的内部状态在Stateflow的转换

检查身份证:mathworks.jmaab.jc_0763

描述

标识Stateflow状态,使用多个内部转换。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南sub-ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

请注意

Sub-check jc_0763_a1默认被选中。

结果和建议措施

指导子ID	条件	建议的行动
jc_0763_a1:检查多个内部转换	一个或多个Stateflow状态有多个内部转换。	改造,避免使用多个内部转换。
jc_0763_a2:检查订单的多个内部转换	一个或多个Stateflow状态有多个内部转换不放置在执行顺序。	考虑下内部转换从上到下的顺序执行。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

马伯指南jc_0763:使用多个内部转换
JMAAB指南jc_0763

检查禁止政府行动的组合和流程图

检查身份证:mathworks.jmaab.jc_0762

描述

检查状态的行为在州和流程图语句结合使用。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
Stateflow州结合国家行动和流程图。	单独的国家行动和流程图语句到不同的国家。

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

马伯指南jc_0762:禁止国家行动和流程图的组合
JMAAB指南jc_0762

检查转换Stateflow流程图

检查身份证:mathworks.jmaab.db_0132

描述

检查流程图转变方向。

以下规则适用于转换流程图:

画水平转换条件。
画垂直过渡条件行动。
连接流程图应该默认退出过渡。
转换流程图不应该结合状态和行动。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南sub-ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

结果和建议措施

指导子ID	条件	建议的行动
db_0132_a:检查使用Stateflow过渡操作的流程图	一个或多个过渡动作在流程图中使用的模型。	不要使用过渡操作流程图。
db_0132_b:检查流程图的转型方向	一个或多个转换条件表达式不水平。	一定要画水平用条件表达式的转换。
	一个或多个转换条件的行为不垂直。	确保垂直画与条件转换操作。
	一个或多个转换都条件表达式和条件的行为。	不要使用条件表达式和条件操作同样的转变。

功能和限制

检查只有旗帜流程图包含循环结构如果违反了取向统治过渡。
运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

马伯指南db_0132:转换流程图
JMAAB指南db_0132

检查使用流程图的无条件的转换

检查身份证:mathworks.jmaab.jc_0773

描述

在流程图识别无条件的转换。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

结果和建议措施

指导子ID	条件	建议的行动
jc_0773_a:检查无条件的存在来自Stateflow结与条件转换的过渡	一个或多个Stateflow路口没有无条件的来自他们的转换。	考虑添加一个无条件的过渡连接。
jc_0773_b:检查执行顺序的无条件的转换	一个或多个Stateflow连接具有无条件的转换不执行。	考虑设置的执行顺序的无条件的过渡连接的最高价值。

功能和限制

运行库模型。
万博1manbetx支持排除块或图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南jc_0773:无条件的过渡的一个流程图
JMAAB指南jc_0773

在Stateflow检查终端连接

检查身份证:mathworks.jmaab.jc_0775

描述

标识的使用终端连接流程图。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南sub-ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

请注意

Sub-check jc_0775_a1默认被选中。

结果和建议措施

指导子ID	条件	建议的行动
jc_0775_a1:检查使用只有一个终端连接	一个或多个Stateflow容器有多个终端连接。	考虑使用只有一个终端连接。
jc_0775_a2:检查使用一个终端连接与一个无条件的转变作为输入	Stateflow一个或多个容器有多个终端连接或一个终端连接没有无条件的过渡。	考虑使用只有一个终端连接与一个无条件的转变作为输入。

功能和限制

运行库模型。
万博1manbetx支持排除块或图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南在流程图jc_0775:终止连接
JMAAB指南jc_0775

检查使用Stateflow评论

检查身份证:mathworks.jmaab.jc_0738

描述

标识包含换行符的评论(s)或嵌套在Stateflow中间。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB - a, b

结果和建议措施

指导子ID	条件	建议的行动
jc_0738_a:如果操作语言是“C”,评论不能嵌套使用	在Stateflow对象嵌套或更多的评论。	评论在Stateflow不能嵌套。
jc_0738_b:如果操作语言是“C”,评论必须不包含换行符(s)在中间	一个或多个注释Stateflow对象包含换行符(s)在中间。	评论在Stateflow必须不包含换行符(s)在中间。

功能和限制

运行库模型。
允许排除块和图表。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。

另请参阅

马伯指南jc_0738:使用Stateflow评论
JMAAB指南jc_0738

检查Stateflow表动作语言

检查身份证:mathworks.jmaab.jc_0790

描述

检查如果Stateflow图表的动作语言设置为C。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

条件	建议的行动
动作语言的一个或多个Stateflow图表没有设置为C。	设置所有Stateflow图表行动语言C。

功能和限制

运行库模型。
允许排除图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

马伯指南jc_0790:动作语言的图块
JMAAB指南jc_0790

检查使用Stateflow数字字面值

检查身份证:mathworks.jmaab.jc_0702

描述

标识的使用数字字面值Stateflow状态和转换。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
一个或多个表达式Stateflow州和Stateflow转换包含数字字面值。	考虑装修使用命名参数和常量而不是数字字面值。

功能和限制

运行库模型。
万博1manbetx支持排除块或图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南命名Stateflow jc_0702:使用参数和常量
JMAAB指南jc_0702

检查指针在Stateflow图表

检查身份证:mathworks.maab.jm_0011

识别指针操作自定义代码变量。

描述

自定义代码的指针变量是不允许的。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

这张支票需要一个许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
自定义代码变量使用指针操作。	修改指定的表删除依赖指针操作。

功能和限制

仅适用于Stateflow图表,使用C作为行动的语言。
运行库模型。
不分析内容块相关的库。
在所有蒙面子系统分析内容。
允许排除块和图表。

另请参阅

马伯指南在Stateflow jm_0011:指针
JMAAB指南jm_0011

检查使用的事件和广播事件Stateflow图表

检查身份证:mathworks.jmaab.jm_0012

确定无向事件广播中可能引起递归模拟和生成低效的代码。

描述

事件广播Stateflow图表必须指示。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB - a1 / a2和a3

请注意

Sub-check jm_0012_a1默认被选中。

结果和建议措施

指导子id	条件	建议的行动
jm_0012_a1:检查如果Stateflow事件只有在使用Stateflow块的输出	Stateflow事件中未使用的输出Stateflow块。	改变上面列出的范围Stateflow事件输出。
jm_0012_a2:检查如果Stateflow广播事件直接使用“发送”语法	Stateflow广播事件没有直接使用“发送”语法。	使用“发送(event_name state_name)”语法广播Stateflow事件。
jm_0012_a3:检查如果Stateflow广播事件直接使用合格的事件名称	Stateflow事件并不直接使用合格的事件名称。	使用“发送(state_name.event_name)”语法广播Stateflow事件。

功能和限制

运行库模型。
分析内容块相关的库。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

另请参阅

检查订单状态操作类型

检查身份证:mathworks.jmaab.jc_0733

描述

标识状态动作的顺序Stateflow状态。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

结果和建议措施

指导子ID	条件	建议的行动
jc_0733_a:检查基本状态动作类型	一个或多个Stateflow州基本状态行动类型写的顺序。	考虑订购状态行动条目的顺序(en),在(du)和出口(交货)。
jc_0733_b:检查结合状态动作类型	一个或多个Stateflow州联合政府行动类型写的顺序。	考虑订购状态行动条目的顺序(en),在(du)和出口(交货)。

功能和限制

运行库模型。
万博1manbetx支持图表的除外。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南jc_0733:订单状态操作类型
JMAAB指南jc_0733

检查重复的动作类型

检查身份证:mathworks.jmaab.jc_0734

在Stateflow状态标识重复动作类型。

描述

操作类型(条目(en),在(du),退出(特异),恩,du:, du,例:,恩,例:,恩,du,例:)不能描述两个或两个以上次Stateflow状态。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
一个或多个动作类型多次用于Stateflow状态。	合并操作的行为类型,以便每个类型Stateflow状态只定义一次。

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除图表。

另请参阅

马伯指南jc_0734:一些国家的行动类型
JMAAB指南jc_0734

检查状态动作类型“退出”是在模型中使用

检查身份证:mathworks.jmaab.jc_0740

描述

检查Stateflow退出操作中使用的模型。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

条件	建议的行动
一个或多个Stateflow状态使用退出动作类型。	考虑删除状态动作类型退出在Stateflow州。

功能和限制

运行库模型。
万博1manbetx支持图表的除外。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南jc_0740:限制使用退出状态的行动
JMAAB指南jc_0740

检查更新变量中使用状态转换条件

检查身份证:mathworks.jmaab.jc_0741

描述

检查中使用的变量状态转换条件执行“中”状态的更新操作类型。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

条件	建议的行动
一个或多个变量的状态转换条件执行“中”状态的更新操作类型。	确保使用的变量在状态转换条件下不执行“中”状态的更新操作类型。

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

另请参阅

马伯指南jc_0741:定时更新数据中使用状态图转换的条件
JMAAB指南jc_0741

检查使用Stateflow转换的转换条件

检查身份证:mathworks.jmaab.jc_0772

描述

标识转换来自一个状态和无条件Stateflow转换与优先级高于条件转换。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
Stateflow发现与优先级高于条件转换的转换。	改变转换的执行顺序或添加一个执行条件。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

马伯指南jc_0772:执行顺序和转换条件的过渡线
JMAAB指南jc_0772

检查条件的行为和在Stateflow过渡行动

检查身份证:mathworks.jmaab.jc_0753

描述

检查条件的使用操作或转换行为是统一在同一个图表。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南sub-ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

请注意

Sub-check jc_0753_a1默认被选中。

结果和建议措施

指导子ID	条件	建议的行动
在Stateflow jc_0753_a1:检查过渡行动图表	以下Stateflow图表使用过渡动作。	不要使用过渡行动Stateflow图表。
jc_0753_a2:检查使用条件的行为和过渡的操作在同一Stateflow图表	条件操作和转换行为是混合在同一个图表。	使用条件的行为或过渡动作必须统一在同一个图表。

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

另请参阅

马伯指南行为和过渡动作Stateflow jc_0753:条件
JMAAB指南jc_0753

检查MATLAB在Stateflow图表表达式

检查身份证:mathworks.jmaab.db_0127

描述

标识Stateflow对象,使用MATLAB表达式,不适合代码生成。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

请注意

Sub-check db_0127_a1默认被选中。

结果和建议措施

指导子ID	条件	建议的行动
db_0127_a1:检查MATLAB表达式在Stateflow图表	一个或多个Stateflow对象模型中使用MATLAB表达式。	考虑改造更换所有MATLAB在Stateflow对象表达式。
db_0127_a2:检查MATLAB表达式Stateflow图表而不是通过MATLAB函数	一个或多个Stateflow对象模型中使用MATLAB表达式不通过MATLAB函数。	考虑改造,MATLAB表达式是通过MATLAB函数Stateflow对象。

功能和限制

仅适用于Stateflow图表,使用C作为行动的语言。
运行库模型。
允许除外。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

马伯指南db_0127:限制MATLAB命令Stateflow块
JMAAB指南db_0127

检查使用的浮点表达式Stateflow图表

检查身份证:mathworks.maab.jc_0481

识别等于操作(= =)表达式中至少一方的表达式是一个浮点变量或常数。

描述

不使用等于操作浮点数据类型。你可以使用等于操作整数数据类型。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
表达式使用平等比较操作(`= =`,`! =`,`~ =`)至少一方的表达式是一个浮点变量或常数。	修改指定的表达式来避免浮点表达式之间的平等比较操作。
模型顾问无法确定数据类型的表达式与平等操作。	顾问确定数据类型允许模型,考虑明确铸字指定的表达式。

功能和限制

不上运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

马伯指南jc_0481:使用硬Stateflow平等比较浮点数
JMAAB指南jc_0481

检查Stateflow运营商

检查身份证:mathworks.jmaab.na_0001

描述

标识的使用在Stateflow运营商。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB - a、b1 / b2 / b3, c

请注意

Sub-checks na_0001_a、na_0001_b1 na_0001_c默认是选中的。

结果和建议措施

指导子ID	条件	建议的行动
在Stateflow na_0001_a:使用位操作符	一个或多个逐位运算符的表达式有错误的用法。	考虑使用位操作符(' & ',' \| ',' ^ ',' ~ ')仅供位运算。
na_0001_b1:使用不平等的运营商(Stateflow ~ =)	一个或多个表达式有错误的使用不平等的运营商。	考虑使用的不平等~ = '操作。
na_0001_b2:不平等的使用操作符(在Stateflow ! =)	一个或多个表达式有错误的使用不平等的运营商。	考虑使用”!= '对不平等操作。
na_0001_b3:不平等的使用操作符(< >)Stateflow	一个或多个表达式有错误的使用不平等的运营商。	考虑使用“< >”不平等操作。
na_0001_c:使用逻辑Stateflow否定运营商	一个或多个逻辑否定算子的场景不正确的用法。	考虑使用”!”为logical negation operations

功能和限制

仅适用于图表,使用C作为行动的语言。
不上运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

马伯指南na_0001: Stateflow运营商的标准用法
JMAAB指南na_0001

检查禁止比较操作的逻辑类型信号

检查身份证:mathworks.jmaab.jc_0655

描述

标识使用的布尔类型转换在Stateflow图表与数字或逻辑值(真或假),或者使用否定运营商(!或者~)不定地在模型中。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

条件	建议的行动
布尔类型交易相比,数字或逻辑值(真或假)。	确保布尔类型交易并不与数字或逻辑值。

功能和限制

运行库模型。
允许排除块和图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南jc_0655:禁止在Stateflow逻辑值比较
JMAAB指南jc_0655

检查使用一元-业务Stateflow图表

检查身份证:mathworks.maab.jc_0451

确定一元-操作应用于无符号整数Stateflow对象。

描述

不执行一元-操作在Stateflow无符号整数对象。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
一元-操作应用于无符号整数Stateflow对象。	修改指定的对象删除依赖一元-操作。
模型顾问无法确定数据类型的表达式用一元减去操作。	顾问确定数据类型允许模型,考虑明确铸字指定的表达式。

功能和限制

不上运行库模型。
不分析内容块相关的库。
在所有蒙面子系统分析内容。
允许排除块和图表。

另请参阅

马伯指南jc_0451:使用一元-无符号整数
JMAAB指南jc_0451

检查隐式类型Stateflow铸造

检查身份证:mathworks.jmaab.jc_0802

描述

识别隐含在Stateflow型铸造。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
一个或多个操作和/或函数调用Stateflow图表的数据类型不匹配。	所有操作和函数调用必须相同数据类型的变量之间。如果是不同的数据类型,变量需要显式类型(数据类型相匹配。

功能和限制

这张支票不会分析枚举类型Stateflow如果未指定枚举类型与完整的类名。
这张支票不分析定点上下文相关的常数。
不上运行库模型。
允许排除块或图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南jc_0802:禁止在Stateflow使用隐式类型的铸件
JMAAB指南jc_0802

检查Stateflow状态和数据名称的唯一性

检查身份证:mathworks.jmaab.jc_0732

描述

检查是否在一个Stateflow图表,Stateflow数据名称和Stateflow状态名称都是一样的。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
如果Stateflow数据名称和Stateflow状态名称Stateflow图具有相同的名称。	重命名的Stateflow数据名称或Stateflow状态名称不相同的名字。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除图表。

另请参阅

马伯指南jc_0732:区分国家名称、数据名称和事件名称
JMAAB指南jc_0732

检查状态名称的唯一性

检查身份证:mathworks.jmaab.jc_0730

描述

国家名称必须是惟一的图表,除了原子子图表。例如原子子图表被视为不同的容器,这样他们就可以共享状态名称与其他国家之外的子图表。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
Stateflow图,两个或两个以上Stateflow州具有相同的名称。	重命名Stateflow国家这没有相同名称Stateflow图表。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除图表。

另请参阅

马伯指南在Stateflow块jc_0730:独特的国家的名字
JMAAB指南jc_0730

检查使用的名称

检查身份证:mathworks.jmaab.jc_0731

检查斜杠(/)的名称。

描述

检查斜杠(/)都包含在国家的名字。国家名称的定义后,添加一个新行来描述任何可执行语句。需要一个斜杠(/)只有当描述可执行语句在延续国家的名字。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
削减州名。	把削减国家名称,并确保对任何可执行语句开始一个新行。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除图表。

另请参阅

马伯指南jc_0731:国家名称格式
JMAAB指南jc_0731

检查条目格式状态块Stateflow图表

检查身份证:mathworks.jmaab.jc_0501

确定进入行动之间缺少换行符(在),在操作(杜),退出操作(前女友州)条目。确定失踪后换行分号(;)语句。

描述

后开始一个新行条目,在,退出项,完成后声明”;”。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
一个`条目`(`在`)不是一个新行。	添加一个新的行之后`条目`。
一个`在`(`杜`)不是一个新行。	添加一个新的行之后`在`。
一个`退出`(`前女友`)不是一个新行。	添加一个新的行之后`退出`。
多个语句在一行中找到。	每个语句之后添加一个新行。

功能和限制

运行库模型。
不分析内容块相关的库。
在所有蒙面子系统分析内容。
允许排除块和图表。

编辑时间检查

这张支票是由编辑时间检查。万博1manbetx

另请参阅

马伯指南jc_0501:条目的格式在块中
JMAAB指南jc_0501

检查代码的缩进Stateflow状态

检查身份证:mathworks.jmaab.jc_0736

检查标签统一缩进Stateflow状态和转换的字符串。

描述

检查是否描述的Stateflow块均匀的凹陷处,遵循以下建议:

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB - a, b, c

您可以使用输入参数单字节的空间设置阈值所需的值。默认值设置1。

结果和建议措施

指导子ID	条件	建议的行动
jc_0736_a:检查统一缩进行动语言Stateflow州	模型中的一个或多个Stateflow州没有统一的压痕。	考虑删除空格前状态动作类型和添加单字节的具体数量空间中定义的输入参数可执行语句之前。
jc_0736_b:检查统一间距过渡动作类型	一个或多个Stateflow转换模型中没有统一的间距。	考虑不加空格前“[”的过渡状态,{的过渡行动和“/”的事件在一个过渡。
jc_0736_c:检查均匀间隔的过渡措施	一个或多个Stateflow转换模型中没有统一的间距。	考虑添加单字节的具体数量空间中定义的输入参数“/”后的过渡作用。

功能和限制

运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除图表。

另请参阅

马伯指南jc_0736:统一的压痕在Stateflow块
JMAAB指南jc_0736

检查使用的文本内部状态

检查身份证:mathworks.jmaab.jc_0739

描述

标识Stateflow州文本超过国家的边界。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
模型中的一个或多个Stateflow州有文本超过国家的边界。	确保内部的文本Stateflow状态不出去的边界状态。

功能和限制

这张支票旗帜Stateflow状态模型,该模型有一个换行符的文本。这种情况即使Stateflow州内的文本中包含的边界状态。
运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
允许排除块和图表。

另请参阅

马伯指南jc_0739:描述文本内部状态
JMAAB指南jc_0739

检查标签的位置字符串转换

检查身份证:mathworks.jmaab.jc_0770

描述

检查Stateflow过渡的位置标签。Stateflow信号标签必须在原点的信号或信号跃迁线的中点。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB - a1 / a2

请注意

Sub-check jc_0770_a1默认被选中。

结果和建议措施

指导子ID	条件	建议的行动
jc_0770_a1:过渡标签应放置在原点附近的过渡	一个或多个Stateflow转换没有标签字符串放在过渡的起源。	确保将Stateflow标签在原点附近的过渡。
jc_0770_a2:过渡标签应该放在中心的转变	一个或多个Stateflow转换没有标签字符串放在中心的转变。	确保将Stateflow标签中点附近(中心)的过渡。

功能和限制

运行库模型。
允许排除块和图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南jc_0770:过渡标签的位置
JMAAB指南jc_0770

检查评论在过渡标签的位置

检查身份证:mathworks.jmaab.jc_0771

描述

转型中的标识评论标签不一致。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票包含对应于子sub-checks id指定的马伯和JMAAB建模指南。您可以使用模型顾问配置编辑器指定哪个子id(一个或多个)来执行。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

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

请注意

Sub-check jc_0771_a1默认被选中。

结果和建议措施

指导子ID	条件	建议的行动
jc_0771_a1:转型中的评论标签必须统一放置在顶部	转型中的一个或多个注释标签放置在顶部。	转型中的评论标签必须定位高于转换条件,条件的行为,转变行为,和Stateflow事件。
jc_0771_a2:评论在过渡标签必须均匀放置在底部	转型中的一个或多个注释标签底部的位置。	转型中的评论标签必须定位低于转换条件,条件的行为,转变行为,和Stateflow事件。

功能和限制

运行库模型。
万博1manbetx支持排除块或图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南jc_0771:评论标签位置过渡
JMAAB指南jc_0771

检查使用括号Stateflow转换

检查身份证:mathworks.jmaab.jc_0752

描述

检查是否一个新行开始之前和之后的括号Stateflow转换条件的行为。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

条件	建议的行动
在Stateflow转换条件行动写括号旁边。	开始新的一行括号前后Stateflow转换条件的行为。

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
允许排除块和图表。

另请参阅

马伯指南jc_0752:条件行动过渡标签
JMAAB指南jc_0752

检查评论在无条件的转换

检查身份证:mathworks.jmaab.jc_0774

描述

确定了无条件的转换没有行动的注释语句。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
没有行动的一个或多个无条件的过渡语句没有评论。	考虑添加评论解释了无条件的过渡。

功能和限制

运行库模型。
万博1manbetx支持排除块或图表。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。

另请参阅

马伯指南通过过渡jc_0774:评论
JMAAB指南jc_0774

检查返回值分配Stateflow图形功能

检查身份证:mathworks.maab.jc_0511

识别图形函数的返回值与多个作业Stateflow图表。

描述

从Stateflow图形函数返回值必须设置只在一个地方。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——没有建议
JMAAB——一个

结果和建议措施

条件	建议的行动
Stateflow图形函数的返回值分配在多个地方。	修改指定的图形函数,使其返回值设置在一个地方。

功能和限制

运行库模型。
不分析内容块相关的库。
允许排除块和图表。

另请参阅

马伯指南jc_0511:从图形函数返回值
JMAAB指南jc_0511
可重用的功能图(Stateflow)。

检查Stateflow使用仿真万博1manbetx软件的功能

检查身份证:mathworks.jmaab.na_0042

描述

检查在Stateflow仿真软件的使用功万博1manbetx能。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
输入参数传递给模型函数应该是“本地”的数据范围。万博1manbetx	修改数据范围的地方聊天。
输入参数传递给模型函数使用数据以外的混合物的输入范围万博1manbetx和“当地”范围。	输入参数传递给模型函数应该是一个混合的数据“当地”的万博1manbetx范围和“输入”范围。
万博1manbetx仿真软件的功能不是从图表中的多个位置。	确保仿真软件功能重用万博1manbetx。

功能和限制

这张支票不分析仿真软件功能被称为每个时间步。万博1manbetx
运行库模型。
允许排除块和图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南na_0042:使用仿真软件的功能万博1manbetx
JMAAB指南na_0042

检查使用仿真软件State万博1manbetxflow图表

检查身份证:mathworks.maab.na_0039

检查Stateflow图表中嵌套模型函数中使用根Stateflow图表。万博1manbetx

描述

检查在根Sta万博1manbetxteflow仿真软件功能图和标识Stateflow嵌套在这些函数的图表。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
仿真软件万博1manbetx的功能有一个嵌套Stateflow图表。	考虑修改根Stateflow图表模型函数不包含嵌套Stateflow图表。万博1manbetx

功能和限制

不检查Stateflow状态。
运行库模型。
允许排除块和图表。
允许语法高亮显示。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南na_0039:限制仿真软件功能图块万博1manbetx
JMAAB指南na_0039

检查MATLAB函数度量

检查身份证:mathworks.maab.himl_0003

显示MATLAB函数的复杂性和代码度量。报告指标违规。

描述

这张支票为MATLAB函数提供了复杂性和代码度量。检查另外报告度量违规。

结果表提供链接违反复杂性的MATLAB函数输入参数。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这个模型顾问检查不适用JMAAB建模指南。

这张支票不包括sub-checks

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——不支持万博1manbetx

指定阈值的复杂性,使用模型顾问配置编辑器。

打开模型配置编辑器和搜索检查身份证himl_0003。
下输入参数中,选择检查。m文件中引用的模型包括文件。m扩展的分析。
定义这些复杂性度量:
- 最大有效的函数的代码行数——提供每个函数的最大有效行代码。有效行不包括空行,注释行,或行功能结束关键字。
- 最低密度的评论——提供最低密度的评论。密度是注释行总比行代码。
- 每个函数最大的圈复杂度-提供最大的圈复杂度函数。圈复杂度是线性无关的路径的数量通过源代码。
点击应用并保存配置。

结果和建议措施

条件

建议的行动

违反了MATLAB函数输入参数复杂性。

MATLAB函数:

如果有效的代码行数太高,进一步把MATLAB函数。
如果评论密度太低,添加注释行。
如果每个函数圈复杂度太高,进一步把MATLAB函数。

功能和限制

运行库模型。
不分析内容块相关的库。
在所有蒙面子系统分析内容。
允许排除块和图表。

另请参阅

马伯指南na_0016: MATLAB函数的源代码行
马伯指南na_0018:嵌套的if / else和case语句的数量

为全局变量检查MATLAB代码

检查身份证:mathworks.maab.na_0024

检查全局变量在MATLAB代码。

描述

验证中未使用任何全局变量:

MATLAB代码在MATLAB函数块
MATLAB函数中定义Stateflow图表
调用MATLAB函数

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件

建议的行动

使用全局变量在一个或多个下列:

MATLAB代码在MATLAB函数块
MATLAB函数中定义Stateflow图表
调用MATLAB函数

与信号线路取代全局变量,函数参数,或持久数据。

功能和限制

运行库模型。
不分析内容块相关的库。
在所有蒙面子系统分析内容。
块不允许排除或图表。

另请参阅

马伯指南na_0024:共享数据在MATLAB函数
JMAAB指南na_0024

检查使用枚举值

检查身份证:mathworks.maab.na_0031

描述

确定模型中使用枚举类没有默认值的规范。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
枚举类模型中没有默认值的规范。	确保使用枚举类模型中有一个getDefaultValue方法的实现作为一个类的静态方法。

功能和限制

不上运行库模型。
不允许排除块和图表。
分析内容块相关的库。

另请参阅

马伯指南na_0031:默认枚举值的定义
JMAAB指南na_0031

MATLAB函数检查输入和输出设置

检查身份证:mathworks.maab.na_0034

识别MATLAB函数的输入、输出参数与遗传的复杂性或数据类型属性。

描述

检查识别MATLAB函数与遗传的复杂性或数据类型属性。结果表提供了MATLAB函数的链接,不通过检查,随着条件触发警报。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件建议的行动

MATLAB函数继承的接口。

明确定义的复杂性和数据类型属性港口,外港,MATLAB函数的参数识别结果。

如果适用,使用MATLAB功能块编辑器,进行以下修改港口和数据管理器:

改变复杂性从继承了来在或从。
改变类型从继承:仿真软件一样万博1manbetx显式类型。
改变大小从1(继承)一个显式的大小。

功能和限制

运行库模型。
不分析内容块相关的库。
在所有蒙面子系统分析内容。
允许排除块和图表。

另请参阅

马伯指南na_0034: MATLAB函数块输入/输出设置
JMAAB指南na_0034

检查函数调用MATLAB功能块的数量

检查身份证:mathworks.maab.na_0017

描述

检查是否在MATLAB函数调用的数量小于设定的阈值函数块。默认情况下,限制设置为3。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这个模型顾问检查不适用JMAAB建模指南。

这张支票不包括sub-checks

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——不支持万博1manbetx

您可以通过使用自定义函数调用水平阈值输入参数函数调用层次从模型顾问配置编辑器。

打开模型配置编辑器和搜索检查身份证na_0017。
输入所需的函数调用设置的水平函数调用层次字段。
默认情况下,这个参数设置3。
点击应用并保存配置。

结果和建议措施

条件	建议的行动
MATLAB的函数调用功能块大于设定阈值。默认情况下,设置的阈值是三。设置阈值可以修改通过使用输入参数函数调用层次在配置编辑器。	减少从MATLAB函数调用功能块的数量小于设定阈值。

功能和限制

递归函数调用只统计一次。
内联类方法不分析。
运行库模型。
允许排除块和图表。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。

另请参阅

马伯指南na_0017:调用函数的数量水平

检查使用的特征向量在MATLAB函数块

检查身份证:mathworks.maab.na_0021

检查使用的特征向量MATLAB函数块。

描述

标识用于特征向量MATLAB函数块。

MATLAB函数将字符串存储为字符数组。由于缺乏动态内存分配,数组不能调整大小以适应不同长度的字符串值。字符串在仿真软件不支持的数据类型万博1manbetx万博1manbetxMATLAB函数块不能通过外的字符串数据块。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
MATLAB函数块包含一个特征向量。	考虑使用枚举而不是特征向量。

功能和限制

没有国旗在MATLAB字符串
没有标记字符向量硬编码的类定义。
运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。

另请参阅

马伯指南na_0021:字符串在MATLAB函数
JMAAB指南na_0021

检查使用的推荐模式Switch / Case语句

检查身份证:mathworks.maab.na_0022

检查不恒定变量在Switch / Case语句的使用。

描述

在生成的代码中,MATLAB函数块输入作为函数参数传递。这个检查评估中的Switch / Case语句生成的代码来确定正在使用不恒定值的参数。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这个模型顾问检查不适用JMAAB建模指南。

这张支票不包括sub-checks

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——不支持万博1manbetx

结果和建议措施

条件	建议的行动
不恒定变量中使用Switch / Case语句。	考虑将输入变量定义为一个常数。

功能和限制

运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。

另请参阅

马伯指南:na_0022:推荐模式Switch / Case语句

检查c风格的注释符号的使用

检查身份证:mathworks.jmaab.jc_0801

描述

标识的使用c风格的(/ *和* /)评论(CGT文件和MPT对象。

可以使用万博1manbetx仿真软件检查。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
一个或多个实体使用c风格的注释。	考虑删除c风格的评论(CGT文件和MPT对象。

功能和限制

不上运行库模型。
不分析内容块相关的库。
不会在蒙面子系统分析的内容。
块不允许排除或图表。

另请参阅

马伯指南jc_0801:禁止使用/ *和* /注释的符号
JMAAB指南jc_0801

在Stateflow检查使用的图形功能

检查身份证:mathworks.jmaab.jc_0804

描述

标识图形内的图形函数调用了函数。

这张支票需要万博1manbetx仿真软件检查和Stateflow许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
一个或多个调用图形函数是在一个图形的功能。	删除调用图形函数图形函数内。

功能和限制

不上运行库模型。
允许排除块或图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为所有。

另请参阅

jc_0804:禁止使用图形函数的递归调用
JMAAB指南jc_0804

检查除零模型万博1manbetx

检查身份证:mathworks.jmaab.jc_0794

描述

识别部门业务模型,导致除的错误。万博1manbetx

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——一个

结果和建议措施

条件	建议的行动
一个或多个块执行部门会导致除的错误。	改造,以避免被零除的错误。

功能和限制

不上运行库模型。
允许排除块或图表。
分析library-linked内容块。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。

另请参阅

马伯指南在仿真软件jc_0794:部门万博1manbetx
JMAAB指南jc_0794

检查行代码在MATLAB函数

检查身份证:mathworks.jmaab.na_0016

描述

高数量的有效识别MATLAB函数的代码行。

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——不支持万博1manbetx

下输入参数中,选择检查外部m文件中引用模型包括文件。m扩展的分析。

结果和建议措施

条件	建议的行动
一个或多个MATLAB函数有许多有效的代码行。	改造减少有效的MATLAB函数的代码行数。

功能和限制

运行库模型。
分析内容块相关的库。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为所有。
允许排除块或图表。

另请参阅

马伯指南na_0016: MATLAB函数的源代码行

检查在MATLAB函数嵌套条件

检查身份证:mathworks.jmaab.na_0018

描述

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

这张支票需要万博1manbetx仿真软件检查许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

NA-MAAB——一个
JMAAB——不支持万博1manbetx

下输入参数中,选择检查外部m文件中引用模型包括文件。m扩展的分析。

结果和建议措施

条件	建议的行动
一个或多个MATLAB函数发现与深层嵌套的if / else语句。	改造,以减少深层嵌套的条件语句的数量。

功能和限制

运行库模型。
分析内容块相关的库。默认情况下,输入参数链接被设置为在。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为所有。
允许排除块或图表。

另请参阅

马伯指南na_0018:嵌套的if / else和case语句的数量