代码生成顾问检查
可以检查代码生成目标
代码生成目标检查方便设计和故障诊断模型金宝app®模型和子系统,您想要使用生成代码。
代码生成Advisor仿真软件包括以下检查,金宝app金宝app仿真软件编码器™,嵌入式编码器®每个代码生成的目标。两种检查的代码生成顾问包括以下列表。
检查 | 执行效率 (目标) |
罗效率 (ERT-based目标) |
内存效率 (ERT-based目标) |
安全预防措施 (ERT-based目标) |
可追溯性 (ERT-based目标) |
调试 (目标) |
MISRA - C: 2012指南 (ERT-based目标) |
Polyspace® (ERT-based目标) |
---|---|---|---|---|---|---|---|---|
检查模型配置设置针对代码生成目标 | 包括 | 包括 | 包括 | 包括 | 包括 | 包括 | 包括(见请注意下图) | 包括 |
检查最佳总线虚拟世界(金宝app模型) | 包括 | 包括 | 包括 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 |
在指定的系统识别可疑的块 | 包括 | 包括 | 包括 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 |
检查硬件实现(嵌入式编码) | 包括嵌入式编码是否可用 | 包括嵌入式编码是否可用 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 |
识别可疑软件环境规范(嵌入式编码) | 包括当可追溯性不是一个更高的优先级和嵌入式编码是可用的 | 包括当可追溯性不是一个更高的优先级和嵌入式编码是可用的 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 |
识别可疑代码插装(数据I / O)(嵌入式编码) | 包括跟踪或调试时不优先考虑和嵌入式编码是可用的 | 包括跟踪或调试时不优先考虑和嵌入式编码是可用的 | 包括跟踪或调试时不优先考虑和嵌入式编码是可用的 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 |
识别可疑子系统设置(嵌入式编码) | N /一个 | 包括嵌入式编码是否可用 | 包括嵌入式编码是否可用 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 |
确定生成贵舍入的代码块(嵌入式编码) | 包括嵌入式编码是否可用 | 包括嵌入式编码是否可用 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 |
识别可疑定点操作(嵌入式编码) | 包括如果嵌入式编码器或定点设计师™是可用的 | 包括如果嵌入式编码器或定点设计师是可用的 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 |
确定使用集中的索引块 | 包括 | 包括 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 |
确定生成的查找表块昂贵的超出范围检查代码(嵌入式编码) | 包括嵌入式编码是否可用 | 包括嵌入式编码是否可用 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 |
检查逻辑块的输出类型(嵌入式编码) | 包括嵌入式编码是否可用 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 |
识别无关的行,输入端口和输出端口(金宝app模型) |
N /一个 | N /一个 | N /一个 | 包括 | N /一个 | N /一个 | N /一个 | N /一个 |
检查数据存储内存块的多任务处理,强类型,和跟踪问题(金宝app模型) | N /一个 | N /一个 | N /一个 | 包括 | N /一个 | N /一个 | N /一个 | N /一个 |
确定块输出信号连续样本时间和non-floating点数据类型(金宝app模型) | N /一个 | N /一个 | N /一个 | 包括 | N /一个 | N /一个 | N /一个 | N /一个 |
检查约束可调参数的块 | N /一个 | N /一个 | N /一个 | 包括 | N /一个 | N /一个 | N /一个 | N /一个 |
如果启用了读/写诊断检查数据存储块(金宝app模型) | N /一个 | N /一个 | N /一个 | 包括 | N /一个 | N /一个 | N /一个 | N /一个 |
检查结构参数与总线信号使用(金宝app模型) | N /一个 | N /一个 | N /一个 | 包括 | N /一个 | N /一个 | N /一个 | N /一个 |
检查数据存储块样品时间建模错误(金宝app模型) | N /一个 | N /一个 | N /一个 | 包括 | N /一个 | N /一个 | N /一个 | N /一个 |
检查潜在的排序问题涉及数据存储访问(金宝app模型) | N /一个 | N /一个 | N /一个 | 包括 | N /一个 | N /一个 | N /一个 | N /一个 |
检查块不建议用于C / c++代码部署生产(嵌入式编码) | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | 包括嵌入式编码是否可用 | N /一个 |
检查块不建议用于MISRA - C: 2012(嵌入式编码) | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | 包括嵌入式编码是否可用 | N /一个 |
检查不支持的块的名字金宝app(嵌入式编码) | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | 包括嵌入式编码是否可用 | N /一个 |
检查使用分配的块(嵌入式编码) | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | 包括嵌入式编码是否可用 | N /一个 |
检查按位操作整数签署(嵌入式编码) | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | 包括嵌入式编码是否可用 | N /一个 |
检查递归函数调用(嵌入式编码) | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | 包括嵌入式编码是否可用 | N /一个 |
检查平等和不平等操作浮点值(嵌入式编码) | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | 包括嵌入式编码是否可用 | N /一个 |
检查开关情况表情没有违约情况(嵌入式编码) | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | N /一个 | 包括嵌入式编码是否可用 | N /一个 |
请注意
当代码生成顾问检查你的模型与MISRA - C: 2012年的指导方针目标,工具不考虑所有的配置参数设置检查MISRA - C: 2012年指导检查模型中的顾问。完整的配置参数设置检查,运行下的检查通过任务>建模指南MISRA - C: 2012在模型中节点的顾问。
另请参阅
配置模型,通过使用代码生成目标代码生成的顾问(嵌入式编码)
运行模型检查(金宝app模型)
金宝app仿真软件检查(金宝app模型)
金宝app模型检查检查(金宝app仿真软件检查)
在指定的系统识别可疑的块
识别模块不支持的代码生成或不建议用于部署金宝app。
描述
代码生成器为模块,它支持创建代码只。金宝app一些代码块不推荐在生产部署。
结果和建议措施
条件 | 建议的行动 |
---|---|
一块不支持代码生成器。金宝app | 从模型中删除指定的块或替换块与推荐的块。 |
一块不建议生产代码的部署。 | 从模型中删除指定的块或替换块与推荐的块。 |
检查获得块,其价值等于1。 | 取代获得块与信号转换块。 |
功能和限制
您可以:
运行这个检查你的图书馆模式。
排除块和图表从这个检查如果你有一个金宝app模型检查™许可证。
另请参阅
顾问排斥模型是什么?(金宝app仿真软件检查)
检查模型配置设置针对代码生成目标
检查配置参数设置为模型对代码生成目标。
描述
每个参数在配置参数对话框中可能有不同的推荐设置基于你的目标代码生成。这张支票可帮助您识别每个参数的推荐设置,这样您就可以根据你的目标实现优化的代码。
结果和建议措施
条件 | 建议的行动 |
---|---|
参数设置为推荐值以外的其他值为指定的目标。 | 将参数设置为推荐值。 请注意改变一个参数值会影响其他参数。通过检查可能需要多个迭代。 |
行动的结果
点击修改参数改变参数值的推荐值。
另请参阅
推荐设置概要模型配置参数(嵌入式编码)
配置模型,通过使用代码生成目标代码生成的顾问(嵌入式编码)
这个主题有帮助吗?