Kursprogramm

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



Kursprogramm

Ergebnisse 1 - 5 von 5
Datum Ort Sprache Preis Registrieren
07. Sep 2021-
08. Sep 2021
Online
9:00 am - 5:00 pm Standardzeit in Japan
Japanisch USD 1,500
05. Okt 2021-
06. Okt 2021
Online
9:00 am - 5:00 pm Mitteleuropäische Sommerzeit
Englisch USD 1,500
20. Okt 2021-
21. Okt 2021
Online
9:00 am - 5:00 pm Sommerzeit USA Pazifik
Englisch USD 1,500
04. Nov 2021-
05. Nov 2021
Online
9:00 am - 5:00 pm Standardzeit in Korea
Koreanisch USD 1,500
25. Nov 2021-
26. Nov 2021
Online
9:00 am - 5:00 pm Gesetzliche Zeit in China
Chinesisch USD 1,500
Ergebnisse 1 - 5 von 5

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 Kauf anfallende Steuern, Abgaben, Beiträge, Veranschlagungen und staatliche Gebühren werden auf der Bestellung ausgewiesen. Nähere Informationen finden Sie in den Schulungsrichtlinien.