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

Deriving conformance test suites from specification models

Hungar, Hardi (2015) Deriving conformance test suites from specification models. 2nd Symposium Test4Rail, 14.-15. Okt. 2015, Braunschweig, Deutschland. (Unpublished)

[img] PDF - Only accessible within DLR
1MB

Abstract

Models may be used as a means to formulate highly consistent specifications. To check implementations for conformance with such specifications, test cases can be derived systematically from such models. There are even automatic routines available which generate such test cases. It is, however, not straightforward to use this approach in practice. Beside other things, it requires a carefully designed modeling style. The talk presents aspects of modeling and test derivation which are particularly important for conformance testing of interlocking interface specifications.

Item URL in elib:https://elib.dlr.de/102106/
Document Type:Conference or Workshop Item (Speech)
Title:Deriving conformance test suites from specification models
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Hungar, HardiDLRUNSPECIFIED
Date:15 October 2015
Refereed publication:No
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Status:Unpublished
Keywords:Modellbaiserter Test, Testgenerierung, Bahnsysteme
Event Title:2nd Symposium Test4Rail
Event Location:Braunschweig, Deutschland
Event Type:international Conference
Event Dates:14.-15. Okt. 2015
Organizer:Deutsches Zentrum für Luft- und Raumfahrt
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Transport
HGF - Program Themes:Traffic Management (old)
DLR - Research area:Transport
DLR - Program:V VM - Verkehrsmanagement
DLR - Research theme (Project):V - Next Generation Railway System II (old)
Location: Braunschweig
Institutes and Institutions:Institute of Transportation Systems > Railway System
Deposited By: Hungar, PD Dr. Hardi
Deposited On:14 Jan 2016 13:32
Last Modified:14 Jan 2016 13:32

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.