在集群上进行 Code Prover 分析
在远程集群上检查 C/C++ 代码中是否存在运行时错误
您可以在桌面端配置 Polyspace® Code Prover™ 分析，在计算能力更强的远程服务器上执行分析。此工作流需要：
桌面端有 Polyspace Bug Finder™ 许可证。
服务器端有 MATLAB® Parallel Server™ 许可证和 Polyspace Code Prover Server™ 许可证。
服务器可以是单台计算机，也可以是由多台计算机组成的分布式系统（集群）。在集群中，其中一台计算机充当主节点，并将分析作业分发给其他计算机（工作进程节点）。有关此工作流需要的产品的详细信息，请参阅安装用于将 Polyspace 分析从桌面端提交到远程服务器端的产品。
Polyspace 选项
在远程集群上运行 Bug Finder 或 Code Prover 分析 (-batch) | Enable batch remote analysis |
函数
polyspaceJobsManager | 管理 MATLAB Parallel Server 集群中的 Polyspace 作业 |
类
polyspace.Project | Run Polyspace analysis on C and C++ code and read results |
主题
- 安装用于将 Polyspace 分析从桌面端提交到远程服务器端的产品
配置服务器-客户端连接，使客户端可以将 Polyspace 分析负载转移到远程服务器端并在分析后下载结果。
- Send Polyspace Analysis from Desktop to Remote Servers
Send Polyspace analysis jobs to a remote server from the Polyspace user interface.
- Send Polyspace Analysis from Desktop to Remote Servers Using Scripts
Send Polyspace analysis jobs to a remote server by using batch files (
.bat) or shell scripts (.sh). - 使用 MATLAB 脚本运行 Polyspace 分析
通过 Bug Finder 或 Code Prover 使用 M 文件检查 C/C++ 代码，在桌面端或远程服务器端本地运行分析。
