elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Formal Test Description - the central element for the automation of the process of testing

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 Volltext 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.

elib-URL des Eintrags:https://elib.dlr.de/6406/
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:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Ebrecht, LarsNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Meyer zu Hörste, MichaelNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2004
Erschienen in:Forms/Format 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems
Referierte Publikation:Ja
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Band:1
Herausgeber:
HerausgeberInstitution und/oder E-Mail-Adresse der HerausgeberHerausgeber-ORCID-iDORCID Put Code
Technical University of Braunschweig Institute for Traffic, Safety and Automation EngineeringNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
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

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.