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

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

Knollmann, Volker and 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. pp. 77-87. ISBN 13: 978-3-937655-09-3.

Full text not available from this repository.

Abstract

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.

Document Type:Book Section
Title:Combined UML-based System- and Test Models as Backbone for the Development Process
Authors:
AuthorsInstitution or Email of Authors
Knollmann, VolkerUNSPECIFIED
Lemmer, KarstenUNSPECIFIED
Date:January 2007
Journal or Publication Title:FORMS/FORMAT 2007. 6th Symposium. Formal Methods for Automation and Safety in Railway and Automotive Systems
Refereed publication:Yes
In ISI Web of Science:No
Page Range:pp. 77-87
Editors:
EditorsEmail
Schnieder, EckehardUNSPECIFIED
Tarnai, GézaUNSPECIFIED
Publisher:GZVB
ISBN:13: 978-3-937655-09-3
Status:Published
Keywords:UML, SysML, UML Testing Profile, Validation, Verification, Requirements Tracing
HGF - Research field:Aeronautics, Space and Transport (old)
HGF - Program:Transport
HGF - Program Themes:V SM - Sicherung der Mobilität (old)
DLR - Research area:Transport
DLR - Program:V SM - Sicherung der Mobilität
DLR - Research theme (Project):V - Aufbau des Rail Lab (old)
Location: Braunschweig
Institutes and Institutions:Institute of Transportation Systems > Institute of Transportation Systems > Rail Systems
Deposited By: Stefanie Schwartz
Deposited On:01 Feb 2007
Last Modified:27 Apr 2009 13:30

Repository Staff Only: item control page

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