Esta página es para la versión anterior. La página correspondiente en inglés ha sido eliminada en la versión actual.
Configuración de ejecución
Análisis remoto, repositorio de resultados
Para especificar que el análisis de Bug Finder se debe realizar en un servidor remoto o que debe producir resultados más rápido que el modo de análisis normal, utilice la opción de configuración de ejecución.
Opciones de Polyspace
Ejecutar el análisis de Bug Finder o Code Prover en un cluster remoto (-batch) | Enable batch remote analysis |
Utilizar el modo de análisis rápido para Bug Finder (-fast-analysis) | Run analysis using faster local mode |
Temas
- Specify Polyspace Analysis Options
Specify Polyspace® analysis options in Polyspace user interface, other IDE-s or scripts.
- Bug Finder Results Found in Fast Analysis Mode
Learn about the subset of defects and coding rules that Bug Finder checks in fast analysis mode.
- 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).
