• search hit 3 of 51
Back to Result List

Werkzeugunterstütze Erreichbarkeitsanalyse von UML Diagrammen

  • Da die Erfüllung bestimmter Modelleigenschaften und formeller Anforderungen entscheidend für den Erfolg von Softwareprojekten ist, führt dies zu einer klaren Motivation für die Entwicklung eines Werkzeuges, welche die Prüfung von Modelleigenschaften rationalisiert und beschleunigt. Diese Arbeit widmet sich dem Design und der Implementierung eines Plugins für Visual Paradigm, das die automatisierte formale Prüfung von der Erreichbarkeit der Zustände eines UML-Zustandsdiagramms ermöglicht. Das Plugin setzt sich aus dem Auslesen der Diagrammelemente, deren Übersetzung in das SMTLIB-Format und schlussendlich der Prüfung mithilfe des Z3-Solvers zusammen. Für die Evaluation des Plugins wurde eine Interviewstudie durchgeführt. Diese ergab, dass die korrekte Nutzung von Werkzeugen zur automatisierten Prüfung, zu einer signifikanten Reduzierung der benötigten Zeit und zur Verringerung der menschlichen Fehlerquote bei Erreichbarkeitsanalysen führt. Dies zeigt, dass die korrekte Nutzung des Plugins wahrscheinlich ebenso dieselben ErgebnisseDa die Erfüllung bestimmter Modelleigenschaften und formeller Anforderungen entscheidend für den Erfolg von Softwareprojekten ist, führt dies zu einer klaren Motivation für die Entwicklung eines Werkzeuges, welche die Prüfung von Modelleigenschaften rationalisiert und beschleunigt. Diese Arbeit widmet sich dem Design und der Implementierung eines Plugins für Visual Paradigm, das die automatisierte formale Prüfung von der Erreichbarkeit der Zustände eines UML-Zustandsdiagramms ermöglicht. Das Plugin setzt sich aus dem Auslesen der Diagrammelemente, deren Übersetzung in das SMTLIB-Format und schlussendlich der Prüfung mithilfe des Z3-Solvers zusammen. Für die Evaluation des Plugins wurde eine Interviewstudie durchgeführt. Diese ergab, dass die korrekte Nutzung von Werkzeugen zur automatisierten Prüfung, zu einer signifikanten Reduzierung der benötigten Zeit und zur Verringerung der menschlichen Fehlerquote bei Erreichbarkeitsanalysen führt. Dies zeigt, dass die korrekte Nutzung des Plugins wahrscheinlich ebenso dieselben Ergebnisse vorweisen könnte.show moreshow less

Download full text files

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Joao Pedro Peixoto Soares
Language:German
Document Type:Bachelor Thesis
Reviewer(s) at THI:Stefan Kugele, Franz Regensburger
Publishing Institution:Technische Hochschule Ingolstadt
Date of first Publication:2024/01/29
Year of first Publication:2024
Place of publication:Ingolstadt
Pages:xii, 66,
URN:urn:nbn:de:bvb:573-45901
Faculties / Institutes / Organizations:Fakultät Informatik
Degree Programmes:Informatik (B. Sc.)
Licence (German):License Logo Urheberrechtsschutz
Release Date:2024/03/07