Traceability Link Recovery und Inkonsistenzerkennung zwischen Modellen und informellen Diagrammen mithilfe struktureller Eigenschaften

Informelle Diagramme werden in der Softwareentwicklung zur Darstellung von Code und Architektur genutzt.
Um erstellte Diagramme auch langfristig als Teil der Dokumentation erhalten zu können, müssen diese konsistent mit den dargestellten Inhalten gehalten werden.
In dieser Arbeit wird ein Ansatz präsentiert, der automatisch Inkonsistenzen zwischen informellen Diagrammen in Boxen-und-Linien-Form und Architektur- sowie Codemodell findet.
Im ersten Schritt wird bestimmt, welches der Modelle im Diagramm dargestellt wird.
Dazu wird für jede Box im Diagramm nach allen entsprechenden Vorkommen in den Modellen gesucht und so eine Übereinstimmung zwischen dem Diagramm und den Modellen ermittelt.
Dann werden das Diagramm und das Modell mit höherer Übereinstimmung für den zweiten Schritt in Graphen transformiert.
Mit graph matching werden Nachverfolgbarkeitsverbindungen zwischen Diagramm und Modell bestimmt.
Diese Verbindungen werden im dritten Schritt verwendet, um Inkonsistenzen zu finden.
Zur Überprüfung und Evaluation werden sowohl synthetische als auch reale Diagramme verwendet.
Auf den in der Evaluation verwendeten sechs Diagrammen wird ein durchschnittlicher F1-Score von $77.5\%$ erzielt.
... mehr
Auch Inkonsistenzen, welche laut Goldstandard unerwartete sind, können dabei hilfreich sein.