Software Engineering

Softwarequalität in Theorie und Industrieller Praxis

Ohne zuverlässige Software funktionieren heute weder Autos noch Flugzeuge, Maschinen oder Medizingeräte. Doch wie entwickelt man Software, auf die man sich verlassen kann – gerade wenn Menschenleben davon abhängen? Diese Vorlesung führt praxisnah und systematisch in die zentralen Methoden der Qualitätssicherung ein: Vom Testen und Debuggen bis hin zur formalen Verifikation.

Studierende lernen, wie man Testfälle gezielt entwickelt, was gute Abdeckungsgrade sind, wie sich Eingabedaten sinnvoll partitionieren lassen und wie sich Softwaremetriken zur Bewertung nutzen lassen. Weitere Themen sind unter anderem: Qualitätsmanagement, Prüfstrategien, spezielle Testtechniken, formale Methoden sowie das Testen objektorientierter und eingebetteter Systeme.

Neben fundierter Theorie steht der industrielle Einsatz im Mittelpunkt. Die Lehrveranstaltung wird gemeinsam von drei Dozenten mit langjähriger Industrieerfahrung gestaltet: Dr. Jürgen Ruf (Bosch Sensortec), Stefan Huster (Carl Zeiss AG) und Prof. Dr. Thomas Kropf (Bosch). Sie bringen reale Herausforderungen und Best Practices aus der Unternehmenspraxis mit – und vermitteln so ein Verständnis dafür, wie Softwarequalität im industriellen Alltag gelingt.

Die begleitenden Übungen werden von Marcial Geißelt betreut und vertiefen die Inhalte durch praktische Aufgaben und Anwendungsbeispiele.

Literatur

Beide Bücher stehen in der Universitäts-Bibliothek für Sie zur Ausleihe bereit.

Termine

  • Vorlesung: Dienstag, 17:00 - 19:00 in F122 Hörsaal 2 (Sand 6/7)
  • Übung: Donnerstag, 14:00 - 16:00 in F122 Hörsaal 2 (Sand 6/7)

Die erste Vorlesung findet am Dienstag, 15. April 2025 statt.

Dozenten