Computerabstürze, Rückrufaktionen, Sicherheitslecks: Software-Fehler sind fester Bestandteil unseres Alltags. Computertechnik dringt in immer mehr sicherheitskritische Bereiche vor. Deshalb wird die Qualitätssicherung bezüglich der Software immer wichtiger. Aber warum ist die Qualität der Software so schlecht? Und wie lässt sich das ändern? Umfassend und praxisnah beantwortet der Autor diese Fragen und führt parallel dazu in die Software-Qualitätssicherung ein. Er erörtert typische Fehlerquellen der Programmentwicklung und zeigt verschiedene Methoden und Techniken, die die Qualität verbessern. Zusätzlich behandelt er zentrale Themen der konstruktiven und analytischen Qualitätssicherung, der Software-Infrastruktur sowie Managementprozesse.

Umfassende und praxisnahe Einführung in das Gebiet der Software-Qualitätssicherung Ausführliche Darstellung der verschiedenen Methoden und Techniken Behandlung zentraler Themenkomplexe Zahlreiche Beispiele zur Vertiefung des Stoffs Includes supplementary material: sn.pub/extras

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