Versenden
Drucken
Schwencke, Daniel (2023) Modellbasiertes Testen zeitbezogener LST-Anforderungen unter Berücksichtigung der RCA. ETR - Eisenbahntechnische Rundschau (1+2/23), Seiten 31-37. DVV Media Group. ISSN 0013-2845.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Verlagsversion (veröffentlichte Fassung)
1MB |
Offizielle URL: https://www.eurailpress.de/etr
Kurzfassung
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.
| elib-URL des Eintrags: | https://elib.dlr.de/188189/ | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Zeitschriftenbeitrag | ||||||||
| Titel: | Modellbasiertes Testen zeitbezogener LST-Anforderungen unter Berücksichtigung der RCA | ||||||||
| Autoren: |
| ||||||||
| Datum: | Januar 2023 | ||||||||
| Erschienen in: | ETR - Eisenbahntechnische Rundschau | ||||||||
| Referierte Publikation: | Ja | ||||||||
| Open Access: | Ja | ||||||||
| Gold Open Access: | Nein | ||||||||
| In SCOPUS: | Nein | ||||||||
| In ISI Web of Science: | Nein | ||||||||
| Seitenbereich: | Seiten 31-37 | ||||||||
| Verlag: | DVV Media Group | ||||||||
| ISSN: | 0013-2845 | ||||||||
| Status: | veröffentlicht | ||||||||
| Stichwörter: | Modellbasiertes Testen, Zeit, Leit- und Sicherungstechnik, RCA, Rhapsody ATG | ||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||
| HGF - Programm: | Verkehr | ||||||||
| HGF - Programmthema: | Schienenverkehr | ||||||||
| DLR - Schwerpunkt: | Verkehr | ||||||||
| DLR - Forschungsgebiet: | V SC Schienenverkehr | ||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | V - INTRA - Infrastruktur und Transformation | ||||||||
| Standort: | Braunschweig | ||||||||
| Institute & Einrichtungen: | Institut für Verkehrssystemtechnik > Verifikation und Validierung, BS | ||||||||
| Hinterlegt von: | Schwencke, Dr. Daniel | ||||||||
| Hinterlegt am: | 23 Feb 2023 14:30 | ||||||||
| Letzte Änderung: | 28 Feb 2023 03:00 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
