@thesis{PeixotoSoares2024, author = {Peixoto Soares, Joao Pedro}, title = {Werkzeugunterst{\"u}tze Erreichbarkeitsanalyse von UML Diagrammen}, publisher = {Technische Hochschule Ingolstadt}, address = {Ingolstadt}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:573-45901}, pages = {xii, 66,}, year = {2024}, abstract = {Da die Erf{\"u}llung bestimmter Modelleigenschaften und formeller Anforderungen entscheidend f{\"u}r den Erfolg von Softwareprojekten ist, f{\"u}hrt dies zu einer klaren Motivation f{\"u}r die Entwicklung eines Werkzeuges, welche die Pr{\"u}fung von Modelleigenschaften rationalisiert und beschleunigt. Diese Arbeit widmet sich dem Design und der Implementierung eines Plugins f{\"u}r Visual Paradigm, das die automatisierte formale Pr{\"u}fung von der Erreichbarkeit der Zust{\"a}nde eines UML-Zustandsdiagramms erm{\"o}glicht. Das Plugin setzt sich aus dem Auslesen der Diagrammelemente, deren {\"U}bersetzung in das SMTLIB-Format und schlussendlich der Pr{\"u}fung mithilfe des Z3-Solvers zusammen. F{\"u}r die Evaluation des Plugins wurde eine Interviewstudie durchgef{\"u}hrt. Diese ergab, dass die korrekte Nutzung von Werkzeugen zur automatisierten Pr{\"u}fung, zu einer signifikanten Reduzierung der ben{\"o}tigten Zeit und zur Verringerung der menschlichen Fehlerquote bei Erreichbarkeitsanalysen f{\"u}hrt. Dies zeigt, dass die korrekte Nutzung des Plugins wahrscheinlich ebenso dieselben Ergebnisse vorweisen k{\"o}nnte.}, language = {de} }