elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | 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.

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:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Ebrecht, LarsUNSPECIFIEDUNSPECIFIED
Meyer zu Hörste, MichaelUNSPECIFIEDUNSPECIFIED
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:
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 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

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