Konferenzbeitrag
Automatisierte Softwareüberprüfung auf der Basis von Architekturregeln
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Zusatzinformation
Datum
2006
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
Die innere Qualität von Softwaresystemen hat großen Einfluss darauf, wie gut sich die Software weiterentwickeln und warten lässt. Entscheidend für die innere Qualität ist die vom Entwicklungsteam gewählte Architektur. Neben den etablierten Schichtenarchitekturen verwenden Entwicklerteams flexiblere Architekturen, die sie informell beschreiben. Dass das entwickelte System der gewählten Architektur entspricht, muss in regelmäßigen Abständen überprüft werden. Die verfügbaren Werkzeuge zur Architekturüberprüfung decken lediglich den Teilaspekt der Schichtenbildung ab. In diesem Artikel wird gezeigt, wie sich informelle Architekturbeschreibungen als Architekturregeln formulieren lassen. Ein großer Teil solcher Regeln lässt sich formalisieren und ihre Einhaltung automatisch überprüfen. Die Regeln einer ausgewählten Modellarchitektur werden auf drei Beispielsysteme angewendet und die Ergebnisse der automatischen Überprüfung ausgewertet und diskutiert.