针对 MISRA C:2012 编码标准的模型顾问检查
要检查您的模型或子系统可以生成符合 MISRA C:2012 的代码的可能性，请打开模型顾问，并运行按任务 > MISRA C:2012 建模标准中的检查。
执行以下检查需要使用 Embedded Coder® 和 Simulink® Check™。
| 模型顾问检查 | 检查 ID |
|---|---|
| Check configuration parameters for MISRA C:2012 | mathworks.misra.CodeGenSettings |
| Check for blocks not recommended for C/C++ production code deployment | mathworks.codegen.PCGSupport |
| Check for blocks not recommended for MISRA C:2012 | mathworks.misra.BlkSupport |
| 检查不支持的模块名称 | mathworks.misra.BlockNames |
| Check usage of Assignment blocks | mathworks.misra.AssignmentBlocks |
| Check for switch case expressions without a default case | mathworks.misra.SwitchDefault |
| Check for missing error ports for AUTOSAR receiver interfaces | mathworks.misra.AutosarReceiverInterface |
| 检查有符号整数的按位运算 | mathworks.misra.CompliantCGIRConstructions |
| 检查递归函数调用 | mathworks.misra.RecursionCompliance |
| Check for equality and inequality operations on floating-point values | mathworks.misra.CompareFloatEquality |
| 检查模型函数中是否缺失常量限定符 | mathworks.misra.ModelFunctionInterface |
| 检查整数字长 | mathworks.misra.IntegerWordLengths |
mathworks.misra.BusElementNames | |
| 检查没有默认选择项的变体模块 | mathworks.misra.DefaultChoiceVariantChecks |
要访问 MISRA C:2012 标准支持的高完整性检查，请转到按任务 > MISRA C:2012 建模标准 > 高完整性系统文件夹。
注意
高完整性建模规范旨在确保符合 MISRA C:2012 建模的选定方面。
此外，高完整性系统还包括含有基于其功能的高完整性检查的子文件夹，列举如下：
按任务 > MISRA C:2012 建模标准 > 高完整性系统 > 配置
按任务 > MISRA C:2012 建模标准 > 高完整性系统 > MATLAB
| 模型顾问检查 | 检查 ID | 高完整性系统建模规范 |
|---|---|---|
| Check switch statements in MATLAB Function blocks | mathworks.hism.himl_0007 | himl_0007: MATLAB code switch / case / otherwise patterns |
按任务 > MISRA C:2012 建模标准 > 高完整性系统 > 命名
| 模型顾问检查 | 检查 ID | 高完整性系统建模规范 |
|---|---|---|
| Check model object names | mathworks.hism.hisl_0032 | hisl_0032: Model element names |
按任务 > MISRA C:2012 建模标准 > 高完整性系统 > Simulink
按任务 > MISRA C:2012 建模标准 > 高完整性系统 > Stateflow
