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 Gaißert betreut und vertiefen die Inhalte durch praktische Aufgaben und Anwendungsbeispiele.

Literatur

• Introduction to Software Testing von P. Ammann und J. Offutt (1. Aufl.) [Universitäts-Bibliothek]
• Software-Qualität: Testen, Analysieren und Verifizieren von Software von P. Liggesmeyer (2. Aufl.) [Universitäts-Bibliothek]

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

Termine

• Vorlesung: Dienstag, 17:00 - 19:00 in TBA (Sand)
• Übung: Dienstag, 15:00 - 17:00 in TBA (Sand)

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

Dozenten

• Thomas Kropf
  Associated, apl. Prof.Thomas Kropf
• Jürgen Ruf
• Stefan Huster

• Jonathan Brachthäuser
  Head of the SE research groupJonathan Immanuel Brachthäuser

• Übungen: Marcial Gaißert
  ResearcherMarcial Gaißert