Modulcode:	BA6.5
Englische Bezeichnung:	Project (Debugging Tools)
Modulverantwortliche(r):	Prof. Dr. Michael Hanus
Turnus:	unregelmäßig (WS08/09)
Präsenzzeiten:	6Ü
ECTS:	16
Workload:	480 Std.
Dauer:	ein Semester
Modulkategorien:	BA6 (Sonstige)
Lehrsprache:	Deutsch
Voraussetzungen:

Kurzfassung:

Durch Aufzeichnung ausgewählter Daten während der Ausführung eines Programms kann man die Auffindung von Programmierfehlern wesentlich erleichtern. Entscheidend dabei ist eine gute Aufarbeitung der gesammelten Daten für den Programmierer. In diesem Projektmodul werden verschiedene solcher Werkzeuge entwickelt.

Lernziele:

Die Studierenden erlernen die Grundlagen und Anwendung von Werkzeugen zum Auffinden von Programmierfehlern. Sie erlernen und vertiefen die Anwendung von Techniken des Übersetzerbaus und der deklarativen Programmierung zur Erstellung programmiersprachlicher Werkzeuge und werden mit dem Stand der Technik der rechnergestützten Suche nach Programmierfehlern vertraut gemacht.

Lehrinhalte:

Mit einem kürzlich entwickelten Ansatz lassen sich effizient Daten über die Ausführung von deklarativen Programmen sammeln. Diese Daten werden derzeit genutzt, um dem Programmierer zwecks Fehlersuche zwei verschiedene Sichten auf sein Programm zur Verfügung zu stellen. Im Projektmodul wird es darum gehen, den Ansatz in verschiedener Weise zu erweitern beziehungsweise zu evaluieren:

• Verbesserung der Darstellung in Bezug auf das Originalprogramm (Source Code Binding)
• Flexiblere Gestaltung der Auswahl, welche Daten gesammelt werden Umsetzung der aus anderen Bereichen bekannten Werkzeuge zur Fehlersuche
• Erstellung neuer Werkzeuge für die Fehlersuche
• Evaluation der Praxistauglichkeit der realisierten Werkzeuge

Weitere Voraussetzungen:

Bachelorstudium 1.-4. Semester, Erfahrung in mindestens einem der Bereiche deklarative Programmierung (z.B. durch die Vorlesung "`Funktionale Programmierung"') oder Übersetzerbau

Prüfungsleistung:

schriftliche Ausarbeitung und institutsinterner Vortrag

Lehr- und Lernmethoden:

Verwendbarkeit:

Literatur:

wird während des Projektmoduls bekanntgegeben

Verweise:

Kommentar: