Options
2009
Conference Paper
Titel
Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen
Abstract
Kurzfassung/Stichpunkte: Bei dem Entwurf von eingebetteten Systemen spielt die Verifikation eine entscheidende Rolle. SystemC hat sich für die Modellierung gemischter Hardware/Software-Systeme, vor allem auf hoher Abstraktionsebene, durchgesetzt. Für solche High-level SystemC-Modelle existieren allerdings heutzutage keine Werkzeuge zur formalen Verifikation, weshalb oftmals simulative Verfahren zur Verifikation der Modelle benutzt werden. Wünschenswert sind dabei Testfälle, die effizient bestimmte Modellzustände erreichen. Dadurch lassen sich Testressourcen sparen, oder die Anzahl von überprüfbaren Testfällen erhöhen. Für die Generierung von effizienten Testfällen stellen wir in dieser Arbeit eine Methode vor. Eine formale und abstrakte Modellbeschreibung dient dafür als Basis. Der Eigenschaftsprüfer OneSpin 360 MV generiert die gesuchten Testfälle, die in einer SystemC-Simulation repliziert werden. Diese einmal gefundenen Testfälle können in dem vorgestelltem Entwurfsfluss über Modellverfeinerungsschritte hinweg zum Testen genutzt werden.
Author(s)