Software-QualitätSpringer-Verlag, 21. feb. 2008 - 568 strani 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. |
Iz vsebine knjige
Zadetki 1–5 od 87
... Fehler verantwortlich zeichnet. Mit anderen Worten: Software ist zur Fehlerquelle Nummer eins geworden. Aber warum ist die Qualität vieler Software-Systeme eigentlich so schlecht? Und viel wichtiger noch: Stehen wir der Misere mittellos ...
... Fehler kommen in verschiedenen Spielarten vor. Einige entstehen durch die Umsetzung der Anforderungen in einer nicht beabsichtigten Art und Weise und gehen häufig auf fehlende oder falsch verstandene Spezifikationen zurück. In anderen ...
... Fehler zeitnah zu beheben, so ist die Testbarkeit die Voraussetzung, Fehler rechtzeitig zu erkennen. Die Testbarkeit eines Programms wird durch zwei wesentliche Faktoren erschwert: Zum einen ist die Komplexität selbst kleiner Programme ...
... Fehler durch die gezielte Angabe von Vor- und Nachbedingungen, Invarianten und Zusicherungen bereits während der Programmerstellung erkennen lassen. □ Fehlertolerante Programmierung (Abschnitt 3.4) Im Bereich sicherheitskritischer ...
... Fehler. Dieses Kapitel soll uns ein Gefühl für die Materie vermitteln, mit der wir in der Welt der Software-Fehler permanent konfrontiert werden. Dass es hier nicht um graue Theorie geht, wird durch den Rückgriff auf reale ...
Vsebina
1 | |
27 | |
Konstruktive Qualitätssicherung | 65 |
SoftwareTest | 157 |
Statische CodeAnalyse | 247 |
SoftwareVerifikation | 333 |
SoftwareLebenszyklus | 371 |
SoftwareInfrastruktur | 415 |
Managementprozesse | 491 |
Literaturverzeichnis | 547 |
Sachverzeichnis | 557 |