MathWorks stellt mit Simulink Design Verifier eine neue Software vor, die Testfälle erzeugt und Design-Eigenschaften prüft. Nun können sich Entwickler von Embedded Systems – vor allem komplexer oder sicherheitskritischer Systeme – automatisch Testfälle ausgeben lassen, deren Gesamtheit bestimmte Standardmetriken erfüllt wie die Modified Condition/Decision Coverage (MC/DC). Dadurch werden Designfehler in früheren Phasen des Entwicklungsprozesses entdeckt, in denen sie noch mit geringerem Kostenaufwand zu beheben sind.
