Website
Modulhandbuch ab WS 2014/15

Modul CS5220 T

Modulteil: Statische Analyse (StatAnaa)

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
Modulverantwortlicher:
Lehrende:
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:

(Ist Modulteil von CS4507-KP12)

Zulassungsvoraussetzungen zum Modul:
- Keine

Zulassungsvoraussetzungen zur Prüfung:
- Erfolgreiche Bearbeitung von Übungsaufgaben während des Semesters

Letzte Änderung:
21.10.2021

Modulhandbuch online

Zur Liste aller Module