elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Kontakt | English
Schriftgröße: [-] Text [+]

Combined UML-based System- and Test Models as Backbone for the Development Process

Knollmann, Volker und Lemmer, Karsten (2007) Combined UML-based System- and Test Models as Backbone for the Development Process. In: FORMS/FORMAT 2007. 6th Symposium. Formal Methods for Automation and Safety in Railway and Automotive Systems GZVB. Seiten 77-87. ISBN 13: 978-3-937655-09-3.

Dieses Archiv kann nicht den gesamten Text zur Verfügung stellen.

Kurzfassung

It is common practice to (mentally) split the creation of a system into two phases: the development itself and the testing. Often, different groups of people are involved in these phases using their own tools, methods and processes. As a consequence, many tasks (like processing and tracing requirements) are done twice or more. One possible solution is to see the process as a whole with a single model for development and testing as a backbone. This approach offers a number of advantages: • Requirements are captured once and can be referred consistently through the complete model / the complete process • One single means of description throughout the process, one single homogeneous model • Seamless traceability of requirements in both horizontal and vertical direction (which means requirement -> implementation and requirement -> test case in V-shaped processes) • Development groups and testers work closer together, which can increase the product quality at decreased efforts • Many textual documents (e. g. architecture-, design- and testing descriptions) can be replaced by the model • A formal, consistent model with development and testing specifications eases validation and verification and is a powerful base for safety proofs (e. g. for approvals from authorities and assessors) In a case study, the Institute of Transportation Systems (IFS) of the German Aerospace Center (DLR) has shown the applicability of a combined development- and testing model using SysML and U2TP. For a module of the simulation laboratory RailSiTe (Rail Simulation and Testing), a joint description with SysML and U2TP was created and the above predicted advantages could be empirically proved. With scripting support, coverage examinations for requirements and test cases have been performed and the impact of requirement changes could be estimated.

Dokumentart:Beitrag in einem Lehr- oder Fachbuch
Titel:Combined UML-based System- and Test Models as Backbone for the Development Process
Autoren:
AutorenInstitution oder E-Mail-Adresse der Autoren
Knollmann, VolkerNICHT SPEZIFIZIERT
Lemmer, KarstenNICHT SPEZIFIZIERT
Datum:Januar 2007
Erschienen in:FORMS/FORMAT 2007. 6th Symposium. Formal Methods for Automation and Safety in Railway and Automotive Systems
Referierte Publikation:Ja
In ISI Web of Science:Nein
Seitenbereich:Seiten 77-87
Herausgeber:
HerausgeberInstitution und/oder E-Mail-Adresse der Herausgeber
Schnieder, EckehardNICHT SPEZIFIZIERT
Tarnai, GézaNICHT SPEZIFIZIERT
Verlag:GZVB
ISBN:13: 978-3-937655-09-3
Status:veröffentlicht
Stichwörter:UML, SysML, UML Testing Profile, Validation, Verification, Requirements Tracing
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: Stefanie Schwartz
Hinterlegt am:01 Feb 2007
Letzte Änderung:27 Apr 2009 13:30

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2013 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.