Formación en MATLAB y Simulink

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