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 Volltext 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.
elib-URL des Eintrags: | https://elib.dlr.de/47212/ | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dokumentart: | Beitrag in einem Lehr- oder Fachbuch | ||||||||||||
Titel: | Combined UML-based System- and Test Models as Backbone for the Development Process | ||||||||||||
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 77-87 | ||||||||||||
Herausgeber: |
| ||||||||||||
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: | Schwartz, Stefanie | ||||||||||||
Hinterlegt am: | 01 Feb 2007 | ||||||||||||
Letzte Änderung: | 27 Apr 2009 13:30 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags