8. Software Engineering

Algorithmische Beweisführung der Korrektheit für alle Situationen

Explorative Untersuchung auf Fehlerfreiheit für bestimmte Situationen

Quellcode wird untersucht, aber nicht ausgeführt Beispiele: Syntaxprüfung durch Parser, Code-Review durch Entwickler

Quellcode wird ausgeführt

Beispiele: Zustandserkennung durch Logger, Gesteuerte Ausführung durch Debugger, Ergebnisvergleich durch Tests

Untersuchung der Fehlerfreiheit einzelner Module (Klassen etc.)

Untersuchung der fehlerfreien Zusammenarbeit mehrerer Module als Gesamtsystem

• Tests einzelner Methode einer Klasse (Komponententestverfahren)

• Ausführung von Methoden der Klasse (Dynamisches Testverfahren)

• Vergleich von erwartetem und erreichtem Ergebnis

• Jeder Teil der Testmethode soll getestet werden

• Festlegung von Testfällen

• Manuelle Kontrolle der Überdeckung aufwändig

• Automatische Kontrolle der Überdeckung möglich

• Beispiel: EclEmma als Eclipse-Plugin

• Ausführung als eigene Ausführungskonfiguration in Eclipse

• Zeilengenaue Protokollierung während der Ausführung

• Anzeige der Ergebnisse durch farbige Hinterlegung der Zeilen

• Anzeige der Ergebnisse methodengenau durch prozentuale Angaben

• Entwicklung von Softwareprodukten ist großteils iterativ

• Iterationen führen zu unterschiedlichen Entwicklungsständen

• Wunsch: Historie der Entwicklungsstände sollte nachvollziehbar sein

• Wunsch: Entwicklungsstände sollten wiederhergestellt werden können

• Entwicklung von Softwareprodukten ist kollaborativ

• Wunsch: Entwicklungsstände zentral bereitstellen

• Wunsch: Entwicklungsstände einheitlich benennen

• Wunsch: Parallele Entwicklungen ermöglichen

• Bezeichnungsschema von Entwicklungsständen, oft in aufsteigender Reihenfolge

• Bezeichnungsschema fast ausschließlich numerisch und oft hierarchisch gegliedert

• Beispiel für Bezeichnungsschema: „Semantic Versioning“

• Entwicklungsstände werden als Versionen oder Revisionen bezeichnet In Modul M7: Versionen für Gesamtprodukte, Revisionen für einzelne Komponenten

• Softwareentwicklung endet nicht beim Codieren

• Zusätzliche Tätigkeiten wie Linken, Kompilieren, Testen, Paketieren, Einsetzen

• Tätigkeiten werden wiederholt ausgeführt

• Festlegen und Konfigurieren der auszuführenden Schritte (Pipeline)

• Festlegen von Startbedingungen (Trigger)

• Ausführen der Schritte mit Erfolgsüberwachung (Build)

• Optional: Weiterverarbeiten der Ergebnisse