Aufgezeichnetes Webinar:: Einführung in PolySpace zur Verifikation von Quellcode auf Laufzeitfehler

Bitte füllen Sie das Formular aus, um dieses und weitere aufgezeichnete Webinare anzuschauen.

Die Kosten für Test und Review der Quellcodes von Software steigen aufgrund der stetig zunehmenden Komplexität überproportional an. Dies gilt insbesondere für sicherheitskritische Systeme.

Mit neuen ausgereiften Technologien lassen sich jedoch Programmeigenschaften sowohl auf Modell- als auch auf Quellcode-Ebene verifizieren, wodurch Fehler frühzeitig erkannt werden können. So ermöglichen PolySpace Tools von The MathWorks den sicheren Beweis der Fehlerfreiheit von Programmen auf Quellcode-Ebene.

Dieses Webinar gibt Ihnen eine Einführung zu PolySpace Produkten für die formale Verifikation von Quellcode.

Mit der „Abstrakten Interpretation“ wird Code in Bezug auf semantische Laufzeitfehler verifiziert. Bei dem zu analysierenden Code kann es sich sowohl um automatisch generierten Code als auch um herkömmlich manuell geschriebenen Programmcode handeln. Der angestrebte Beweis der Abwesenheit von Laufzeitfehlern liefert zum einen Kriterien zur Messung der Softwarequalität, findet aber auch Laufzeitfehler direkt im Quellcode, ohne dass konkrete Tests ausgeführt werden.

Die Nutzung von PolySpace für die Verifikation von Applikationen wird im Zusammenhang mit konventionellen Entwicklungsprozessen sowie dem Model-Based Design Ansatz gezeigt. Für den beim Model-Based Design automatisch erzeugten Code wird auch der Rückverweis vom Code ins Modell demonstriert.

Dieses Webinar richtet sich sowohl an Entwickler und Programmierer als auch an Verantwortliche in der Qualitätssicherung, die die Fehlerfreiheit und Qualität von Software sicherstelllen müssen. Vorkenntnisse sind nicht erforderlich.

Webinar aufgezeichnet am: 29 Nov 2007

Dauer: 47 Min