ETR – Eisenbahntechnische Rundschau | Ausgabe 01-02/2023
Modellbasiertes Testen zeitbezogener LST-Anforderungen unter Berücksichtigung der RCA
Die automatische Generierung von Testfällen aus Verhaltensmodellen von Systemen kann die Effizienz und Qualität des Designs von Tests standardmäßiger funktionaler Anforderungen steigern. Anhand eines konkreten Modells und Testfallgenerators wird der Frage nachgegangen, wie sich daneben auch Tests typischer zeitbezogener Anforderungen an Leit- und Sicherungstechnik generieren lassen. Zugleich werden Erfahrungen mit der Modellierung gemäß „Reference CCS Architecture“ gesammelt.