Um die zunehmende Komplexität moderner Telematikund Infotainmentsysteme in den Griff zu bekommen und eine gleichbleibende Qualität der Produkte zu sichern, werden im Hause der Robert-Bosch/Blaupunkt GmbH neue Testkonzepte für den Systemtest solcher Systeme entwickelt. Dabei werden Teile der bislang informellen Spezifikation durch formalere Modelle auf Basis der Systems Modeling Language (SysML) ersetzt. Eines der wesentlichen Ziele dabei ist, das Modell im Rahmen eines Modell-basierten Entwicklungsprozesses zu nutzen, um daraus möglichst automatisiert Testfälle abzuleiten (Modell-basiertes Testen). Im Rahmen dieses Papieres wird beschrieben, welche Strategien zur Testfallgenerierung aus solchen Modellen untersucht, letztendlich ausgewählt, erweitert und umgesetzt wurden um dies zu erreichen.