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

Voraussetzungen

Solide Kenntnisse in C oder C++

Detaillierte Kursbeschreibung anzeigen