Beschreibung
Gerätebeschreibungen spielen bei der Instrumentierung automatisierungstechnischer Anlagen eine zentrale Rolle. Dementsprechend ist die Qualität dieser Beschreibungen für die problemlose Inbetriebnahme und den störungsfreien Betrieb einer Anlage mit entscheidend. Ähnlich wie bei der Zertifizierung der Kommunikationsschnittstellen von Feldgeräten kann ein unabhängiger Zertifizierungstest für Gerätebeschreibungen helfen, diesen hohen Qualitätsansprüchen gerecht zu werden. Ein solcher Zertifizierungstest muss die Konformität der Gerätebeschreibung zur zugehörigen Sprachspezifikation ebenso prüfen, wie die Kompatibilität mit dem Gerät. Letzteres stellt eine besondere Herausforderung für die Prüflabore dar: Da hier nicht gegen eine offene Spezifikation, sondern gegen das Gerät selbst zu testen ist, muss für jedes Gerät eine individuelle Testsuite erstellt werden. Eine manuelle Erstellung dieser Testsuite kommt aber aus wirtschaftlichen Gründen nicht in Frage. Diese Arbeit entwickelt eine Methode, die durch Analyse der Gerätebeschreibung weitgehend automatisch eine Testsuite erstellt und mit dem Gerät ausführt, die einen ausgewogenen Kompromiss aus Testaufwand und Testabdeckung darstellt.