2006 | OriginalPaper | Buchkapitel
Softwarequalität — Geschichte und Trends
verfasst von : Bernd-Holger Schlingloff
Erschienen in: Informatik
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.