配置模型,通过使用代码生成目标代码生成的顾问
考虑您的应用程序的目标,如效率、可跟踪性和安全性,映射到代码生成模型中参数的配置设置。参数设置在配置参数对话框中指定的行为仿真模型,模型生成的代码。
在生成代码之前,或作为代码生成过程的一部分,您可以使用代码生成顾问评估模型。当你选择评估模型生成代码之前,您指定哪个模型,子系统,或引用的模型代码生成顾问评论。当你选择评估模型的代码生成过程,整个系统代码生成顾问评论。代码生成顾问使用中提供的信息推荐设置概要模型配置参数确定参数值,以满足您的目标。当有多个目标之间的冲突,高优先级目标优先。
设置代码生成目标,然后运行代码生成顾问提供的信息为您的模型实现代码生成目标。代码生成顾问不修改生成的代码。您可以使用代码生成顾问建议更改您的模型。生成的代码改变只有在你修改模型并重新生成代码。当你使用代码生成目标代码生成顾问和检查你的模型,生成的代码包含注释指定目标识别,检查代码生成顾问在模型运行,运行的结果和检查。
如果一个模型使用配置引用您可以运行代码生成顾问回顾你的配置参数设置。然而,代码生成顾问不能修改配置参数设置。
高级代码生成目标
取决于应用程序的类型,你的模型表示,你可能会有特定的高级代码生成目标。例如,安全和可追溯性比有效地使用内存更重要。如果你有具体的目标,您可以快速配置您的模型以满足这些目标的选择和优先从这些代码生成目标:
执行效率(所有目标)——配置代码生成设置来实现快速的执行时间。
罗效率(ERT-based目标)——配置代码生成设置减少罗使用。
内存效率(ERT-based目标)——配置代码生成设置以减少内存的使用。
可追溯性(ERT-based目标)——配置代码生成设置提供模型元素之间的映射和代码。
安全预防措施(ERT-based目标)——配置代码生成设置增加清晰度,决定论,代码的健壮性和可验证性。
调试(所有目标)——配置代码生成设置调试代码生成构建过程。
MISRA - C: 2012指南(ERT-based目标)——配置代码生成设置增加符合MISRA - C: 2012年的指导方针。
Polyspace (ERT-based目标)——配置代码生成设置准备Polyspace的代码®分析。
如果你选择MISRA - C: 2012指南代码生成目标代码生成顾问:
检查模型配置设置符合MISRA - C: 2012配置设置的建议。
检查模块不支持或建议MISRA - C: 2012兼容的代码生金宝app成。
在参考模型中指定的目标
当你检查一个模型在代码生成过程中,您必须指定相同的目标模型和参考模型。如果你指定不同的目标模型和参考模型,构建过程生成一个错误。
指定不同的目标模型和每个引用的模型,分别检查模型生成代码。
使用代码生成顾问配置模型
这个例子展示了如何使用代码生成顾问检查和配置您的模型以满足代码生成目标:
在C代码选项卡上,单击C / c++代码的顾问。
在系统中选择器窗口中,选择你想要的模型或子系统审查,然后单击好吧。
在代码生成顾问目标代码生成窗格中,选择代码生成目标。当你选择目标,左边的窗格中,代码生成顾问更新的列表检查它运行在您的模型。如果你的模型配置了一个ERT-based目标,更多的目标是可用的。对于这个示例,该模型使用一个ERT-based配置目标。如果你的目标是执行效率和可追溯性,优先级,执行以下操作:
在可用的目标,双击
执行效率
。执行效率
被添加到选定目标,优先。在可用的目标,双击
可追溯性
。可追溯性
被添加到选定目标,优先下执行效率
。
运行检查左窗格中列出的代码生成顾问,右键单击代码生成的顾问文件夹并选择选择运行检查。
在代码生成顾问窗口中,审查的结果检查模型配置设置针对代码生成目标通过选择从左侧窗格。检查的结果是显示在右边的面板中。
检查模型配置设置针对代码生成目标触发一个警告这些问题:
参数设置为推荐值以外的其他值为指定的代码生成目标。
选定的代码生成目标不同于模型中的目标。
点击修改参数设置:
参数推荐值为指定的代码生成目标。
代码生成目标模型的目标代码生成中指定顾问。
在代码生成顾问窗口中,审查的结果其余检查通过选择左边的面板。检查的结果显示在右边的面板中。
回顾检查结果之后,您可以选择修复警告和故障,所述修复一个模型顾问检查警告或失败。
当你指定一个效率或安全预防措施目标,代码生成顾问包括额外的检查。当你更改这些额外的检查之一,以前的检查结果可能成为无效,需要重新运行。
配置模型的代码生成目标通过使用配置参数对话框
这个例子展示了如何配置和检查你的模型来实现代码生成目标通过配置参数对话框:
打开配置参数对话框。选择代码生成。
指定一个目标文件系统。如果你指定一个ERT-based目标,更多的目标是可用的。对于这个示例,选择一个ERT-based目标等
ert.tlc
。点击设定目标。
在设定目标——代码生成顾问对话框指定你的目标。例如,如果您的目标是执行效率和可追溯性,优先级,执行以下操作:
在可用的目标,双击
执行效率
。执行效率
被添加到选定目标,优先。在可用的目标,双击
可追溯性
。可追溯性
被添加到选定目标,优先下执行效率
。接受目标,点击好吧。在配置参数对话框中,代码生成>优先考虑的目标是更新。
在代码生成窗格中,单击检查模型。
在系统中选择器窗口中,选择你想要的模型或子系统审查,然后单击好吧。代码生成顾问打开和评论您指定的模型或子系统。
在代码生成顾问窗口中,评审结果通过选择从左侧窗格检查。检查的结果显示在右边的面板中。
回顾检查结果之后,您可以选择修复警告和故障,所述修复一个模型顾问检查警告或失败。
当你指定一个效率或安全预防措施目标,代码生成顾问包括额外的检查。当你更改这些额外的检查之一,以前的检查结果可能成为无效,需要重新运行。
有关更多信息,请参见设定目标——代码生成顾问对话框
相关的话题
- 通过编程方式配置代码生成目标
- 推荐设置概要模型配置参数
- 推荐模型配置参数Polyspace分析(Polyspace Bug仪)
- 代码生成顾问检查