Entwicklung eines Software-Leitstands zur Einhaltung von Modellierungsrichtlinien Elodie Legros, Tobias Rötschke, Andy Schürr Fachgebiet Echtzeitsysteme Technische Universität Darmstadt
Modellierungsrichtlinien: Einleitung Software-Leitstand = zum Sammeln und Visualisierung von verschiedenen Informationsarten über ein Software-System (z.B. Metriken eines Programms) Modellierungsrichtlinien: zur Korrektheit und Übereinstimmung der Modelle Um Probleme bei der Übersetzung zu verhindern Vereinfacht die Teamarbeit (Lesbarkeit, gemeinsame Muster, usw.) Kriterien zur Trendanalyse Modell Modellierungsrichtlinien: - Verbotene Modellierungselemente - Orientierung der Vererbungspfeile - Zu verwendende Muster …………
Spezifikationsansätze Verschiedene Lösungen zur Spezifizierung von Modellierungsrichtlinien: - Graphtransformationen SDM graphisch, Identifikation verbotener Muster und Reparatur von Verstößen - Object Contraint Language OCL logische Bedingungen - Reguläre Ausdrücke Format von Zeichenketten, Überprüfung von Namenskonventionen Graphtransformation Modellierungs- Richtlinien OCL SDM Reguläre Ausdrücke Software-Leitstand
Klassifizierung von Richtlinien Klassifizierung der Modellierungsrichtlinien für eine effizientere Implementierung des Software-Leitstandes Klassifizierungskriterium Bedeutung Wichtigkeit gibt an, wie schwerwiegend die Auswirkungen von Verletzungen sind. Dringlichkeit Um den zeitlichen Ablauf von Korrekturmaßnahmen zu planen Zeitpunkt der Überprüfung - inkrementell während der Bearbeitung des Modells - auf Anfrage des Entwicklers. - während der Übersetzung - während des Eincheckens in ein gemeinsames Repository - regelmäßig eine globale Überprüfung in Stapelverarbeitung wann die Modellierungsrichtlinie überprüft wird Aktion: - Regelverletzung verhindern - Regelverletzung (ggf. mit Prioritäten) reparieren - Regelverletzung anzeigen - Aktion(z.B. Einchecken) blockieren Reaktion auf einer Regelverletzung
Softwareleitstand integriert mit Versionsmanagement Anzahl der Regelverstöße Aktueller Zustand des Modells Regressionsanalyse = Trendanalyse: = Wiederholung von Richtlinienüberprüfungen nach Änderungen und Abgleich mit Ergebnissen vorgehender Überprüfungen (bereits quittierte Warnungen werden nicht nochmal angezeigt, … ) Modell - Version 1.2 Modell - Version 1.1 x Regelverletzungen y Regelverletzungen Modellierungs- Richtlinien Analyse Überprüfung Version 1.0 α Verstöße Version 1.2 γ Verstöße Version 2.0 δ Verstöße Version 1.1 β Verstöße Version x.y ε Verstöße Trendanalyse