Testfallgenerierungsgestützte Validierung und Verifikation von EULYNX-Spezifikationen

Abstract

Aktuell spezifizieren Initiativen wie EULYNX und RCA Schnittstellen und Teilsysteme künftiger Leit- und Sicherungstechnikarchitekturen. Da eine breite Nutzung der Spezifikationen als Standards beabsichtigt ist, ist eine hohe Qualität unabdingbar. Dieser Artikel stellt eine Fallstudie vor, in der Aktivitäten zur Validierung und Verifikation der EULYNX-Weichenspezifikation auf Basis der Inspektion automatisch aus einem Modell des spezifizierten Verhaltens generierter Testfälle durchgeführt wurden. Die Methode, die die bereits modellbasierte Spezifikation ausnutzt, erwies sich als effizient und konnte verschiedene Probleme der Spezifikation ermitteln.