
Am Beispiel einer Parkbremsensteuerung zeigen wir wie modellbasiertes Testdesign, automatische Testgenerierung und automatische Testdurchführung in einander greifen können, um die Qualität des Testdesigns und den Automatisierungsgrad im Testprozess deutlich zu erhöhen.
An einem realitätsnahen Beispiel im embedded Bereich werden wir den gesamten Testerstellungsprozess beginnend mit der Anforderungsanalyse über die Erstellung eines modellbasierten Testdesigns und die automatische Testfallgenerierung und -durchführung durchsprechen. Wir werden die Methodik, die verwendeten Werkzeuge erläutern und aufzeigen welches Potential bezgl. Qualität des Testdesigns und Steigerung der Effektivität damit verbunden sind.