Versenden
Drucken
Ebrecht, Lars und Meyer zu Hörste, Michael und Lemmer, Karsten (2007) The Basic Concept for the Formal Test Description - Horizontal Composition and Vertical Differentiation of the Atomic Element. In: FORMS/FORMAT 2007. 6th Symposium. Formal Methods for Automation and Safety in Railway and Automotive Systems GZVB. Seiten 447-457. ISBN 13: 978-3-937655-09-3.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
Kurzfassung
The contribution discusses the main properties and benefits of an atomic element for the formal behavioural black box test description. This element enables the handling of complex functional behaviour in test scenarios by its horizontal composition and the domain specific test description by its extendable vertical differentiation. The atomic element is derived from the Design by Contract<sup>TM</sup> which is a powerful concept to increase correctness and robustness of software applications. The atomic element, its composition and differentiation are a common basis for the formal test description with UML, with Petri Nets and with XML. The train’s safety-critical on-board unit of the European Train Control System (ETCS) representing a complex, real-time system is used as application example.
| elib-URL des Eintrags: | https://elib.dlr.de/47208/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Beitrag in einem Lehr- oder Fachbuch | ||||||||||||||||
| Titel: | The Basic Concept for the Formal Test Description - Horizontal Composition and Vertical Differentiation of the Atomic Element | ||||||||||||||||
| Autoren: |
| ||||||||||||||||
| Datum: | Januar 2007 | ||||||||||||||||
| Erschienen in: | FORMS/FORMAT 2007. 6th Symposium. 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 | ||||||||||||||||
| Seitenbereich: | Seiten 447-457 | ||||||||||||||||
| Herausgeber: |
| ||||||||||||||||
| Verlag: | GZVB | ||||||||||||||||
| ISBN: | 13: 978-3-937655-09-3 | ||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||
| Stichwörter: | ETCS, black box test, formal test description, XML | ||||||||||||||||
| HGF - Forschungsbereich: | Verkehr und Weltraum (alt) | ||||||||||||||||
| HGF - Programm: | Verkehr | ||||||||||||||||
| HGF - Programmthema: | V SM - Sicherung der Mobilität (alt) | ||||||||||||||||
| DLR - Schwerpunkt: | Verkehr | ||||||||||||||||
| DLR - Forschungsgebiet: | V SM - Sicherung der Mobilität | ||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | V - Aufbau des Rail Lab (alt) | ||||||||||||||||
| Standort: | Braunschweig | ||||||||||||||||
| Institute & Einrichtungen: | Institut für Verkehrssystemtechnik > Institut für Verkehrsführung und Fahrzeugsteuerung > Bahnsysteme | ||||||||||||||||
| Hinterlegt von: | Schwartz, Stefanie | ||||||||||||||||
| Hinterlegt am: | 01 Feb 2007 | ||||||||||||||||
| Letzte Änderung: | 27 Apr 2009 13:30 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
