special - Staufenbiel.de

ZUM SCHLUSS
Eine E-Mail von Andreas Zeller
VON:
AN:
BETREFF:
Andreas Zeller, Lehrstuhl für Softwaretechnik, Universität des Saarlandes
Staufenbiel IT in Business
Vier Fragen an den Informatiker, Professor und Experten für fehlerfreie
Computersysteme
© Universität des Saarlandes
Andreas Zeller ist Professor für Softwaretechnik an der Universität
des Saarlandes in Saarbrücken. Sein Forschungsgebiet ist
die Analyse großer Softwaresysteme und deren Fehler. Sein
Buch „Why Programs Fail – A Guide to Systematic Debugging“
wurde 2006 mit dem Jolt Software Development Productivity
Award ausgezeichnet. Zeller ist Fellow der Association of Computing
Machinery (ACM).
Mehr auf staufenbiel.de
Die vollständige E-Mail von Andreas Zeller finden Sie
unter staufenbiel.de/it.
Für Ihre Entwicklung fehlerfreier Computersysteme erhielten
Sie 2011 den mit 2,3 Millionen Euro dotierten ERC Advanced
Grant der Europäischen Union. Was überzeugte die Juroren
besonders?
Wir können heute sehr gut automatisch Fehler in Computersystemen
finden. Dafür müssen wir aber erst einmal wissen,
was fehlerhaft ist – oder besser: spezifizieren, was das System
tun soll. Meine Arbeit zielt darauf ab, aus bestehenden Systemen
automatisch Verhaltensmodelle zu extrahieren, die dann
als Blaupause für solche Spezifikationen dienen.
Sie haben die Struktur komplexer Softwaresysteme mit der
Statik mittelalterlicher Kathedralen verglichen. Warum
scheinen Kathedralen seltener abzustürzen?
Eine Kathedrale gehorcht physikalischen Gesetzen. In einem
Programm hingegen ist alles möglich – was die Freude beim
Programmieren und das Leid der Fehlersuche ausmacht.
Glücklicherweise setzen Programmiersprachen und Betriebssysteme
einen gewissen Rahmen für die Kreativität. Das sorgt
dafür, dass die Übersicht nicht völlig verloren geht.
Welche Fehler ärgern Sie?
Ich kann mich wahnsinnig über schlechte Benutzerführung ärgern.
Was manche Ingenieure ihren Kunden zumuten, ist eine
Sauerei. Leider lässt sich Benutzerführung nicht so leicht formalisieren
wie korrekte Funktionalität, sonst könnten wir hier
mehr automatisieren. Glücklicherweise zeigen uns Firmen wie
Apple, wie gute Ergonomie zum Erfolg führt. Ich hoffe, dass das
Beispiel Schule macht.
Wann haben Fehler auch etwas Gutes?
Aus jedem Fehler kann man lernen. Wir haben automatische
Lernverfahren auf Fehlerarchive von Firmen wie Microsoft,
Google, IBM oder SAP angewandt, und damit nicht nur gezeigt,
welche Systemteile die meisten Fehler haben, sondern auch,
mit welchen Eigenschaften diese Fehler zusammenhängen.
Microsoft hat diese Techniken auf Vista angesetzt und festgestellt,
dass die Struktur der Entwicklungsteams nicht zur Struktur
des Systems passte. Microsoft hat dann seine Teams neu
gegliedert, und Windows 7 ist doch sehr viel schöner geworden.
54 | Staufenbiel IT in Business 2012 staufenbiel.de/it