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
  • Dokumentieren von Ergebnissen

Detaillierte Kursbeschreibung anzeigen



Kursprogramm

Ergebnisse 1 - 12 von 12
Datum Ort Sprache Preis Registrieren
26. Mai 2022 - 27. Mai 2022 Virtuell
9:00 am - 5:00 pm Standardzeit in Korea
Koreanisch USD 1,500
14. Jun 2022 - 15. Jun 2022 Virtuell
9:00 am - 5:00 pm Mitteleuropäische Sommerzeit
Englisch USD 1,500
21. Jun 2022 - 22. Jun 2022 Virtuell
9:00 am - 5:00 pm Gesetzliche Zeit in China
Chinesisch USD 1,500
23. Jun 2022 - 24. Jun 2022 Virtuell
9:00 am - 5:00 pm Standardzeit in Indien
Englisch USD 1,500
25. Aug 2022 - 26. Aug 2022 Virtuell
9:00 am - 5:00 pm Standardzeit in Japan
Japanisch USD 1,500
06. Sep 2022 - 07. Sep 2022 Virtuell
9:00 am - 5:00 pm Mitteleuropäische Sommerzeit
Englisch USD 1,500
06. Sep 2022 - 07. Sep 2022 Virtuell
9:00 am - 5:00 pm Gesetzliche Zeit in China
Chinesisch USD 1,500
22. Sep 2022 - 23. Sep 2022 Virtuell
9:00 am - 5:00 pm Sommerzeit USA Pazifik
Englisch USD 1,500
03. Nov 2022 - 04. Nov 2022 Virtuell
9:00 am - 5:00 pm Standardzeit in Korea
Koreanisch USD 1,500
29. Nov 2022 - 30. Nov 2022 Virtuell
9:00 am - 5:00 pm Mitteleuropäische Zeit
Englisch USD 1,500
13. Dez 2022 - 14. Dez 2022 Virtuell
9:00 am - 5:00 pm Gesetzliche Zeit in China
Chinesisch USD 1,500
15. Dez 2022 - 16. Dez 2022 Virtuell
9:00 am - 5:00 pm Standardzeit in Japan
Japanisch USD 1,500
Ergebnisse 1 - 12 von 12

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.