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
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 |
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.