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 - 9 von 9
Datum Ort Sprache Preis Anmelden
18 Jun 2018-
19 Jun 2018
US, Massachusetts, Natick English USD 1.500
12 Jul 2018-
13 Jul 2018
China, 北京 Chinese CNY 5.500
13 Aug 2018-
14 Aug 2018
Republik Korea, Seoul Korean KRW 900.000
27 Aug 2018-
28 Aug 2018
US, Michigan, Novi English USD 1.500
20 Sep 2018-
21 Sep 2018
China, 上海 Chinese CNY 5.500
25 Okt 2018-
26 Okt 2018
Online
9:00 Uhr bis 17:00 Uhr US-amerikanische östliche Sommerzeit
English USD 1.500
20 Nov 2018-
21 Nov 2018
Deutschland, Aachen German EUR 1.400
26 Nov 2018-
27 Nov 2018
US, Michigan, Novi English USD 1.500
27 Nov 2018-
28 Nov 2018
China, 北京 Chinese CNY 5.500
Résultats 1 - 9 von 9

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.