推荐用于 Polyspace 分析的模型配置参数

在分析生成代码之前，请检查您的模型配置是否针对 Polyspace® 分析进行了优化。将以下参数设置为推荐值。如果不使用 SystemTargetFile 的推荐值，您将收到错误消息。对于其他参数，如果不使用推荐值，则会收到警告。

分组命令行配置中的名称和位置建议理由
代码生成

名称：SystemTargetFile (Simulink Coder)

值：Embedded Coder® 目标语言编译器 (TLC) 文件。

例如，ert.tlc 或 autosar.tlc。

位置：代码生成

名称：系统目标文件

值：Embedded Coder 目标文件

Polyspace 支持基于 ert.tlc 或 autosar.tlc 的目标。

名称：MatFileLogging (Simulink Coder)

值：'off'

位置：代码生成 > 界面

名称：MAT 文件记录

值： 未选定

禁用 MAT 文件日志记录可提升 Polyspace 分析的精度。

名称：GenerateSampleERTMain (Embedded Coder)

值：'off'

位置：代码生成 > 模板

名称：生成示例主程序

值： 未选定

Polyspace 在分析之前删除示例主程序（如果生成了示例主程序）。

名称：GenerateComments (Simulink Coder)

值：'on'

位置：代码生成 > 注释

名称：包括注释

值： 已选定

包括注释允许从生成代码导航到模型的相应部分。此外，Embedded Coder 还可以自动插入注释来申述某些编码违规行为。
优化

名称：DefaultParameterBehavior (Simulink Coder)

值：'Inlined'

位置：优化

名称：默认参数行为

值：内联

值 Inlined 提高了 Polyspace 分析的精度。如果要对参数指定外部约束，请将值设置为 Tunable。

名称：InitFltsAndDblsToZero (Simulink Coder)

值：'on'

位置：优化

名称：使用 memset 将浮点值和双精度初始化为 0.0

值： 未选定

使用 memset() 将浮点数和双精度浮点数初始化为 0.0 可能会在 Polyspace 分析中导致额外的违规和橙色提示。

名称：ZeroExternalMemoryAtStartup (Embedded Coder)

值：'off'

位置：优化

名称：删除根级 I/O 零初始化

值： 已选定

未选择此配置参数可能导致误报的违规或出现更多橙色检查项。
求解器

名称：SolverType (Simulink)

值：'Fixed-Step'

位置：求解器

名称：类型

值：定步长

使用定步长求解器可提高 Polyspace 分析的精度。

名称：Solver (Simulink)

值：'FixedStepDiscrete'

位置：求解器

名称：求解器

值：离散(无连续状态)

使用离散求解器可提高 Polyspace 分析的精度。

除了设置上述模型配置参数外，您还可以使用代码生成顾问来检查模型与生成代码的 Polyspace 分析的兼容性。请参阅Analyze Code and Perform Software-in-the-Loop Testing (Simulink Check)。