Analyse Bug Finder sur des clusters
Vous pouvez configurer une analyse Polyspace® Bug Finder™ sur votre desktop et l’exécuter sur un serveur à distance plus puissant. Ce workflow nécessite :
Une licence Polyspace Bug Finder sur votre desktop.
Une licence MATLAB® Parallel Server™ et une licence Polyspace Bug Finder Server™ sur votre serveur.
Le serveur peut se présenter sous la forme d’un ordinateur unique ou d’un système distribué (cluster) composé de plusieurs ordinateurs. Dans un cluster, l'un des ordinateurs fait office de nœud principal et distribue les tâches d'analyse aux autres ordinateurs (nœuds de travail). Pour plus d’informations sur les produits qu’implique ce workflow, consultez Install Products for Submitting Polyspace Analysis from Desktops to Remote Server (Polyspace Code Prover).
Options Polyspace
Run Bug Finder or Code Prover analysis on a remote cluster (-batch) | Enable batch remote analysis |
Fonctions
polyspaceJobsManager | Manage Polyspace jobs on a MATLAB Parallel Server cluster |
Classes
polyspace.Project | Run Polyspace analysis on C and C++ code and read results |
Rubriques
- 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.
