Aufgezeichnetes Webinar:: Kontinuierliches Verifizieren, Validieren und Testen in der Systementwicklung

Die Ausführbarkeit von System-Modellen ist einer der maßgeblichen Aspekte im Model-Based Design. Ausführbare Modelle erlauben durchgängige Verifikation, Validierung und Test (VV&T) bereits in sehr frühen Stadien des Designs und der Entwicklung.

In diesem Webinar stellen wir Ihnen verschiedene VV&T Methoden vor: Sicherstellung der Nachverfolgbarkeit von Requirements, formaler Beweis des korrekten Model- und Codeverhaltens sowie Generierung von Testfällen und automatisierte Dokumentationserzeugung.

Besondere Schwerpunkte:

• Einsatz von Simulink Design Verifier für die automatische Testgenerierung. Dabei können bis zu 100% strukturelle Modellabdeckung erreicht und nicht ausführbarer Code gefunden werden. Weiterhin lassen sich benutzerdefinierte Testziele berechnen.
• SystemTest zur Entwicklung und Ausführung von Tests, mit denen z.B. die Funktionalität gemäß Spezifikationen überprüft werden kann. Hier ist Algorithmen- und Modellverifikation genauso möglich wie kontinuierliche Validierung und Stresstests. SystemTest ermöglicht weiterhin das Testen von Software und Hardware mittels Simulation und anderen Testverfahren in einer einheitlichen Umgebung. Zusätzlich kann SystemTest die Möglichkeiten der Parallel Computing Toolbox nutzen um mehrere Simulationen/Testläufe zur Beschleunigung gleichzeitig auf Multicore-Maschinen oder Rechnerclustern laufen zu lassen.

Dieses Webinar richtet sich an Anwender, die einerseits einen Überblick über den Modell- sowie Code-Verifikations- und Validierungsprozess gewinnen möchten, und andererseits wissen möchten, wie sie ihre Tests generieren, automatisieren und Testprozesse wiederholbar für andere dokumentieren. Grundlegende Simulink-Kenntnisse sind für dieses Webinar von Vorteil, jedoch keine Voraussetzung.

Themen:

• Requirements-Verknüpfung mit Dokumenten
• Automatische Testgenerierung mit verschiedenen Generierungszielen
• Eigenschaftsbeweise mit formalen Methoden
• Aufsetzen, Automatisieren und Verwenden von Tests
• Generieren von Dokumentation und Snapshots des Modells für Modell-Reviews