主要内容

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

考虑应用程序的目标(例如效率、可跟踪性和安全性)如何映射到模型配置集中的代码生成参数。您在“配置参数”对话框中设置的参数指定模拟中模型的行为和为模型生成的代码。

在生成代码之前,或者作为代码生成过程的一部分,您可以使用代码生成顾问来检查模型。当您选择在生成代码之前检查模型时,您指定了代码生成顾问检查的模型、子系统或引用模型。当您选择将评审模型作为代码生成过程的一部分时,代码生成顾问将评审整个系统。代码生成顾问使用中显示的信息建议的设置摘要模型配置参数来确定满足您的目标的参数值。当多个目标之间发生冲突时,优先级较高的目标优先。

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

如果一个模型使用配置引用,您可以运行代码生成顾问来检查配置参数设置。但是,代码生成顾问不能修改配置参数设置。

高级代码生成目标

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

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

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

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

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

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

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

  • MISRA C:2012指南(基于ert的目标)-配置代码生成设置以增加对MISRA C:2012指南的遵从性。

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

如果您选择MISRA C:2012准则代码生成目标,代码生成顾问:

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

  • 检查MISRA C:2012兼容代码生成不支持或不推荐的块。金宝app

在参考模型中指定目标

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

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

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

这个例子展示了如何使用代码生成顾问来检查和配置您的模型,以满足代码生成目标:

  1. C代码选项卡上,单击C / C ++代码顾问

  2. 在System Selector窗口中,选择要检查的模型或子系统,然后单击好的

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

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

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

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

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

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

    • 参数被设置为指定代码生成目标的推荐值之外的值。

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

    点击修改参数设置:

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

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

  6. 在Code Generation Advisor窗口中,通过从左侧窗格中选择其余检查的结果来检查它们。检查的结果显示在右窗格中。

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

当您指定一个效率或安全预防目标时,代码生成顾问包括额外的检查。当您对这些附加检查之一进行更改时,以前的检查结果可能会失效,需要重新运行。

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

这个例子展示了如何通过配置参数对话框配置和检查你的模型以满足代码生成目标:

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

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

  3. 点击设定目标

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

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

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

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

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

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

  7. 在Code Generation Advisor窗口中,通过从左侧窗格中选择一个检查来查看结果。该检查的结果显示在右侧窗格中。

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

当您指定一个效率或安全预防目标时,代码生成顾问包括额外的检查。当您对这些附加检查之一进行更改时,以前的检查结果可能会失效,需要重新运行。

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

相关的话题