Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung
Please use this identifier to cite or link to this item:
https://osnadocs.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-2015042913177
https://osnadocs.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-2015042913177
Title: | Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung |
Authors: | Ammann, Christian |
Thesis advisor: | Prof. Dr. Elke Pulvermüller |
Thesis referee: | Prof. Dr. Stephan Kleuker |
Abstract: | Die modellgetriebene Entwicklung (MDD) ist ein Ansatz, um formale Modelle automatisiert in ausführbare Software zu übersetzen. Obwohl dieses Vorgehen die Häufigkeit von Fehlern im generierten Quellcode verringert, können immer noch die Ausgangsmodelle fehlerhaft sein. Deshalb sind zusätzliche Prüfverfahren, wie z.B. die Verwendung eines Model Checkers sinnvoll. Er stellt automatisiert sicher, dass ein Modell alle gestellten Anforderungen erfüllt. Das Ziel dieser Arbeit ist daher die Integration eines Model Checkers in den modellgetriebenen Entwicklungsprozess, um die Qualität von Software-Produkten zu verbessern. Zu diesem Zweck wird das sogenannte DSL Verification Framework (DVF) vorgestellt. Es stellt Entwicklern vorgefertigte Sprachkonstrukte zur Verfügung, um die Implementierung von Parsern und Transformatoren zu erleichtern. Des Weiteren berücksichtigt es auch die "State Space Explosion", damit auch größere Modelle verifizierbar bleiben. Um die praktische Nutzung des DVF zu evaluieren, werden zwei Industriefallstudien durchgeführt. |
URL: | https://osnadocs.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-2015042913177 |
Subject Keywords: | Model-Driven Development; MDD; Formale Verifikation; Model Checker; Spin; Xtext; Software Engineering; Modellgetriebene Entwicklung; Compilerbau |
Issue Date: | 29-Apr-2015 |
Type of publication: | Dissertation oder Habilitation [doctoralThesis] |
Appears in Collections: | FB06 - E-Dissertationen |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
thesis_ammann.pdf | Präsentationsformat | 3,54 MB | Adobe PDF | thesis_ammann.pdf View/Open |
Items in osnaDocs repository are protected by copyright, with all rights reserved, unless otherwise indicated. rightsstatements.org