Servicios de formación

Polyspace Code Prover for C/C++ Code Verification

This three-day course discusses the use of Polyspace® Code Prover to prove code correctness, improve software quality metrics, and ensure product integrity. This hands-on course is intended for engineers who develop software or models targeting embedded systems. Topics include:

  • Creating a verification project
  • Reviewing and understanding verification results
  • Emulating target execution environments
  • Handling missing functions and data
  • Managing unproven code (color-coded in orange by Polyspace products)
  • Applying MISRA-C® rules
  • Reporting

Please Note: A 1 hour test session will be scheduled one day prior to the first day of class. This test session will cover viewing and audio troubleshooting as well as software installation (content will be presented during the remaining days). It is highly recommended that you attend this session to ensure a successful start to the class.

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

2 days 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

Strong knowledge of C, C++, or Ada