Calendario de cursos

Requisitos previos

Conocimiento avanzado de C o C++

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

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

Ver esquema detallado del curso



Calendario de cursos de MATLAB y Simulink

Actualmente no hay clases programadas para este curso.