Seminar »Automatisches Debugging«

Universität Passau
Lehrstuhl für Softwaresysteme
Innstraße 33
94032 Passau, Germany

Phone: +49 851 509-30 91
Fax: +49 851 509-30 92
e-mail: snelting@fmi.uni-passau.de
WWW: http://www.infosun.fmi.uni-passau.de/st/

Aktuelles

Der Seminarband ist nun zum Gegenlesen verfügbar. Redaktionsschluß ist der 30. April; gedruckte Exemplare wird es ab 7. Mai geben.

Seminartermin

Jeweils Montags, 8:00 s.t., Raum 242, FMI-Gebäude. Eine Tee- und Kaffeeküche steht zur Verfügung :-)

Themen, Teilnehmer und Termine

0. Einführung (Andreas Zeller, 2000-10-16): Entwicklung von Debugging - Forschungsgebiete - Fehlerkategorien
1. Klassisches Debugging (Christian Lorenz, 2000-10-23): Arbeitsweise - Code-Instrumentierung - Schnittstellen
2. Visuelles Debugging (Franz Weitl, 2000-10-30): Statische Visualisierung - Dynamische Visualisierung - Animation
3. Grundlagen der Programmanalyse (Jens Oberender, 2000-11-06): Kontrollbeziehungen - Kontrollflußgraphen - Fehlerpropagation - Fehlerauswirkungen
4. Post-Mortem-Analyse (Hermann Burgmeier, 2000-11-13): Wahrscheinlichkeitsbewertungen - Auswertung - Übertragbarkeit des Verfahrens
5. Points-To-Analyse (Klaus Krieger, 2000-11-20): Worauf kann ein Pointer zeigen? - Steensgard-Verfahren - Anderson-Verfahren - Vergleich verschiedener Verfahren
6. Shape-Analyse (Andreas Gärtner, 2000-11-27): Invarianten von Datenstrukturen - Verletzungen erkennen
7. Statisches Slicing I (Thomas Holzer, 2000-12-04): Was ist Slicing? - Aufbau eines Slices mit Datenflußgleichungen
8. Statisches Slicing II (Daniel Gmach, 2000-12-11): Def/Uses-Beziehungen - PDG's - SDG's - Interprozedurales Slicing - Summary-Kanten
9. Slicing objektorientierter Programme (Martin Siller, 2000-12-18): Members und Methoden - Dynamische Bindung
10. Dynamisches Slicing (Ralph Bobrik, 2001-01-08): Dynamisches Slicing nach Agrawal mit Pointern - neuer Ansatz
11. Slicing in neuen Kontexten (Michael Gürster, 2001-01-15): Critical Slicing - OO- und concurrent slicing
12. Algorithmisches Debugging I (Elisabeth Angerer-Grubmüller, 2001-01-22): Logische Programmierung - Algorithmic Debugging nach Shapiro - weitere Probleme beim Debuggen logischer Programme
13. Algorithmisches Debugging II (Thomas Zimmermann, 2001-01-29): Algorithmic Debugging mit imperativen Programmen - Anwendung von Slicing, Spezifikationen und Testdaten im Automatischen Debugging
14. Delta Debugging (Iris Kösters, 2001-02-05): Debuggen durch systematisches Testen - Algorithmus - Beispiele - Zukünftige Anwendungen

Materialien

werden durch die Betreuer ausgegeben und ggf. durch eigene Recherche ergänzt.

Verlauf

1 Woche vor dem Vortrag sollen Sie uns Ihre fertigen Folien vorstellen. Damit wollen wir Schwächen bei Aufbau und Inhalt rechtzeitig erkennen und korrigieren.
Von technischer Seite gibt es keine besonderen technischen Anforderungen; wir empfehlen LaTeX (im Seminar-Stil) oder Microsoft PowerPoint.
Auch wenn Sie bereits Seminarvorträge gehalten haben, möchten wir Ihnen diese Tips empfehlen:
- Der goldene Weg zum perfekten Seminarvortrag. Kurze Auflistung der wichtigsten Regeln. Faßt die Vorstellungen der Betreuer zusammen - etwa die Regeln zur Inhaltsangabe.
- Wie hält man einen Informatik-Seminarvortrag? (PostScript-Format) Detaillierte Auflistung, spezifisch für Informatik-Vorträge. Besonders Regel 3.7 beachten!
Der Vortrag selbst soll 45-60 Minuten dauern, mit 15-30 Minuten anschließender Diskussion. (Die Diskussion kann auch während des Vortrags stattfinden.)
4 Wochen nach Vortrag ist die Ausarbeitung fällig, in die auch die Diskussionsergebnisse einfließen sollen.
- Länge: etwa 12-15 Seiten
- Format: LaTeX, article-Stil (11 Punkt)
Eine LaTeX-Vorlage ist verfügbar.
Die komplette Seminar-Ausarbeitung wird anschließend als Online-Dokument ins Netz gestellt.

Online-Verweise

Fragen zum Seminar

Für Fragen zum Seminar stehen Andreas Zeller und Holger Cleve zur Verfügung.