Polyspace Code Prover für C/C++ Codeverifikation

Dieser Kurs erklärt die Nutzung von Polyspace® Code ProverTM zum Nachweisen von Code-Korrektheit, Verbessern der Software-Qualität und Sicherstellen der Produktintegrität. Dieser Kurs ist für Ingenieure gedacht, die Software oder Modelle für eingebettete Systeme entwickeln. Der Kurs behandelt die folgenden Themen:

  • Erzeugen eines Verifikationsprojekts
  • Betrachten und Verstehen von Verifikationsresultaten
  • Nachbilden von Umgebungen für die Codeverifikation
  • Handhaben fehlender Daten und Funktionen
  • Umgang mit unbewiesenem Code (von Polyspace orange dargestellte Ergebnisse)
  • Anwenden von MISRA-C® Regeln
  • Erzeugen von Berichten

Schulungs-Formate

Format Kursdauer Kursbeschreibung

Trainingsraum

Die Kurse werden von einem MathWorks Trainer in einem vorbereiteten Schulungsraum durchgeführt. Die Trainings finden sowohl in unseren Niederlassungen als auch an ausgewählten Schulungsorten statt und können auch bei Ihnen vor Ort durchgeführt werden.

2 tage Details anzeigen

Online mit Trainer

Trainingsingenieure führen interaktiv durch diesen Kurs. Kursinhalte und -materialien sind dieselben wie bei Kursen in Trainingsräumen.

2 tage Details anzeigen

Voraussetzungen

Solide Kenntnisse in C oder C++