主要内容

使用代码生成顾问配置代码生成目标的模型

考虑申请目标的效率,可追溯性和安全性,映射到模型配置集中的代码生成参数。您在“配置参数”对话框中设置的参数指定模拟模型和模型生成的代码的行为。

在生成代码之前,或作为代码生成过程的一部分,您可以使用代码生成顾问来查看模型。当您选择在生成代码之前查看型号时,可以指定代码生成顾问评论的哪个型号,子系统或引用模型。当您选择作为代码生成过程的一部分审核型号时,代码生成顾问审查整个系统。代码生成顾问使用所呈现的信息模型配置参数推荐的设置摘要确定满足目标的参数值。当多目标之间存在冲突时,优先级的目标优先。

设置代码生成目标,然后运行代码生成顾问提供有关如何满足模型的代码生成目标的信息。代码生成顾问不会更改生成的代码。您可以使用代码生成顾问为您的模型进行建议的更改。仅在修改模型和重新生成代码后才会更改生成的代码。当您使用代码生成顾问来设置代码生成目标并检查您的模型时,生成的代码包括标识您指定的目标的注释,代码生成顾问在模型上运行的检查以及运行检查的结果。

如果模型使用a配置参考,您可以运行代码生成顾问来查看配置参数设置。但是,代码生成顾问无法修改配置参数设置。

高级代码生成目标

根据您的模型代表的应用程序类型,您可能有特定的高级代码生成目标。例如,安全性和可追溯性比高效使用内存更为关键。如果您有特定的目标,您可以通过从这些代码生成目标中选择和优先级,快速配置模型以满足这些目标:

  • 执行效率(所有目标) - 配置代码生成设置以实现快速执行时间。

  • ROM效率(基于ERER的目标) - 配置代码生成设置以减少ROM使用情况。

  • RAM效率(基于ERE的目标) - 配置代码生成设置以减少RAM使用情况。

  • 可追溯性(基于ERER的目标) - 配置代码生成设置,以提供模型元素和代码之间的映射。

  • 安全预防措施(基于ERER的目标) - 配置代码生成设置,以提高代码的清晰度,确定性,鲁棒性和可验证性。

  • 调试(所有目标) - 配置代码生成设置以调试代码生成构建过程。

  • MISRA C:2012指南(基于ERE的目标) - 配置代码生成设置,以增加符合MISRA C:2012指南。

  • PolySpace(基于ERET的目标) - 配置代码生成设置以准备PolySpace的代码®分析。

如果您选择Misra C:2012指南代码生成目标,则代码生成顾问:

  • 检查模型配置设置以是否符合MISRA C:2012配置设置建议。

  • 检查不支持/ Misra C:2012兼容代码生成的块。金宝app

指定引用模型中的目标

在代码生成过程中检查模型时,必须在顶部模型和引用的模型中指定相同的目标。如果为顶部模型和引用的模型指定不同的目标,则构建过程会生成错误。

要为顶部模型和每个引用的模型指定不同的目标,请在不生成代码的情况下单独查看模型。

使用代码生成顾问配置模型

此示例显示如何使用代码生成顾问来检查和配置模型以满足代码生成目标:

  1. 在这一点C代码选项卡,单击C / C ++代码顾问

  2. 在“系统选择器”窗口中,选择要查看的型号或子系统,然后单击好的

  3. 在代码生成顾问中,在代码生成目标窗格,选择代码生成目标。在左窗格中选择目标时,代码生成顾问更新其在模型上运行的检查列表。如果您的模型配置为基于ERET的目标,则可以使用更多目标。对于此示例,该模型配置有基于ERET的目标。如果您的目标是执行效率和可追溯性,请执行以下操作:

    1. 可用目标,双击执行效率执行效率被添加到选定的目标 - 优先考虑

    2. 可用目标,双击可追溯性可追溯性被添加到选定的目标 - 优先考虑在下面执行效率

  4. 要运行代码生成顾问的左窗格中列出的检查,请单击运行选定的检查

  5. 在“代码生成顾问”窗口中,查看结果反对代码生成目标检查模型配置设置通过从左窗格中选择它。该检查的结果显示在右窗格中。

    反对代码生成目标检查模型配置设置触发警告这些问题:

    • 参数设置为除了用于指定代码生成目标的值的值以外的值。

    • 所选的代码生成目标不同于模型中设置的目标。

    点击修改参数设置:

    • 用于指定代码生成目标的值的参数。

    • 代码生成目标在代码生成顾问中指定的目标。

  6. 在“代码生成顾问”窗口中,通过从左窗格中选择它们来查看剩余检查的结果。检查右窗格中的检查结果。

  7. 查看检查结果后,您可以选择修复警告和故障,如下所述修复模型顾问检查警告或失败

当您指定效率或安全预防措施时,代码生成顾问包含额外的检查。当您对其中一个额外检查进行更改时,先前的检查结果可能会变得无效并且需要重新运行。

使用配置参数对话框配置代码生成目标的模型

此示例显示如何通过“配置参数”对话框来配置和检查模型以满足代码生成目标:

  1. 打开配置参数对话框。选择代码生成

  2. 指定系统目标文件。如果指定基于ert的目标,则可以使用更多目标。对于此示例,选择基于ERE的目标,例如ert.tlc.

  3. 点击设定目标

  4. 在里面设置目标 - 代码生成顾问对话框,指定您的目标。例如,如果您的目标是执行效率和可追溯性,则在该优先级中执行以下操作:

    1. 可用目标,双击执行效率执行效率被添加到选定的目标 - 优先考虑

    2. 可用目标,双击可追溯性可追溯性被添加到选定的目标 - 优先考虑在下面执行效率

    3. 接受目标,点击好的。在“配置参数”对话框中,代码生成>优先目标已更新。

  5. 在这一点代码生成窗格,点击检查模型

  6. 在“系统选择器”窗口中,选择要查看的型号或子系统,然后单击好的。代码生成顾问将打开和审查您指定的模型或子系统。

  7. 在“代码生成顾问”窗口中,通过从左窗格中选择检查来查看结果。右窗格中的检查显示结果。

  8. 查看检查结果后,您可以选择修复警告和故障,如下所述修复模型顾问检查警告或失败

当您指定效率或安全预防措施时,代码生成顾问包含额外的检查。当您对其中一个额外检查进行更改时,先前的检查结果可能会变得无效并且需要重新运行。

有关更多信息,请参阅设置目标 - 代码生成顾问对话框

相关话题