Durch Simulink Verification and Validation™ werden Anforderungsnachverfolgung, Überprüfung der Einhaltung der Modellierstandards und Modellabdeckungsanalysen automatisiert.
Sie haben die Möglichkeit, detaillierte Berichte zur Anforderungsnachverfolgung zu erstellen, Ihre eigenen Modellierrichtlinien zu verfassen und sie in Check-Mengen zu gruppieren, die von mehreren Entwicklungsteams gemeinsam verwendet werden können. Die Anforderungsdokumentation kann mit Modellen, Testfällen und dem erstellten Code verknüpft werden. Sie können Harness-Modelle für das Testen von Modellkomponenten und Modellcode erstellen sowie die Modellabdeckungsanalyse verwenden um sicherzustellen, dass die Modelle gründlich getestet wurden.