Analisi Bug Finder sui cluster
È possibile configurare un'analisi Polyspace® Bug Finder™ sul desktop ed eseguirla su un server remoto con maggiore potenza di calcolo. Questo workflow richiede:
Una licenza Polyspace Bug Finder sul desktop.
Una licenza MATLAB® Parallel Server™ e una licenza Polyspace Bug Finder Server™ sul server.
Il server può essere una singola macchina o un sistema distribuito (cluster) composto da più macchine. In un cluster, una delle macchine funge da nodo principale e distribuisce i lavori di analisi alle altre macchine (nodi worker). Per ulteriori informazioni sui prodotti necessari per questo workflow, vedere Install Products for Submitting Polyspace Analysis from Desktops to Remote Server (Polyspace Code Prover).
Opzioni Polyspace
Eseguire l'analisi Bug Finder o Code Prover su un cluster remoto (-batch) | Enable batch remote analysis |
Funzioni
polyspaceJobsManager | Manage Polyspace jobs on a MATLAB Parallel Server cluster |
Classi
polyspace.Project | Run Polyspace analysis on C and C++ code and read results |
Argomenti
- 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.
