Polyspace para la verificación de código C/C++
Detalles del curso
Este curso práctico de dos días analiza el uso de Polyspace Code Prover™ para probar la exactitud del código, mejorar las métricas de calidad del software y garantizar la integridad del producto. El curso está destinado a ingenieros que desarrollan software o modelos destinados a sistemas embebidos. Tenga en cuenta que hay un tercer día disponible opcional solo para la formación presencial.
Temas incluidos:
- Crear un proyecto de verificación
- Revisar y comprender los resultados de la verificación
- Emular entornos de ejecución de destino
- Manejar funciones y datos ausentes
- Gestionar el código no probado (codificado en color naranja por productos de Polyspace®)
- Aplicar reglas de MISRA C®
- Crear informes con los resultados del análisis
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 desarrollo de software con Polyspace
- Ejemplo de verificación simple
- Analizar defectos y errores de tiempo de ejecución
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.
- Artefactos habituales del entorno de tiempo de ejecución
- Manejar código específico del procesador
- Definir el contexto de ejecución
- Definir la información del hardware de destino
- Analizar y gestionar defectos de Polyspace Bug Finder
- Detectar infracciones de las reglas de codificación
- Medir métricas de código
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
- Análisis del árbol de llamadas
- Navegación por el código fuente
- Vías de ejecución
- Rangos de variables
- Variables globales
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
- Ubicación de las comprobaciones en el código fuente
- Descripción de las comprobaciones
- 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.
- Determinar el esfuerzo de la verificación
- Realizar una revisión rápida
- Revisar una sección de color naranja
- Configurar la precisión de la verificación
- Priorizar las comprobaciones de color naranja
- Revisar las comprobaciones de color naranja
Aumento de la precisión de las verificaciones de Polyspace Code Prover
Objetivo: Gestione los resultados de verificación que contengan un gran número de comprobaciones no probadas.
- Determinar el esfuerzo de la verificación
- Realizar una revisión rápida
- Revisar una sección de color naranja
- Configurar la precisión de la verificación
- Priorizar las comprobaciones de color naranja
- Revisar las comprobaciones de color naranja
Análisis de integración
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.
- Gestionar módulos de código
- Analizar defectos de integración e infracciones de reglas con Polyspace Bug Finder y Polyspace Code Prover
- Importar comentarios
Análisis de aplicaciones
Objetivo: Revise los procedimientos y las opciones útiles para verificar aplicaciones completas.
- Configurar la verificación de una aplicación
- Mejorar los resultados de la verificación de una aplicación
- Detectar problemas de simultaneidad
- Comparar la solidez y la verificación contextual
- 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
Nivel: Intermedio
Prerrequisitos:
- Conocimiento avanzado de C o C++
Duración: 2 días
Idiomas: English, 日本語, 한국어, 中文