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.
Item URL in elib: | https://elib.dlr.de/6406/ | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
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: |
| |||||||||
Date: | 2004 | |||||||||
Journal or Publication Title: | Forms/Format 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems | |||||||||
Refereed publication: | Yes | |||||||||
Open Access: | No | |||||||||
Gold Open Access: | No | |||||||||
In SCOPUS: | No | |||||||||
In ISI Web of Science: | No | |||||||||
Volume: | 1 | |||||||||
Editors: |
| |||||||||
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 assignment | |||||||||
DLR - Research theme (Project): | V - no assignment | |||||||||
Location: | Braunschweig | |||||||||
Institutes and Institutions: | Institute of Transportation Systems > Institute of Transportation Systems > Rail Systems | |||||||||
Deposited By: | Scharf, Tamara | |||||||||
Deposited On: | 19 Oct 2006 | |||||||||
Last Modified: | 06 Jan 2010 20:10 |
Repository Staff Only: item control page