检查与安全相关的代码生成标识符设置
mathworks.hism.hisl_0049
依赖关系: Simulink® Check™
用法: 高完整性系统建模
规范: hisl_0049:配置参数 > 代码生成 > 标识符
说明
此检查用于验证代码生成标识符设置是否针对安全相关应用进行了最佳设置。
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后,保存模型并重新运行检查分析。
如果您认为标记的违规行为与您的设计无关或不可行,请使用申述按钮提供理由,说明为什么该违规行为与您的设计无关或不可行。
您可以使用修复按钮,让模型顾问修复所有标记的违规行为。本次检查中,模型顾问会配置可能影响安全性的模型代码生成设置。
| 建模条件 | 建议的操作 |
|---|---|
| 生成名称修饰字符串的最小字符数少于四个。您可以使用此选项来最大限度地降低模型更改时代码生成过程中参数和信号名称发生更改的可能性。使用此选项有助于最大限度地减少文件版本之间的代码差异,从而减少执行代码审查所需的工作量。 | 将模型配置参数 最小修饰长度 (Embedded Coder) 或参数 MangleLength 的值设置为 4 或更大。 |
功能和限制
无需模型编译
无法在库模型上运行。
不允许排除模块或图。
在模型顾问报告中,不使用 Embedded Coder® 时,不会突出显示参数名称。
版本历史记录
在 R2020a 中推出
另请参阅
主题
- 使用模型顾问检查您的模型
- Address Model Check Results
- Save and View Model Advisor Check Reports
- Improve Simulation Performance Using Performance Advisor
- 使用升级顾问升级模型
- 使用模型顾问配置编辑器来自定义模型顾问
- 从模型顾问检查分析中排除模块
- 通过检查分析申述模型顾问违规的合理性
- 使用编辑时检查来检查模型合规性
- Model Configuration Parameters: Comments (Simulink Coder)
- 模型配置参数:代码生成标识符 (Simulink Coder)
- 模型配置参数:代码生成接口 (Simulink Coder)
- 模型配置参数:代码样式 (Embedded Coder)