Modul CS5220 T

Dauer:

Angebotsturnus:

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

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:

• 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:

(Ist Modulteil von CS4507-KP12)

Zulassungsvoraussetzungen zum Modul:
- Keine

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

Letzte Änderung: