SFB 1404/1: Debugging verteilter Datenanalyseworkflows (TP B03)

In der Praxis zeigen DAWs während ihrer Ausführung oft ein unerwartetes Verhalten oder brechen sogar einfach ab. Debugging zielt darauf ab, eine Ursache-Wirkungs-Beziehung zwischen dem beobachtbaren Verhalten und dem tatsächlich vorliegenden Fehler herzustellen. Eine solche Fehlererkennung dient als erster Schritt für eine zuverlässige Problemlösung und ist damit unverzichtbar zur Erhöhung der Zuverlässigkeit von DAW Systemen. Das Debuggen von DAWs ist jedoch aufgrund der Heterogenität der involvierten Verarbeitungsschritte sowie deren verteilten Ausführung besonders herausfordernd und noch wenig untersucht. Zentrale Forschungsfrage in diesem Teilprojekt ist, wie Wissenschaftler eine Debugging-Hypothese im Kontext des wissenschaftlichen Software-Engineerings effizient formulieren, testen und verfeinern können. Entwickelt und experimentell erprobt werden hierzu Methoden und Techniken zur initialen Eingrenzung, näheren Untersuchung und schlussendlichen Lokalisierung von Fehlern. Primäre Kollaborationspartner sind die Teilprojekte A03 und B06, die sich mit verwandten Themen im Umfeld des Testens und Monitoring von DAWs beschäftigen. Geleitet wird das Teilprojekt von Prof. Kehrer, einem Experten für modell- und datenzentrierte Softwareentwicklung, und Prof. Markl, einem Experten für verteilte Datenanalysen.