Software sucht Software-Fehler
Forscher der Universität des Saarlandes haben einen Internetdienst gestartet, der Fehlerursachen von Computerprogrammen ermittelt -
automatisch und kostenlos.
Unter AskIgor.org koennen Programmierer fehlerhafte Linux-Programme einreichen, Diagnose-Werkzeuge fuer Windows- und Java-Programme sind in Entwicklung.
Und so funktioniert das Verfahren: Igor vergleicht zwei Programmläufe miteinander - einen, bei dem das Programm korrekt arbeitet, und einen, bei dem das Programm fehlschlägt.
Systematische Suche
Durch systematische Suche und immer neue Testläufe entdeckt das -
Eigenangaben zufolge weltweit einmalige - Verfahren schließlich den
relevanten Unterschied im Programmablauf, die eigentliche
Fehlerursache.
AskIgor.orgIn der Startphase konzentriert sich Igor auf Linux-Programme; nächstes Jahr wird die Technik auf Windows-Executables und Java-Programme erweitert und um vollautomatische Reparaturvorschläge ergänzt.
Zur Namensgebung meint der Projektleiter Andreas Zeller: "Igor ist der Diener in Frankenstein-Filmen. Frankenstein plant, und Igor macht die Arbeit - Igor, geh Fehler suchen!"
