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
Voraussetzungen
Solide Kenntnisse in C oder C++
Detaillierte Kursbeschreibung anzeigen