Versenden
Drucken
Ebrecht, Lars und Meyer zu Hörste, Michael (2004) Formal Test Description - the central element for the automation of the process of testing. In: Forms/Format 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems keine, 1. Beyrich DigitalService. ISBN 3-9803363-8-7.
Dieses Archiv kann nicht den gesamten Text zur Verfügung stellen.
Kurzfassung
The process of specification and execution of tests on the example of ERTMS/ETCS will be discussed in this contribution. The different phases of the test process and their degree of automation are analysed. Based on this analysis the process is differentiated into two parts, which are connected by the formal description of test and reference data. This formal description and the two parts form the approach for the automation of the test process as a whole. Finally, the formal description of the UNISIG Test Sequences is outlined here which gives an example for the approach and is used for evaluation of the approach.
| Dokumentart: | Beitrag im Sammelband | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Zusätzliche Informationen: | LIDO-Berichtsjahr=2005, | |||||||||
| Titel: | Formal Test Description - the central element for the automation of the process of testing | |||||||||
| Autoren: |
| |||||||||
| Datum: | 2004 | |||||||||
| Erschienen in: | Forms/Format 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems | |||||||||
| Referierte Publikation: | Ja | |||||||||
| In Open Access: | Nein | |||||||||
| In SCOPUS: | Nein | |||||||||
| In ISI Web of Science: | Nein | |||||||||
| Band: | 1 | |||||||||
| Herausgeber: |
| |||||||||
| Verlag: | Beyrich DigitalService | |||||||||
| Name der Reihe: | keine | |||||||||
| ISBN: | 3-9803363-8-7 | |||||||||
| Status: | veröffentlicht | |||||||||
| Stichwörter: | Test Automation, Black-box-Testing, Formal Test Description, Test Specification, ERTMS/ETCS, UNISIG Test Sequences | |||||||||
| HGF - Forschungsbereich: | Verkehr und Weltraum (alt) | |||||||||
| HGF - Programm: | Verkehr | |||||||||
| HGF - Programmthema: | keine Zuordnung | |||||||||
| DLR - Schwerpunkt: | Verkehr | |||||||||
| DLR - Forschungsgebiet: | V - keine Zuordnung | |||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | V - keine Zuordnung | |||||||||
| Standort: | Braunschweig | |||||||||
| Institute & Einrichtungen: | Institut für Verkehrssystemtechnik > Institut für Verkehrsführung und Fahrzeugsteuerung > Bahnsysteme | |||||||||
| Hinterlegt von: | Scharf, Tamara | |||||||||
| Hinterlegt am: | 19 Okt 2006 | |||||||||
| Letzte Änderung: | 06 Jan 2010 20:10 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
