Advanced Software Testing and Analysis

Worum geht's

Du beschäftigst dich mit aktuellen Forschungsergebnissen, Werkzeugen und Techniken aus dem Bereich Software Testing und Programmanalyse. Am Ende kannst du ausgewählte state-of-the-art-Methoden bewerten und praktisch anwenden, z. B. Techniken zur statischen Analyse, Testgenerierung, Testoptimierung und Debugging.

Was du danach kannst

• Verstehen moderner Methoden für Testen und Analyse
• Bewerten von Forschungswerkzeugen und -ergebnissen
• Anwenden spezifischer Techniken praktisch (z. B. Fuzzing, Mutation Testing, Slicing)
• Durchführen theoretischer und empirischer Evaluierungen

Aus was das Modul besteht

• VorlesungVermittlung von Grundlagen und aktuellen Forschungsergebnissen; kombiniert traditionelle Präsentation und Flipped-Classroom-Elemente
• TutorialsVertiefung der Vorlesungsinhalte mit Übungsblättern und tutoriellem Support
• Hausprojekt (freiwillig)Praktische Anwendung der Methoden an einem Beispielprojekt mit Feedback durch Tutoren

Lehrmethode

• Präsentation durch DozentenDient der Einführung und Erläuterung detaillierter Beispiele
• Flipped Classroom (Vorbereitung mit Texten/Videos)Ermöglicht aktive Diskussion und Peer Instruction in den Sitzungen
• Tutorials mit Arbeitsblättern und TutorenUnterstützen das praktische Arbeiten an Übungen und das Vertiefen der Inhalte
• Arbeit am Beispielprojekt als HausaufgabeErmöglicht praktische Anwendung und Demonstration der erlernten Methoden