Der nächste Schritt für die MBD Test Suite besteht in ihrer Erweiterung um die Unterstützung für die formale Verifikation auf der Basis des Simulink Design Verifier. In der nächsten Generation der MBD Test Suite werden außerdem weitere Werkzeuge zur automatischen Auswertung von Testergebnissen und zur Berichtserzeugung von dem vorgestellten XML-Dokumentationsschema unterstützt werden.
Danach soll die formale und ausführbare Darstellung von Anforderungen mit „Simulink Verifikation und Validation“ direkt in das Anforderungs-Management-Werkzeug integriert werden. Zusätzlich wird die direkte Übersetzung von Funktionsanforderungen in automatisch verifizierbare Eigenschaften von Testmodellen, die beispielsweise in Simulink durch Assertion- und/oder Signal-Builder-Blöcke dargestellt werden, den derzeitigen Testansatz verändern.