Die vorliegende Arbeit stellt einen Beitrag zur Weiterentwicklung der Entwurfsmethoden für sicherheitsrelevante Systeme im Bereich der Eisenbahnleit- und -sicherungstechnik dar. Sie greift aktuelle Forschungsthemen aus dem Umfeld der Modellierungssprache UML (Unified Modeling Language) auf und kombiniert sie zu einem durchgängigen Verfahren für die konsistente System- und Testfallbeschreibung in einem einzigen UML-Modell. Die Modellierung basiert auf den UML-Profilen SysML (System Modeling Language) und U2TP (UML~2 Testing Profile), die beide als offizielle Standards von der OMG (Object Management Group) spezifiziert sind. Diese Dissertation zeigt, wie ausgehend von den genannten UML-Profilen * ein einziges, kombiniertes System- und Testmodell aufgestellt werden kann * Beziehungen zwischen Anforderungen, Implementierung und Testfall hinterlegt werden können * Anforderungsbeziehungen automatisiert ausgewertet werden können, um die Implementierungs- bzw. Testfallabdeckung zu bestimmen * Testskripte auf TTCN-3-Basis (Testing and Test Control Notation, Version 3) automatisch erzeugt werden * eine Werkzeugkette aufgebaut werden kann, die alle angesprochenen Funktionen unterstützt. Zum Nachweis der Umsetzbarkeit des Verfahrens wird im Rahmen einer Fallstudie veranschaulicht, wie sich eine Komponente des eisenbahntechnischen Labors RailSiTe(R) (Rail Simulation and Testing) des Deutschen Zentrums für Luft- und Raumfahrt in einem kombinierten Testfall- und Systemmodell abbilden lässt. Im Ergebis zeigt sich, dass das Verfahren und die Toolkette funktionieren und sich in einem realen Entwicklungsprojekt einsetzen lassen. Die erwarteten Vorteile wie Wiederverwendung von Modellteilen, effizientere Testabläufe, formalere Systembeschreibungen oder die Vermeidung von Notationsbrüchen im Prozess zeigen sich sowohl in der theoretischen Herleitung als auch in der praktischen Anwendung der Methode.


    Zugriff

    Download

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    UML-basierte Testfall- und Systemmodelle für die Eisenbahnleit- und -sicherungstechnik


    Weitere Titelangaben:

    UML-based Testcase- and Systemmodels for Railway Operations and Control Systems


    Beteiligte:
    Knollmann, Volker (Autor:in) / Universitätsbibliothek Braunschweig (Gastgebende Institution) / Lemmer, Karsten (Akademische:r Betreuer:in)

    Erscheinungsdatum :

    2007


    Anmerkungen:

    Berichte aus dem DLR-Institut für Verkehrssystemtechnik, vol. 1




    Medientyp :

    Sonstige


    Format :

    Elektronische Ressource


    Sprache :

    Deutsch


    Klassifikation :

    DDC:    625