Die Grenzen des Program Slicing & Wie Ursache-Wirkungsketten Fehler finden

and they seem to be in German.]

Stephan Neuhaus: Die Grenzen des Program Slicing

In dem Vortrag wird eine experimentelle Methode vorgestellt, um
Program Slices zu berechnen. Dabei wird die Programmausführung
gelegentlich unterbrochen, um den Programmzustand zufällig zu
ändern. Wirkt sich diese Änderung auf das Slicing-Kriterium aus, ist
die geänderte Variable im Slice enthalten.

Fragen, die mit diesem Ansatz geklärt werden sollen, sind u.a.:

* Wie genau sind die berechneten Slices?
* Können durch Manipulationen am Programmzustand Variablen in den
Slice geraten, die durch traditionelle Methoden nicht erwischt
werden?
* Wie effizient können Slices berechnet werden?
* Welche statistischen Aussagen lassen sich über die Beeinflussung von
Slice-Variablen durch Zustandsvariablen machen?
* Wie propagieren Ursachen-Änderungen durch Programme, um Wirkungen
hervorzurufen?


Holger Cleve: Wie Ursache-Wirkungsketten Fehler finden

Von Delta-Debugging isolierte Teile des Programmzustands sollen direkt
als Fehlerursachen mit dem aufgetretenen Fehler in Zusammenhang
stehen. Diese Aussage ist noch nicht bewiesen. In diesem Vortrag will
ich ein Modell einer Programmausführung als einfachen Rahmen
einführen, in dem ersichtlich ist wie die von DD gefundenen Elemente
und Mutationen (d.h. mit modifizierte Statements in "infizierten"
Programme) zusammenhängen. Dazu werde ich im Wesentlichen die
Ergebnisse der Siemens-Fallstudie vorstellen. Im zweiten Teil werde
ich andere bekannte Verfahren zum automatischen Debugging (dynamisches
Slicing, algorithmic debugging) in das Modell einordnen, und DD mit
ihnen dadurch vergleichbar machen. Zum Abschluss gibt es einen
Ausblick, wie experimentelle Programmanalyse die wesentlichen
Abhängigkeiten aus dynamischen Slices generieren kann.(oder können
werden könnte)