Softwarequalität — Geschichte und Trends

Abstract

Kaum eine andere Wissenschaft hat solch einen massiven Einfluss auf den Alltag wie die Informatik. Unsere Umwelt ist von Informatiksystemen geprägt, und wir verlassen uns in zunehmendem Maße auf die korrekte Funktionsweise der zu Grunde liegenden Software. Andererseits sind die täglichen Nachrichten voll von Berichten über Probleme, die durch fehlerhafte Software verursacht wurden --- vom lästigen „schweren Ausnahmefehler`` in einem Textverarbeitungsprogramm bis hin zum millionenschweren Versagen einer Satellitensteuerung. In diesem Beitrag soll gezeigt werden, dass die Suche nach geeigneten Verfahren zur Sicherung der Softwarequalität seit Beginn der Informatik ein inhärenter Bestandteil der Forschung ist. Bereits bei den ersten Computern war die Programmierung ein kritischer Aspekt, und hundertprozentig korrekte Programme sind seit je eher die Ausnahme als die Regel. Andererseits wurde in den vergangenen fünfzig Jahren eine Reihe von Methoden zur Spezifikation, Verifikation und zum Test von Software entwickelt, mit denen sich beachtliche Qualitätssteigerungen erzielen lassen. In diesem Beitrag schildern wir einige historische Wurzeln und aktuelle Entwicklungen auf dem Gebiet der Qualitätssicherung von Software.