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



Termine und Anmeldung

Résultats 1 - 1 von 1
Datum Ort Sprache Preis Anmelden
03 Okt 2019-
04 Okt 2019
Frankreich, Paris (Meudon) French EUR 1.400
Résultats 1 - 1 von 1

Die Preise gelten für den Erwerb und die Nutzung in USA, Um Preise für andere Regionen zu erfragen, kontaktieren Sie den Vertrieb. Der angegebene Preis enthält keine Umsatz- oder Mehrwertsteuer bzw. andere Steuern. Eventuell für diesen Erwerb anfallende Steuern, Abgaben oder Gebühren werden auf der Bestellung ausgewiesen. Nähere Informationen finden Sie unter MathWorks Schulungsrichtlinien.