Termine und Anmeldung

Voraussetzungen

Solide Kenntnisse in C oder C++

Polyspace für C/C++-Codeverifikation

In diesem Kurs ermitteln und verbessern Sie die Qualität von eingebetteter Software mittels Polyspace® Bug Finder und Polyspace Code Prover. An unterschiedlichen Punkten des Entwicklungsprozesses spüren Sie potentielle Defekte in C-Code auf und überprüfen den Code auf Richtlinienkonformität. Schließlich weisen Sie nach, dass der Code frei von Laufzeitfehlern ist.
Themen sind unter anderem:

  • Codeanalyse und Codeverifikation im Verlauf von Softwareentwicklungsprozessen
  • Verstehen und Bewerten von Verifikationsresultaten
  • Nachbilden des Ausführungskontexts für die Codeverifikation
  • Nachbilden fehlender Daten und Funktionen
  • Handhaben von nicht-bewiesenem Code (von den Polyspace Produkten orange markiert)
  • Überprüfen von MISRA-C®-Konformität
  • Erzeugen von Reporten

Detaillierte Kursbeschreibung anzeigen


MATLAB und Simulink Kursprogramm

Die Durchführung dieses Kurses ist derzeit nicht geplant.