Servicios de formación

Polyspace Code Prover para la Verificación de Código C/C++

Este curso de dos días está dirigido a ingenieros de software y se centra en verificar que el código está libre de errores en tiempo de ejecución. Temas incluidos:

  • Creando un proyecto de verificación
  • Revisar y comprender los resultados de la verificación
  • Emulando entornos de ejecución del target
  • Manejo de funciones y datos que faltan
  • Gestión de código no probado (de color naranja en los productos PolySpace)
  • Aplicando las reglas MISRA®
  • Creación de informes

Training Formats

Formato Duración del curso Programa detallado del curso

En aula

Los cursos son impartidos por un instructor de MathWorks en un aula preparada para ello. Estas aulas están situadas en las instalaciones de MathWorks y en ubicaciones públicas de todo el mundo; también puede impartirse la formación en sus instalaciones

3 días Ver detalles

e-learning En Directo

Los cursos son virtuales impartidos en directo por un instructor de MathWorks y tanto el contenido como el material es idéntico a los de los cursos presenciales

2 days Ver detalles

Prerrequisitos

Amplios conocimientos de C, C++