主要内容

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

检查不一致的向量索引方法

mathworks.hism.hisl_0021

依赖关系: Simulink® Check™

用法: 高完整性系统建模

规范: hisl_0021: Consistent vector indexing method

说明

此检查可识别索引方法不一致的数据块。

使用不一致的模块索引方法可能会造成建模错误。所有数据块均采用一致的向量索引方法。索引方法有从零开始、从一开始和用户指定三种。

检查参数

使用模型顾问配置编辑器,通过指定输入参数来定义分析范围。

参数描述
检查行为

指定块支持的索引类型。

检查多种索引方法的使用情形(默认)| 仅使用从 0 开始的索引 | 仅使用从 1 开始的索引

跟随链接

指定是否将文库链接模块的内容纳入分析。

on(默认)| off

查看封装内部

指定是否在分析中包含掩码模型元素。

全部(默认)| | 图形 | 功能性

  • 全部 - 检查分析是否包含所有掩码模型元素。

  • - 检查分析排除了已屏蔽的模型元素。

  • 图形 - 检查分析仅包括图形掩码模型元素。

  • 功能性 - 检查分析仅包括功能掩码模型元素。

建议的行动和结果

查看检查中标记出的违规行为以及建议的修复措施。应用更改后,保存模型并重新运行检查分析。

建模条件建议的操作
模型或子系统包含索引方法不一致的模块。索引方法为:从 0 开始、从 1 开始或由用户指定。请修改模型以使用一致的索引方法。

功能和限制

  • 可以在库模型上运行

  • 无需模型编译

  • 允许排除模块和图

  • 分析活动和非活动变体的选择

版本历史记录

在 R2018b 中推出