Beauty is our business

Zusammenfassung

Bemühungen der Computerwissenschaftler um bessere Softwarequalität wurden lange als die Suche nach einer arbeitsintensiven Lösung für ein nicht existierendes Problem abgetan. Konkret: Wenn ein Computer ab und zu aufgrund von Programmierfehlern abgestürzt ist, dann kostete es etwas Zeit, um den Rechner wieder hoch zu fahren – und eventuell ging ein wenig Arbeit dadurch verloren. Dann kam das Internet und machte mit den Softwarefehlern das, was die Flugtouristik mit der Verbreitung infektiöser Krankheiten tat: Wenn Computer miteinander verbunden wurden, konnte ein bisher tolerierbarer Softwarebug zu einer Kaskade von Sicherheitsproblemen führen. Unter den aktuell diskutierten Lösungsansätzen sind Gütesiegel und Zertifikate für sicherere Software – wie auch Produkthaftung für Softwarehersteller.

Ein Algorithmus ist sowohl jeder formalisierte Beweis einer mathematischen Behauptung wie auch das Programm eines Rechners, der aus einer in die andere Sprache übersetzt. Der Begriff des Algorithmus stammt aus der Mathematik, und es ist deshalb ein wenig unüblich, wenn ich ihn auf die Ingenieurkunst anwende. Der Algorithmus des reinen Mathematikers läßt ihn nie im Stich: wer einmal den Algorithmus eines mathematischen Beweises formuliert hat, kann sicher sein, dass dieser Beweis niemals „zusammenbricht“. Der angewandte Algorithmus, den der Ingenieur benützt, ist in der Regel trügerisch, da er nur scheinbar „alles von Anfang an voraussieht“. Die Tragfähigkeit von Brücken wird anhand bestimmter Algorithmen berechnet – aber das ist keine Garantie für ihre absolute Haltbarkeit.

(Stanislaw Lem, Summa technologiae)