Jakob Lindenmeyer

Herr Meyer, was ist gute Software?

Bertrand Meyer: Einfach gesagt: Was immer den Nutzer zufrieden stellt. Wenn beispielsweise das Programm Photoshop hin und wieder abstürzt, ist es für Sie vielleicht immer noch eine gute Software, solange Sie damit Ihre Ziele erreichen. Anderseits sollte aber beispielsweise eine Software zur Kontrolle des Flugzeugs unter keinen Umständen abstürzen.

Wo liegen denn die Gründe, dass auch heute noch viele Computer „abstürzen“?

Meyer: Am Ende ist jeder Absturz auf einen Programmierfehler zurückzuführen. Ein typisches Beispiel ist der „Buffer overflow“. Das passiert, wenn das Programm mittels eines falschen Indexes auf ein Element zugreifen will. Beispielsweise wenn ich nach dem fünfzigsten Buchstaben im Kürzel „ETH“ frage. Eine andere grosse Fehlerquelle ist die zunehmende Komplexität. Der Quellcode moderner Betriebssysteme umfasst teilweise Dutzende von Millionen Zeilen. Daher sind Betriebssysteme viel komplexer als die meisten anderen Ingenieur-Systeme. Um Fehler zu vermeiden tendieren Computerwissenschaftler darum zu mehr Einfachheit. Sicher ist ein Teil der enormen Komplexität selbst verschuldet. Allerdings kommt ein grosser Teil der Komplexität auch vom Bedürfnis, die Aussenwelt möglichst realistisch zu behandeln.

Wo liegen mögliche Risiken des Einsatzes fehlerhafter Software?

Die meisten Software-Fehler führen weder zu Todesfällen noch zu spektakulären Schlagzeilen. Viel häufiger sind unerklärliche Programmabstürze, fehlerhafte Resultate und überlange Rechenzeiten. Das amerikanische Institute of Standards hatte kürzlich die Schäden durch ungenügend getestete Software auf jährlich 60 Milliarden Dollar geschätzt – allein für die USA. Anderseits kann fehlerhafte Software tatsächlichen auch zu Todesfällen führen. Einer der am besten untersuchten Zwischenfälle ist die Therac-25 Bestrahlungs-Therapie. Aufgrund eines Software-Fehlers wurden zahlreiche Patienten mit einer falschen Strahlendosis bestrahlt, was schliesslich zu sieben Toten führte.