Fehlerbehebung in Tabellenkalkulationsprogrammen
Debugging of spreadsheet programs
DACH: Österreich - Deutschland - Schweiz
Wissenschaftsdisziplinen
Informatik (100%)
Keywords
-
End-User Debugging,
Model-Based Debugging,
Spreadsheets,
End-User Programming
Tabellenkalkulationsprogramme (Spreadsheets) sind das erfolgreichste Beispiel für das Prinzip des "End-User-Programming". Spreadsheets, z.B. entwickelt auf Basis von MS Excel, werden heutzutage fast überall in Unternehmen für eine Vielzahl von Aufgaben eingesetzt. Studien zeigen, dass über 80% der untersuchten Unternehmen Spreadsheets für das Finanzreporting einsetzen. Zusätzlich setzen Firmen oft Dutzende oder gar hunderte Spreadsheets ein, welche oft umfangreich und komplex sein können und hunderte oder tausende Formeln umfassen. Obwohl häufig geschäftskritische Entscheidungen von Spreadsheets abhängen, kann vielfach ein vollkommenes Fehlen von Qualitätssicherungsmaßnahmen für diese Anwendungen beobachtet werden. Wenig überraschend enthalten Spreadsheets oft verschiedene Arten von Fehlern, zumal sie ja von Nicht-Programmieren entwickelt werden. In manchen Untersuchungen wurde zumindest ein Fehler in jedem einzelnen Spreadsheet gefunden. Baut man jedoch Geschäftsentscheidungen auf solche Spreadsheets auf, so geht dies möglicherweise mit einem hohen finanziellen Risiko einher, wie z.B. von der European Spreadsheet Risk Interest Group berichtet. In den letzten Jahrzehnten wurde von Forschung und Industrie eine Vielzahl von Methoden, Techniken und Werkzeugen zur Qualitätssicherung von traditionellen Software-Artefakten entwickelt. Erst kürzlich hingegen ist das Interesse an derartigen Methoden für Spreadsheets angestiegen, was zu einer ersten Menge von Lösungsvorschlägen geführt hat, welche von prozessbezogenen Maßnahmen, über Visualisierungstechniken bis hin zu speziellen Test- und Debugging-Methoden für Spreadsheets reichen. In diesem Projekt steht die Debugging-Phase im Entwicklungszyklus für Spreadsheets im Mittelpunkt. Unser Ziel ist die Bereitstellung von Werkzeugen für den Spreadsheet-Entwickler, die ihm dabei helfen, die möglichen Ursachen für Probleme im Spreadsheet zu lokalisieren. Diese Ursachen werden Diagnosen genannt und stellen eine Teilmenge von Spreadsheet-Formeln dar, die geändert werden müssten, um das gewünschte Programmverhalten zu erreichen. Im Speziellen wollen wir systematisch untersuchen, inwiefern bestehende Debugging-Ansätze für Spreadsheet Debugging angewandt, erweitert oder kombiniert werden können. Aufbauend auf diesen technischen Innovationen wollen wir zudem ein Klassifikationssystem entwickeln, welches uns zu verstehen hilft, welche Techniken für spezielle Typen von Programmen besonders gut geeignet sind. Wir planen desweiteren die Durchführung von Benutzerstudien, durch welche wir ein besseres Verständnis davon bekommen wollen, in welcher Form und in welchem Ausmaß die Teilnehmer von den bereitgestellten Debugging-Werkzeugen profitieren und wie die Benutzerinteraktions- mechanismen für ein intelligentes Debugging-System für Endbenutzer gestaltet werden sollen.
Kalkulationstabellen (Spreadsheets) sind ein weitverbreitetes Werkzeug in unserer IT- unterstützen Gesellschaft. Obwohl sie oft als Grundlage für weitreichende Entscheidungen verwendet werden, sind Tabellen nicht immer fehlerfrei. Eine wachsende Sammlung von Tatsachenberichten, in denen Fehler in Spreadsheets großen wirtschaftlichen Schaden verursacht haben, untermauert diesen Umstand. Das DEOS Projekt nahm dies zum Anlass um Methoden zu entwickeln, die einem Benutzer ermöglichen, Fehlverhalten in Spreadsheets festzustellen, und die Ursachen dieser Probleme aufzuspüren. Wir beschäftigten uns dabei mit der Frage wie man die Fehlersuche in Spreadsheets möglichst einfach gestalten kann, um somit Benutzer zu motivieren und bei der Benützung diese Funktionen zu unterstützen. Wir entwickelten dabei eine Methode um Tabellen in kleinere Teilbereiche aufzuteilen, die daraufhin vom Benutzer individuell begutachtet werden können. In einer Benutzerstudie in Klagenfurt erwies sich diese Herangehensweise als zugänglicher und effektiver als gebräuchliche Methoden zur Fehlersuche. Wir gingen weiters den Ursachen häufiger Fehlerquellen in bestimmten Anwendungsfällen von Spreadsheets auf die Spur. Wir untersuchten hierbei eine Sammlung von E-Mail- Konversationen, die der Entwicklung bestimmter Tabellen zuzuordnen sind, und notierten dabei die Typen und Lage bekannter Fehler. Dies resultierte in der ersten, frei zugänglichen Sammlung von Spreadsheets für welche auch akkurate Fehlerinformationen vorliegen. Solche Datensätze sind wichtig für weiterführende Forschungsarbeiten. So nutzten wir diese und ähnliche Sammlungen um Modelle zur automatischen Vorhersage von Formelfehlern mithilfe von maschinellem Lernen zu erzeugen. Eine erste Publikation hierzu wurde mit dem ACM SIGSOFT Distinguished Paper Award ausgezeichnet. Zuletzt untersuchten wir strukturelle Eigenschaften von Kalkulationstabellen und entwickelten darauf aufbauend Methoden zum Auffinden und Anzeigen auffälliger Strukturen. Ein entwickeltes Hilfsprogramm bietet Benutzern grafisch aufbereitete Informationen über mögliche Probleme. Das Programm ist, zusammen mit unseren weiteren Forschungsergebnissenauf derInternetseite des DEOS-Projektesunter www.spreadsheets.ist.tugraz.at zugänglich. In Folge der Projektarbeit stärkte das DEOS-Projekt das Kompetenzzentrum Österreich, und förderte die internationale Kooperation durch Vernetzung von Wissenschaftlern aus Österreich und Deutschland. Darüber hinausgehend hat unsere Arbeit auch den Aufbau einer internationalen Gemeinde von Spreadsheet-Experten unterstützt, welche unabhängig daran arbeitet, Spreadsheets einfacher und zuverlässiger für jedermann zu machen.
- Technische Universität Graz - 66%
- Universität Klagenfurt - 34%
- Dietmar Jannach, Universität Klagenfurt , nationale:r Kooperationspartner:in
- Kostyantyn Shchekotykhin, Universität Klagenfurt , assoziierte:r Forschungspartner:in
Research Output
- 144 Zitationen
- 22 Publikationen
-
2019
Titel Metric-Based Fault Prediction for Spreadsheets DOI 10.1109/tse.2019.2944604 Typ Journal Article Autor Koch P Journal IEEE Transactions on Software Engineering Seiten 2195-2207 Link Publikation -
2019
Titel On the refinement of spreadsheet smells by means of structure information DOI 10.1016/j.jss.2018.09.092 Typ Journal Article Autor Koch P Journal Journal of Systems and Software Seiten 64-85 Link Publikation -
2018
Titel Parallel Model-Based Diagnosis DOI 10.1007/978-3-319-63516-3_14 Typ Book Chapter Autor Shchekotykhin K Verlag Springer Nature Seiten 547-580 -
2019
Titel Strength of socio-political attitudes moderates electrophysiological responses to perceptual anomalies DOI 10.1371/journal.pone.0220732 Typ Journal Article Autor Reiss S Journal PLOS ONE Link Publikation -
2018
Titel Combining spreadsheet smells for improved fault prediction DOI 10.1145/3183399.3183402 Typ Conference Proceeding Abstract Autor Koch P Seiten 25-28 Link Publikation -
2018
Titel Fritz: A Tool for Spreadsheet Quality Assurance DOI 10.1109/vlhcc.2018.8506490 Typ Conference Proceeding Abstract Autor Koch P Seiten 285-286 -
2018
Titel Fragment-based spreadsheet debugging DOI 10.1007/s10515-018-0250-9 Typ Journal Article Autor Jannach D Journal Automated Software Engineering Seiten 203-239 Link Publikation -
2017
Titel Combining Models for Improved Fault Localization in Spreadsheets DOI 10.1109/tr.2016.2632151 Typ Journal Article Autor Hofer B Journal IEEE Transactions on Reliability Seiten 38-53 Link Publikation -
2017
Titel AI for Localizing Faults in Spreadsheets DOI 10.1007/978-3-319-67549-7_5 Typ Book Chapter Autor Hofer B Verlag Springer Nature Seiten 71-87 -
2017
Titel Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging DOI 10.1109/issrew.2017.18 Typ Conference Proceeding Abstract Autor Hofer B Seiten 199-206 -
2017
Titel Improving Spectrum-based Fault Localization for Spreadsheet Debugging DOI 10.1109/qrs.2017.21 Typ Conference Proceeding Abstract Autor Getzner E Seiten 102-113 -
2017
Titel The Future of Automated Debugging -Focus on the Niches First DOI 10.1109/issrew.2017.16 Typ Conference Proceeding Abstract Autor Wotawa F Seiten 92-93 -
2017
Titel Qualitative Deviation Models for Spreadsheet Debugging DOI 10.1109/issrew.2017.17 Typ Conference Proceeding Abstract Autor Hofer B Seiten 191-198 -
2017
Titel An AI-Based Interactive Tool for Spreadsheet Debugging DOI 10.1109/vlhcc.2017.8103496 Typ Conference Proceeding Abstract Autor Schmitz T Seiten 333-334 -
2017
Titel A Decomposition-Based Approach to Spreadsheet Testing and Debugging DOI 10.1109/vlhcc.2017.8103458 Typ Conference Proceeding Abstract Autor Schmitz T Seiten 117-121 -
2016
Titel Fragment-Based Diagnosis of Spreadsheets DOI 10.1007/978-3-319-50230-4_28 Typ Book Chapter Autor Schmitz T Verlag Springer Nature Seiten 372-387 -
2016
Titel Parallel Model-Based Diagnosis on Multi-Core Computers DOI 10.1613/jair.5001 Typ Journal Article Autor Jannach D Journal Journal of Artificial Intelligence Research Seiten 835-887 Link Publikation -
2016
Titel Static Spreadsheet Analysis DOI 10.1109/issrew.2016.8 Typ Conference Proceeding Abstract Autor Koch P Seiten 167-174 -
2016
Titel Finding Errors in the Enron Spreadsheet Corpus DOI 10.1109/vlhcc.2016.7739679 Typ Conference Proceeding Abstract Autor Schmitz T Seiten 157-161 -
2015
Titel Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach DOI 10.1007/978-3-319-25945-1_8 Typ Book Chapter Autor Abreu R Verlag Springer Nature Seiten 124-140 -
2015
Titel Conditional Slicing: Reducing Dynamic Slices DOI 10.1109/issrew.2015.7392045 Typ Conference Proceeding Abstract Autor Hofer B Seiten 66-66 -
2015
Titel Fault Localization in the Light of Faulty User Input DOI 10.1109/qrs.2015.47 Typ Conference Proceeding Abstract Autor Hofer B Seiten 282-291