SIGNAL+DRAHT | Ausgabe 06/2022
Testfallgenerierungsgestützte Validierung und Verifikation von EULYNX-Spezifikationen
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 Beitrag 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...