Coronavirus-Ausbruch 2019 (COVID-19) Update

Aufgrund erhöhter Besorgnis über den Ausbruch von COVID-19 bieten wir weitere, von Ausbildern geleitete Online-Kurse als Alternative zu regulärem Unterricht an.

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. Beachten Sie, dass Tag 3 nur bei Schulungen vor Ort optional möglich 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.