Softwarequalität in Theorie und Industrieller Praxis

Die meisten industriellen Systeme sind ohne Software nicht mehr vorstellbar. Gerade auch in sicherheitsrelevanten Bereichen, wie z.B. dem Automobil- oder Flugzeugbau, kommen zunehmend Softwaresysteme zum Einsatz. Klassische hardware-dominierte Systeme werden von software-dominerten Systemen Schritt für Schritt abgelöst. Der Entwurf dieser Software-Systeme stellt eine immer größer werdende Herausforderung für die Systementwickler dar. Wachsender Zeitdruck, höhere Anforderungen an die Korrektheit und steigende Systemkomplexität machen die Softwareentwicklung zu einer komplexen Aufgabe. Dadurch erhöht sich zwangsläufig auch das Fehlerpotential. Aus diesem Grund rückt das Testen von Software-Systemen immer weiter in den Vordergrund. In dieser Vorlesung werden die Grundlagen für das Testen, Debuggen und Verifizieren von Software-Systemen beschrieben. Themenschwerpunkte sind unter anderem: Qualitätsmanagement, funktionsorientiertes Testen, Abdeckungsanalyse-Verfahren (Coverage-Verfahren), Input Space Partitioning, spezielle Testtechniken, Software-Messung, Debugging, formale Techniken, Prüfstrategien und Prüfen von objektorientierter sowie eingebetteter Software.

Die Vorlesung umfasst nicht nur die theoretischen Grundlagen der aufgeführten Themen, sondern legt auch besonderen Wert auf den industriellen Praxisbezug. Alle behandelten Gebiete lassen sich direkt im industriellen Software-Umfeld anwenden. Weiterhin bringen die beiden aus der Industrie stammenden Dozenten Dr. Jürgen Ruf (Bosch Sensortech) und Prof. Dr. Thomas Kropf (Bosch) viel Praxiserfahrung mit und wollen diese auch in der Vorlesung an die Studierenden vermitteln. Die Vorlesung stützt sich unter anderem auf aktuelle Forschungsthemen der “Safety-Critical-Systems-Gruppe” der Technischen Informatik.

Anmeldung im Kursforum

Melden Sie sich hier an bis spätestens zum 29.04.2024, um Zugriff auf das Kursforum zu erhalten. Für spätere Anmeldungen wenden Sie sich an Marcial Gaißert
ResearcherMarcial Gaißert

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

Aufgrund von Terminkonflikten finden zwei Vorlesungen donnerstags statt dienstags statt.

Dozenten

• 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