elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Contact | Deutsch
Fontsize: [-] Text [+]

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

Ebrecht, Lars and 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.

Full text not available from this repository.

Abstract

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.

Document Type:Contribution to a Collection
Additional Information: LIDO-Berichtsjahr=2005,
Title:Formal Test Description - the central element for the automation of the process of testing
Authors:
AuthorsInstitution or Email of Authors
Ebrecht, LarsUNSPECIFIED
Meyer zu Hörste, MichaelUNSPECIFIED
Date:2004
Journal or Publication Title:Forms/Format 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems
Refereed publication:Yes
In ISI Web of Science:No
Volume:1
Editors:
EditorsEmail
Technical University of Braunschweig Institute for Traffic, Safety and Automation EngineeringUNSPECIFIED
Publisher:Beyrich DigitalService
Series Name:keine
ISBN:3-9803363-8-7
Status:Published
Keywords:Test Automation, Black-box-Testing, Formal Test Description, Test Specification, ERTMS/ETCS, UNISIG Test Sequences
HGF - Research field:Aeronautics, Space and Transport (old)
HGF - Program:Transport
HGF - Program Themes:other
DLR - Research area:Transport
DLR - Program:V - no assignement
DLR - Research theme (Project):V -- no assignement
Location: Braunschweig
Institutes and Institutions:Institute of Transportation Systems > Institute of Transportation Systems > Rail Systems
Deposited By: Tamara Scharf
Deposited On:19 Oct 2006
Last Modified:06 Jan 2010 20:10

Repository Staff Only: item control page

Browse
Search
Help & Contact
Informationen
electronic library is running on EPrints 3.3.12
Copyright © 2008-2012 German Aerospace Center (DLR). All rights reserved.