Bug Finder Analysis on Clusters
You can configure a Polyspace® Bug Finder™ analysis on your desktop and perform the analysis on a remote server with more computing power. This workflow requires:
A Polyspace Bug Finder license on your desktop.
A MATLAB® Parallel Server™ license and a Polyspace Bug Finder Server™ license on your server.
The server can be a single machine or a distributed system (cluster) consisting of several machines. In a cluster, one of the machines acts as the head node and distributes analysis jobs to the other machines (worker nodes). For more information on products required for this workflow, see Install Products for Submitting Polyspace Analysis from Desktops to Remote Server (Polyspace Code Prover).
Polyspace Options
Run Bug Finder or Code Prover
analysis on a remote cluster (-batch) | Enable batch remote analysis |
Functions
polyspaceJobsManager | Manage Polyspace jobs on a MATLAB Parallel Server cluster |
Classes
polyspace.Project | Run Polyspace analysis on C and C++ code and read results |
Topics
- Install Products for Submitting Polyspace Analysis from Desktops to Remote Server
Configure server-client connection so that clients can offload the Polyspace analysis to a remote server and download results after analysis.
- 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). - Run Polyspace Analysis by Using MATLAB Scripts
Check C/C++ code with Bug Finder or Code Prover using M-files, run analysis locally on desktop or remote server.
You can also select a web site from the following list
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)