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

Voraussetzungen

Solide Kenntnisse in C oder C++


Termine und Anmeldung

Résultats 1 - 6 von 6
Datum Ort Sprache Preis Anmelden
08 Aug 2019-
09 Aug 2019
Online
9:00 Uhr bis 17:00 Uhr US-amerikanische östliche Sommerzeit
English USD 1.500
18 Sep 2019-
19 Sep 2019
Deutschland, München (Ismaning) English EUR 1.400
03 Okt 2019-
04 Okt 2019
Frankreich, Paris (Meudon) French EUR 1.400
28 Okt 2019-
29 Okt 2019
US, Michigan, Novi English USD 1.500
05 Nov 2019-
06 Nov 2019
China, 北京 Chinese CNY 6.000
28 Nov 2019-
29 Nov 2019
Indien, Bangalore English INR 30.000
Résultats 1 - 6 von 6

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.