Überprüfen von Polyspace-Ergebnissen

Kursbeschreibung

In diesem eintägigen, praxisorientierten Kurs interpretieren Sie Ergebnisse von Polyspace Bug Finder und Polyspace Code Prover in Polyspace Access, um algorithmische Fehler zu beheben, Softwarequalitätsmetriken zu verbessern und die Produktintegrität zu steigern. Der Kurs richtet sich an Entwickler, die Ergebnisse mit Polyspace Access überprüfen und ihre Software auf Grundlage dieser Ergebnisse anpassen müssen.

Themen sind unter anderem:

Überprüfen und Verstehen von Analyseergebnissen
Umgang mit nicht-bewiesenem Code (von Polyspace Code Prover orange markiert)
Umgang mit Codierungsregelverletzungen
Zusammenarbeit mit Kollegen über die Web-Schnittstelle

Tag 1 von 1

Analyse mit Polyspace Bug Finder

Ziel: Beheben von Fehlern und Erkennen von Codierungsregelverletzungen.

Überblick über das Polyspace Access-Dashboard
Analysieren und Verwalten von Fehlern mit Polyspace Bug Finder
Überprüfen von Verstößen gegen Programmierrichtlinien
Überprüfen von Codemetriken

Analysieren von Polyspace Code Prover-Ergebnissen

Ziel: Ergebnisse von Polyspace Code Prover fundiert bewerten.

Überblick über die abstrakte Interpretation
Analysieren des Aufrufbaums
Quellcode-Navigation
Ausführungspfade
Variablenwertebereiche
Globale Variablen

Verwalten von Polyspace Code Prover-Ergebnissen

Ziel: Handhaben von Verifikationsergebnissen mit unbewiesenen Checks. Verstehen, wie eine korrekte Einrichtung weitere Informationen zum Ausführungskontext bieten kann.

Bestimmen des Verifizierungsaufwands
Prüfen von Annahmen
Ausführen einer selektiven Überprüfung des orange markierten Codes
Priorisieren und Überprüfen orange markierter Checks
Überprüfen kontextspezifischer Ergebnisse mit Randbedingungen
Ermitteln von Hinweisen darauf, dass die Analyseoptionen geändert werden sollten

Integrations- und Applikationsanalyse

Ziel: Beurteilen von Integrationsproblemen, die von Polyspace Bug Finder und Polyspace Code Prover gefunden wurden. Vergleichen der Verifikation einzelner Units mit der Verifikation integrierter Komponenten.

Verstehen der Auswirkungen einer Integration auf die Verifikation
Überprüfen von Problemen, die nach Integration einer Komponente auftreten
Zusammenarbeit mit Kollegen über die Web-Schnittstelle

Stufe: Aufbaukurse

Voraussetzungen:

Kenntnisse in C oder C++ werden empfohlen.

Dauer: 1 Tag

Sprachen: English

Termin vereinbaren