10、在Simulink中配置Polyspace选项及代码分析详解

在Simulink中配置Polyspace选项及代码分析详解

一、Polyspace选项配置

在分析生成的代码时，我们可以配置基本和高级的Polyspace选项，并且这些配置可以在多次分析中重复使用。

1.1 设置基本选项

在Simulink配置参数窗口中设置基本的Polyspace选项，操作步骤如下：
1. 打开Simulink配置参数窗口，点击“Apps”选项卡。
2. 选择“Polyspace Code Verifier”。
3. 在“Polyspace”选项卡中，选择“Settings”或者“Settings > Polyspace Settings”。

1.2 设置高级选项

高级选项会出现在配置面板中，当手动为手写代码创建项目时，该面板也会在Polyspace用户界面中出现。打开高级选项的步骤如下：
1. 在“Polyspace”选项卡中，选择“Settings > Project Settings”。
2. 在这个面板中，我们可以指定高级设置：
- 在“Run Settings”面板中，选择在远程集群上运行代码分析的选项。或者，在“Advanced Settings”面板的“Other”字段中，使用“Run Bug Finder or Code Prover analysis on a remote cluster (-batch)”选项。如果使用此选项，在开始分析后，可以通过“Job Monitor”窗口在远程集群上跟踪分析进度，在“Polyspace”选项卡中选择“Remote Job Monitor”。
- 在“Inputs &