Polyspace para la verificación de código C/C++

Día 1 de 3

Visión general del flujo de trabajo de Polyspace

Objetivo: Familiarícese con Polyspace Bug Finder y Polyspace Code Prover y trabaje en un ejemplo introductorio.

• Flujos de trabajo de verificación de código
• Ejecutar un análisis de Bug Finder
• Ejecutar una verificación de Code Prover
• Analizar y solucionar problemas de software

Análisis de Polyspace Bug Finder

Objetivo: Analice código que puede no ser compatible con ANSI C, tenga en cuenta el entorno de tiempo de ejecución, y corrija defectos e infracciones de las reglas de codificación mediante Polyspace Bug Finder.

• Crear un proyecto de Polyspace
• Artefactos habituales del entorno de tiempo de ejecución
• Manejar código específico del procesador
• Definir la información del hardware objetivo
• Analizar los defectos en Polyspace Bug Finder
• Analizar las infracciones de las reglas de MISRA C
• Medir métricas de código
• Proyectos de plantillas

Análisis de resultados de Polyspace Code Prover

Objetivo: Obtenga conocimientos avanzados en la interpretación de los resultados de Polyspace Code Prover.

• Visión general de la interpretación abstracta
• Analizar el árbol de llamadas
• Navegar por el código fuente
• Interpretar los resultados de Polyspace Code Prover
• Ver el uso de variables globales en el código fuente

Comprobación de verificación del código

Objetivo: Identifique errores de tiempo de ejecución con los diagnósticos disponibles en Polyspace Code Prover.

• Visión general de las comprobaciones de código fuente C
• Comprobar errores de tiempo de ejecución de Polyspace Code Prover
• Opciones de verificación relevantes

Día 2 de 3

Gestión de verificaciones y resultados de Polyspace Code Prover

Objetivo: Gestione los resultados de verificación que contengan un gran número de comprobaciones no probadas.

• Flujos de trabajo de verificación de Code Prover
• Control de la secuencia de ejecución del programa
• Priorizar las comprobaciones de error de tiempo de ejecución de color naranja

Aumento de la precisión de las verificaciones de Polyspace Code Prover

Objetivo: Aprenda cómo Polyspace Code Prover trata el código ausente durante la verificación y cómo modificar este comportamiento para generar verificaciones más significativas.

• Verificación de la solidez y verificación contextual
• Procesamiento con stubs automático
• Especificación de rango de datos
• Procesamiento manual con stubs

Análisis de integración con Polyspace Access

Objetivo: Aprenda a gestionar resultados de verificación con una complejidad de código cada vez mayor usando Polyspace Access™. Descubra cómo interpretar y comparar los análisis integrados con análisis robustos.

• Flujos de trabajo posteriores al envío con Polyspace Access
• Verificación contextual
• Detectar defectos de integración y errores de tiempo de ejecución

Análisis de aplicaciones

Objetivo: Revise los procedimientos y las opciones útiles para verificar aplicaciones completas.

• Problemas en el software de aplicación
• Análisis de problemas de acceso simultáneo a datos
• Sustitución de funciones de montaje o hardware
• Gestión del código de terceros en Polyspace
• Crear documentación

Día 3 de 3

Instrucción práctica (opcional)

Objetivo: Dedique tiempo a revisar lo aprendido y a aplicar Polyspace directamente en un proyecto propio. Posibles temas incluidos:

• Comprobaciones en Polyspace Bug Finder
• Verificación de código C++
• Análisis de datos compartidos y tareas
• Verificación del código generado
• Revisión del proceso de desarrollo
• Integración del flujo de trabajo
• Instalación del software cliente-servidor
• Configuración de Polyspace para código del proyecto
• Interpretación de resultados

Anexo F: Análisis de integración con Polyspace Desktop

Objetivo: Aprenda a gestionar verificaciones con una complejidad de código cada vez mayor, y a interpretar y comparar los análisis integrados con análisis robustos.

• Verificación contextual
• Crear nuevos módulos
• Detectar defectos de integración y errores de tiempo de ejecución