Aufgezeichnetes Webinar:: Embedded Code Generation & Verification - Was gibt es neues?

Die Codegenerierung ist nur ein Aspekt Modellbasierter Entwicklung. Ein anderer ist die Modellbasierte Verifikation und Validierung. Simulink Verification & Validation (V&V) besteht aus einer Reihe von Werkzeugen, die gezielt einen formalisierten Verifikations- und Validierungsprozess unterstützen. Sie ermöglichen dem Benutzer, funktionale Modelle und Testfälle zu entwickeln und diese mit den jeweiligen Anforderungen, die in Requirements Management Systemen wie z. B. DOORS hinterlegt sind, bidirektional zu verlinken. Darüberhinaus ermöglicht Simulink Verification & Validation eine Qualitätsananalyse von Modellen (Model Coverage Analysis), mit der die Testabdeckung des Modells mit verschiedenen Messverfahren (Condition Coverage, Decision Coverage, MC/DC) bereits vor einer Codegenerierung überprüft und daraus ein Report generiert werden kann. SystemTest integriert diese Testfälle in Testläufen und Tests, die über die gesamte Entwicklung hinweg wiederverwendet werden können.

Zielgruppe:  Entwickler, Qualitätssicherungsbeauftragte und Interessenten der verschiedensten Bereiche, in denen die graphische Modellierungs- und Simulationsumgebung Simulink eingesetzt wird und Simulink Nutzer, die daran interessiert sind, Testszenarien in ihren Designs zu formalisieren und zu automatisieren.

Webinare Highlights:

• Herausforderungen des traditionellen Entwicklungsprozesses
• RMI: Link zwischen Requirements <=> Simulink Model
• Verfolgbarkeit von Anforderungen in generiertem Code
• Aufbau von Tests
• Formalisierung der Verifikation von Modellen
• Messung der Modell- und Testqualität mit Model Coverage
• Demonstration