Modul CS5220 T

Dauer

1 Semester

Angebotsturnus

In der Regel jährlich, vorzugsweise im WiSe

Leistungspunkte

6

Studiengang, Fachgebiet und Fachsemester:

• Master Medizinische Ingenieurwissenschaft 2020, Modulteil eines Wahlmoduls, Informatik/Elektrotechnik, Beliebiges Fachsemester
• Master Medizinische Ingenieurwissenschaft 2014, Modulteil eines Wahlmoduls, Informatik/Elektrotechnik, Beliebiges Fachsemester
• Master Entrepreneurship in digitalen Technologien 2020, Modulteil eines Wahlmoduls, Modulteil, Beliebiges Fachsemester
• Master Informatik 2019, Modulteil eines Wahlmoduls, Modulteil, Beliebiges Fachsemester

Lehrveranstaltungen:

• CS5220-Ü: Statische Analyse (Übung, 1 SWS)
• CS5220-V: Statische Analyse (Vorlesung, 3 SWS)

Workload:

• 60 Stunden Präsenzstudium
• 100 Stunden Selbststudium
• 20 Stunden Prüfungsvorbereitung

Lehrinhalte:

• Begriffe, Potenzial und Abgrenzungen
• Programmanalysen
• Datenflussanalyse
• Abstrakte Interpretation
• Symbolic execution
• SMT/SAT Solvers
• Hoare-Logik, wp-Kalkül
• Softwaremetriken
• Bytecode-Analyse
• Manuelle Prüfverfahren

Qualifikationsziele/Kompetenzen:

• Die Studierenden können die Potenziale von statischer Analyse veranschaulichen.
• Sie können die Techniken zur automatischen statischen Quellcode-Analyse erklären und klassifizieren.
• Sie können geeignete Analyseverfahren auswählen, einsetzen und miteinander kombinieren.
• Sie können verschiedene statische Methoden zur Verbesserung der Softwarequalität zueinander in Beziehung setzen, vergleichen und bewerten.
• Sie können Ansätze zur Bytecode-Analyse darstellen.
• Sie können typische Werkzeuge zur statischen Analyse auswählen und einsetzen.
• Sie können manuelle Prüfverfahren organisieren und durchführen.

Vergabe von Leistungspunkten und Benotung durch:

• Prüfungsform hängt vom übergeordneten Modul ab

Modulverantwortliche:

• Prof. Dr. Martin Leucker

Lehrende:

• Institut für Softwaretechnik und Programmiersprachen
• Prof. Dr. Martin Leucker

Literatur:

• F. Nielson, H.R. Nielson, C. Hankin : Principles of Program Analysis Springer, 2010
• H. Seidl, R. Wilhelm, S. Hack : Übersetzerbau Band 3: Analyse und Transformation Springer 2010

Sprache:

• Englisch, außer bei nur deutschsprachigen Teilnehmern

Bemerkungen:

Letzte Änderungen:

21.10.2021