8、在Simulink中运行Polyspace分析：生成代码与自定义代码分析指南

在Simulink中运行Polyspace分析：生成代码与自定义代码分析指南

1. 使用打包选项文件对生成代码运行Polyspace分析

在Simulink中，直接从工具条启动Polyspace分析时，分析会考虑特定于模型的上下文，如设计范围。而在Simulink外部运行Polyspace分析时，则需要使用选项文件来指定模型特定信息。可以使用 polyspacePackNGo 函数生成并打包选项文件，而非手动编写。

在Simulink外部运行Polyspace分析时保留模型上下文信息在多种情况下都很有用：
- 分布式工作流 ：Simulink用户从模型生成代码并发送到其他开发环境，Polyspace用户（可能没有Simulink）可对生成的代码进行单独分析，通过使用打包的选项文件，能在分析中保留设计范围和其他模型特定信息。
- Simulink中不可用的分析选项 ：某些Polyspace分析选项仅在与Simulink分开运行分析时可用，使用打包选项文件可在保留模型特定信息的同时进行单独分析，例如分析生成代码中的并发线程。

运行 polyspacePackNGo 函数必须有Simulink，但从Simulink模型生成选项文件不需要Polyspace。该函数支持Embedded Coder和TargetLink生成的代码。

生成并打包Polyspace选项文件

要生成并打包用于分析Simulink模型生成代码的Polyspace选项文件，可按以下步骤操作：
1. 在Simul