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, 日本語, 한국어, 中文

Vea los próximos cursos

Cursos relacionados

Embedded Coder para Generación de Código de Producción

Desarrolle modelos de Simulink para la implementación en sistemas embebidos. Entre los temas abordados están la estructuración y la ejecución de código, las opciones y optimizaciones de generación de código y la implementación de código en plataformas hardware.

Más información