Computerabstürze, Rückrufaktionen, Sicherheitslecks: Das Phänomen Software-Fehler hat sich zum festen Bestandteil unseres täglichen Lebens entwickelt. Mit dem unaufhaltsamen Vordringen der Computertechnik in immer mehr sicherheitskritische Bereiche wird die Software-Qualitätssicherung zu einer stetig wichtiger werdenden Disziplin der Informationstechnik. Aber warum ist die Qualität von Software heute so schlecht? Und viel wichtiger noch: Stehen wir der Misere hilflos gegenüber?

Dieses Buch führt umfassend und praxisnah in das Gebiet der Software-Qualitätssicherung ein und gibt eine Antwort auf die oben gestellten Fragen. Zu Beginn werden die typischen Fehlerquellen der Programmentwicklung erörtert und anschließend die verschiedenen Methoden und Techniken behandelt, die uns zur Verbesserung der Qualität zur Verfügung stehen. Behandelt werden die zentralen Themenkomplexe aus den Gebieten der konstruktiven und analytischen Qualitätssicherung, der Software-Infrastruktur und der Managementprozesse.

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.

Klappentext

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.

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