Einführung.- Software-Fehler.- Konstruktive Qualitätssicherung.- Software-Test.- Statische Code-Analyse.- Software-Verifikation.- Software-Lebenszyklus.- Software-Infrastruktur.- Managementprozesse.

Computerabstürze, Rückrufaktionen, Sicherheitslecks: Software-Fehler sind fast schon ein alltägliches Problem. Qualitätssicherung wird damit zu einer immer wichtigeren Aufgabe. Das Buch führt umfassend und praxisnah in die Software-Qualitätssicherung ein. Zunächst werden typische Fehlerquellen der Programmentwicklung erörtert, um anschließend Methoden und Techniken zur Qualitätssteigerung vorzustellen. Der Band behandelt die zentralen Fragen der konstruktiven und analytischen Qualitätssicherung, der Software-Infrastruktur und der Managementprozesse.