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

Voraussetzungen

Solide Kenntnisse in C oder C++

Tag 1 von 3
Überblick über Polyspace-Prozesse	Ziel: Verstehen an welcher Stelle im Softwareentwicklungsprozess Polyspace Bug Finder und Polyspace Code Prover richtigerweise eingesetzt werden. Vertraut machen mit den Produkten anhand der Analyse eines einfachen C-Programms. Softwareentwicklungsprozesse mit Polyspace Einführendes Beispiel zur Codeverifikation Analyse von Defekten und Laufzeitfehlern
Codeanalyse mit Polyspace Bug Finder	Ziel: Analysieren von Code, der nicht ANSI-C konform ist. Berücksichtigen der Laufzeitumgebung und des Ausführungskontexts. Typische Artefakte einer Laufzeitumgebung Verifizieren von prozessorspezifischem Code Definieren des Ausführungskontext Berücksichtigen der Zielhardware Analysieren und Handhaben von Defekten Aufspüren von Programmierrichtlinienverletzungen
Analysieren von Polyspace Code Prover-Ergebnissen	Ziel: Nutzen verschiedener Werkzeuge des Polyspace Code Prover, um durch die Ergebnisse des Polyspace Code Prover zu navigieren, und um diese zu interpretieren. Überblick über die abstrakte Interpretation Analysieren des Aufrufbaums Navigieren durch den Quellcode Analysieren der Ausführungspfade Untersuchen der Wertebereiche von Variablen Analysieren der Zugriffe auf globale Variablen
Checks zur Codeverifikation	Ziel: Untersuchen von Verifikationsergebnissen, um das Verhalten der unterschiedlichen Checks kennenzulernen, und um Polyspace Code Prover zu Ihrem Entwicklungsprojekt passend zu konfigurieren. Überblick über C-Quellcode-Checks Lokalisieren der Checks im Quellcode Interpretieren der Checkbeschreibungen Einstellen relevanter Optionen

Tag 2 von 3
Bewerten von Verifikationsergebnissen	Ziel: Handhaben von Ergebnissen mit zahlreichen unbewiesenen Checks. Bestimmen des Verifikationsaufwands Durchführen eines schnellen Reviews Untersuchen ausgewählter unbewiesener Checks Einstellen der Verifikationsgenauigkeit Priorisieren unbewiesener Checks Durchführen eines Reviews unbewiesener Checks
Präzisieren von Verifikation mit Polyspace Code Prover	Ziel: Anpassen der Art und Weise mit der Polyspace Code Prover fehlenden Code behandelt, um die Verifikation eines Softwaremoduls sinnvoll zu präzisieren. Einfluss von fehlendem Aufrufkontext auf die Verifikation Stubben von Funktionen Einschränken von Wertebereichen Schreiben von manuellen Funktionsstubs
Integrationsanalyse	Ziel: Analysieren und Beheben von Problemen, die sich bei der Codeintegration mehrerer zusammenhängender Softwaremodule ergebenden. Verwalten von Modulen Analysieren von sich bei der Integration ergebenden Defekten und Richtlinienverletzungen mit Polyspace Bug Finder und Polyspace Code Prover Importieren von Reviewinformationen
Softwarequalität ermitteln und dokumentieren	Ziel: Sammeln der Verifikationsergebnisse in Polyspace Metrics und Erstellen von Berichten, um die Ergebnisse zu dokumentieren und an Dritte zu verteilen. Verteilen von Ergebnissen Verwenden von Polyspace Metrics Überprüfen des Software-Qualitätsniveaus Erstellen von Dokumentation
Analyse einer kompletten Applikation	Ziel: Anwenden verschiedener Verfahren und Optionseinstellungen um den kompletten Code einer Applikation zu analysieren. Aufsetzen einer Applikationsverifikation Verbessern der Ergebnisse einer Applikationsverifikation Aufspüren von Problemen mit Nebenläufigkeit Vergleichen von robuster und kontextueller Verifikation

Tag 3 von 3
Hands-on Übungen (nur bei Vor-Ort-Schulungen)	Ziel: Anwenden des Gelernten auf den eigenen Code und integrieren von Polyspace Bug Finder und Polyspace Code Prover in einen Entwicklungsprozess. Mögliche Themen sind: Bug Finder-Checks Verifikation von C++-Code Nebenläufigkeit und Analyse gemeinsamer Variablen Verifikation automatisch generierten Codes Review des Entwicklungsprozesses Prozessintegration Client/Server-Installation Polyspace für ein Projekt konfigurieren Interpretation der Ergebnisse

Termin garantiert.

Bei Anmeldung für einen dieser Kurse ist sichergestellt, dass der Kurs zum angegebenen Termin stattfindet und nicht verschoben oder storniert wird.

Termine und Anmeldung

Résultats 1 - 2 von 2

Datum	Ort	Sprache	Preis	Anmelden
22 Apr 2020- 23 Apr 2020	Online Asia Shanghai Dst	Chinese	USD 1.500
25 Jun 2020- 26 Jun 2020	Online 9:00 Uhr bis 17:00 Uhr US-amerikanische östliche Sommerzeit	English	USD 1.500

Résultats 1 - 2 von 2

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.