Análisis de Bug Finder en clusters
Puede configurar un análisis de Polyspace®Bug Finder™ en el escritorio y realizar el análisis en un servidor remoto con más potencia de computación. Este flujo de trabajo requiere:
Una licencia de Polyspace Bug Finder en el escritorio.
Una licencia de MATLAB® Parallel Server™ y una licencia de PolyspaceBug FinderServer™ en el servidor.
El servidor puede ser un solo equipo o un sistema distribuido (cluster) que conste de varios equipos. En un cluster, uno de los equipos actúa como el nodo principal y distribuye trabajos de análisis a los otros equipos (nodos worker). Para obtener más información sobre productos necesarios para este flujo de trabajo, consulte Install Products for Submitting Polyspace Analysis from Desktops to Remote Server (Polyspace Code Prover).
Opciones de Polyspace
Ejecutar análisis de Bug Finder o Code Prover en un cluster remoto (-batch) | Enable batch remote analysis |
Funciones
polyspaceJobsManager | Manage Polyspace jobs on a MATLAB Parallel Server cluster |
Clases
polyspace.Project | Run Polyspace analysis on C and C++ code and read results |
Temas
- 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.