主要内容

代码生成顾问检查

用于代码生成目标的可用检查

代码生成目标检查促进设计和故障排除Simulink金宝app®您想要用来生成代码的模型和子系统。

代码生成顾问包括来自Simulink的以下检查,金宝app金宝appSimulink Coder™和嵌入式编码器®对于每个代码生成目标。代码生成顾问唯一的两个检查包含在列表中。

检查 执行效率
(目标)
罗效率
(ERT-based目标)
内存效率
(ERT-based目标)
安全预防措施
(ERT-based目标)
可追溯性
(ERT-based目标)
调试
(目标)
MISRA - C: 2012指南
(ERT-based目标)
Polyspace®
(ERT-based目标)
根据代码生成目标检查模型配置设置 包括 包括 包括 包括 包括 包括 包括(见请注意下图) 包括
检查最佳总线虚拟性 包括 包括 包括 N/A N/A N/A N/A N/A
识别指定系统内的可疑块 包括 包括 包括 N/A N/A N/A N/A N/A
检查硬件实现(嵌入式编码) 包括如果嵌入式编码器是可用的 包括如果嵌入式编码器是可用的 N/A N/A N/A N/A N/A N/A
识别有问题的软件环境规范(嵌入式编码) 当可跟踪性不是一个更高的优先级和嵌入式编码器可用时包括在内 当可跟踪性不是一个更高的优先级和嵌入式编码器可用时包括在内 N/A N/A N/A N/A N/A N/A
识别有问题的代码插装(数据I/O)(嵌入式编码) 当可跟踪性或调试不是更高优先级且可使用嵌入式编码器时包括在内 当可跟踪性或调试不是更高优先级且可使用嵌入式编码器时包括在内 当可跟踪性或调试不是更高优先级且可使用嵌入式编码器时包括在内 N/A N/A N/A N/A N/A
识别有问题的子系统设置(嵌入式编码) N/A 包括如果嵌入式编码器是可用的 包括如果嵌入式编码器是可用的 N/A N/A N/A N/A N/A
识别生成昂贵的舍入代码的块(嵌入式编码) 包括如果嵌入式编码器是可用的 包括如果嵌入式编码器是可用的 N/A N/A N/A N/A N/A N/A
确定有问题的定点操作(嵌入式编码) 如果嵌入式编码器或定点设计器™可用,则包括在内 如果嵌入式编码器或定点设计器可用,则包括在内 N/A N/A N/A N/A N/A N/A
使用基于一的索引标识块 包括 包括 N/A N/A N/A N/A N/A N/A
识别生成昂贵超出检查代码的查找表块(嵌入式编码) 包括如果嵌入式编码器是可用的 包括如果嵌入式编码器是可用的 N/A N/A N/A N/A N/A N/A
检查逻辑块的输出类型(嵌入式编码) 包括如果嵌入式编码器是可用的 N/A N/A N/A N/A N/A N/A N/A

识别未连接的线路、输入端口和输出端口

N/A N/A N/A 包括 N/A N/A N/A N/A
检查数据存储内存块,用于多任务处理,强类型和阴影问题 N/A N/A N/A 包括 N/A N/A N/A N/A
识别具有连续采样时间和非浮点数据类型的块输出信号 N/A N/A N/A 包括 N/A N/A N/A N/A
检查对可调参数有约束的块 N/A N/A N/A 包括 N/A N/A N/A N/A
检查数据存储块是否启用了读/写诊断程序 N/A N/A N/A 包括 N/A N/A N/A N/A
用总线信号检查结构参数的使用情况 N/A N/A N/A 包括 N/A N/A N/A N/A
检查数据存储块的建模错误的采样时间 N/A N/A N/A 包括 N/A N/A N/A N/A
检查涉及数据存储访问的潜在订购问题 N/A N/A N/A 包括 N/A N/A N/A N/A
检查C/ c++产品代码部署中不推荐的代码块(嵌入式编码) N/A N/A N/A N/A N/A N/A 包括如果嵌入式编码器是可用的 N/A
检查不推荐用于Misra C:2012的块(嵌入式编码) N/A N/A N/A N/A N/A N/A 包括如果嵌入式编码器是可用的 N/A
检查不支持的块名称金宝app(嵌入式编码) N/A N/A N/A N/A N/A N/A 包括如果嵌入式编码器是可用的 N/A
检查分配块的使用情况(嵌入式编码) N/A N/A N/A N/A N/A N/A 包括如果嵌入式编码器是可用的 N/A
检查符号整数上的按位操作(嵌入式编码) N/A N/A N/A N/A N/A N/A 包括如果嵌入式编码器是可用的 N/A
检查递归函数调用(嵌入式编码) N/A N/A N/A N/A N/A N/A 包括如果嵌入式编码器是可用的 N/A
检查浮点值的平等和不等式操作(嵌入式编码) N/A N/A N/A N/A N/A N/A 包括如果嵌入式编码器是可用的 N/A
检查没有默认大小写的开关大小写表达式(嵌入式编码) N/A N/A N/A N/A N/A N/A 包括如果嵌入式编码器是可用的 N/A
检查配置参数,以生成低效的饱和代码(嵌入式编码) 包括如果嵌入式编码器是可用的 包括如果嵌入式编码器是可用的 N/A 包括如果嵌入式编码器是可用的 N/A N/A N/A N/A

请注意

当代码生成顾问以违反MISRA C:2012指南目标检查模型时,该工具不考虑Misra C:2012指南在Model Advisor中检查的所有配置参数设置。有关配置参数设置的完整检查:

  1. 打开模型顾问。

  2. 导航到按照任务>MISRA C:2012建模指南

  3. 运行文件夹中的检查。

有关使用Model Advisor的更多信息,请参见使用模型顾问检查您的模型

另请参阅

识别指定系统内的可疑块

识别代码生成不支持的块或不建议用于部署。金宝app

描述

代码生成器只为它支持的代码块创建代码。金宝app有些块不推荐用于生产代码部署。

结果和建议的行动

条件 建议的行动
代码生成器不支持块。金宝app 从模型中移除指定的块或用推荐的块替换块。
不建议为生产代码部署进行一个块。 从模型中移除指定的块或用推荐的块替换块。
检查获得块的值等于1。 取代获得信号转换块。

能力和限制

您可以:

  • 在您的库模型上运行这个检查。

  • 如果您有一个,请从此检查块和图表金宝app模型检查™许可证。

另请参阅

代码生成支持的块和产品下载188bet金宝搏金宝app

模型顾问排除概述(金宝appSimulink检查)

根据代码生成目标检查模型配置设置

根据代码生成目标检查模型的配置参数设置。

描述

配置参数对话框中的每个参数可能对基于目标的代码生成具有不同的推荐设置。此检查可帮助您确定每个参数的建议设置,以便您可以根据您的目标实现优化的代码。

结果和建议的行动

条件 建议的行动
参数设置为除了用于指定目标的值以外的值。

将参数设置为推荐值。

请注意

对一个参数值的更改可能会影响其他参数。通过检查可能需要多次迭代。

行动的结果

点击修改参数将参数值更改为推荐值。

另请参阅