Esta página es para la versión anterior. La página correspondiente en inglés ha sido eliminada en la versión actual.
Encontrar defectos e infracciones de los estándares de codificación en código C/C++ en la interfaz de usuario de la plataforma Polyspace
La plataforma Polyspace es un entorno integrado que admite análisis estáticos y pruebas dinámicas de código C/C++ con productos de Polyspace®. Este tema muestra cómo empezar a encontrar defectos (bugs) e infracciones de los estándares de codificación en la interfaz de usuario de la plataforma Polyspace.
Para obtener más información sobre:
La plataforma Polyspace, consulte Polyspace Platform: A Unified Platform for Static Analysis and Dynamic Testing (Polyspace Test).
Cómo buscar errores en tiempo de ejecución, consulte .
Cómo escribir y ejecutar pruebas, consulte Write C/C++ Unit Tests in Polyspace Platform User Interface (Polyspace Test).
Paso 1: Crear un proyecto y agregar código
Para encontrar defectos e infracciones de los estándares de codificación en la interfaz de usuario de la plataforma Polyspace, agregue las fuentes C/C++ a un proyecto. Más adelante, ejecutará Polyspace Bug Finder™ en los archivos de este proyecto.
Para crear un nuevo proyecto, haga clic en New en la barra de herramientas. Desplácese hasta la ubicación adecuada y guarde el proyecto. El nuevo proyecto aparece en el panel Projects.
Haga clic con el botón secundario en el nodo Code del proyecto y seleccione Add Source File(s) (o Add Source Folder para agregar una carpeta que contenga fuentes). Desplácese hasta los archivos fuente y agregue los archivos. Puede mantener pulsada la tecla Ctrl para seleccionar varios archivos juntos (o usar Mayús para seleccionar dos archivos y agregar todos los archivos que se encuentren en medio).
Paso 2: Configurar opciones
Haga doble clic en el nodo Configuration del proyecto. En el panel Configuration, especifique las opciones de análisis según sea necesario. En especial:
En la pestaña Build, especifique las opciones en el nodo Target & Compiler para emular su compilador.
En la pestaña Static Analysis, en el nodo Defects and Coding Standards, especifique los comprobadores que desea activar.
Para ver la lista completa de opciones, consulte Polyspace Bug Finder Options in Polyspace Platform User Interface.
Paso 3: Ejecutar análisis
En la barra de herramientas, seleccione Find Issues para iniciar el análisis de Polyspace Bug Finder.
Paso 4: Revisar los resultados
Una vez finalizado el análisis, podrá ver un nodo Defects en el panel Results. Haga clic con el botón secundario en ese nodo y seleccione Open Review para abrir los resultados.
Los resultados constan de tres paneles:
Results List: Lista completa de hallazgos (defectos e infracciones de los estándares de codificación).
Source: Código fuente analizado. Si selecciona un hallazgo en el panel Results List, podrá desplazarse hasta la ubicación correspondiente en el código fuente.
Result Details: Detalles de cada hallazgo. Si selecciona un hallazgo en el panel Results List, podrá consultar más información sobre ese resultado.
