Optimierte Generierung von Konformitätstests für eingebettete Echtzeitsysteme

Abstract

Die Qualitätssicherung eingebetteter Echtzeitsysteme ist zumeist sehr aufwändig. Zwar existieren Möglichkeiten zur Verifikation, diese sind allerdings in den meisten Fällen nicht auf die konkrete Implementierung anwendbar. Um sicherzustellen, dass eine Implementierung ihre Spezifikation umsetzt, bieten sich Konformitätstests an. In diesem Papier stellen wir verschiedene Optimierungen eines Ansatzes zur Generierung von Konformtätstests für SystemC vor und erweitern ihn um die Möglichkeit zur automatischen Generierung von Testbenches. Diese erlauben die vollautomatische Bewertung der Konformität verfeinerter SystemC Modelle zu einem abstrakten Entwurf. Mit Hilfe von Experimenten zeigen wir die Fähigkeit, nichtkonformes Verhalten aufzufinden, und die Performanz unseres Ansatzes.