Proseminar: Softwaretechnik - Static Code Analysis and Code Search

Organisatorisches

Die Anmeldung zum Proseminar erfolgt zentral im dafür vorgesehen Moodle-Kurs. Nach der Zuteilung werden die Teilnehmer per E-Mail kontaktiert. Bitte kontaktieren Sie uns bei Fragen oder Problemen zur Veranstaltung oder zum Zuteilungsprozess.

Inhalte

Software spielt in unserem Alltag eine immer größer werdende Rolle. Mit der zunehmenden Größe von Codebasen nimmt auch die Komplexität der Software immer weiter zu. Aus diesem Grund setzen sich ganze Forschungsbereiche mit dem Verständnis und der Analyse von Sourcecode auseinander.
In diesem Proseminar werden sie sich mit einem Themengebiet vertraut machen und dessen Forschungsstand im Rahmen eines Systematic Literature Reviews beschreiben.

Mögliche Themenbereiche sind:

Design Pattern Detection
Cliche Recognition
Code Clone Detection
(Source) Code Plagiarism Detection
Normalization techniques for source code
Subgraphmatching

Für eine ausführliche Beschreibung beachten Sie bitte das Video im zentralen Moodle-Kurs, über den auch die Verteilung der Proseminare stattfindet.

Lernziele

Studierende vertiefen ihre Kenntnisse im selbständigen Arbeiten mit wissenschaftlicher Literatur so wie im präsentieren von erarbeiteten Inhalten in Form einer Präsentation und in der Form einer wissenschaftlichen Ausarbeitung.

Vergangene Veranstaltungen

Prof. Dr. Thomas Thüm, M.Sc. Tobias Heß

Binary Decision Diagrams (BDDs) stellen aussagenlogische Formeln als gerichtete, azyklische Graphen dar. Viele klassische Probleme der Aussagenlogik, wie z.B. das Entscheiden ob eine Formel eine Lösung besitzt (SAT) oder das Zählen wie viele Lösungen eine Formel besitzt (#SAT), sind auf BDDs effizient lösbar. Konsequenterweise ist daher die Erzeugung eines BDDs für eine aussagenlogische Formel ein schwieriges Problem. In diesem Proseminar werden BDDs aus den folgenden Perspektiven betrachtet: