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 6–10 od 83
... zunächst mit der Analyse typischer, immer wiederkehrender Software-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 ...
... zunächst das Token -- und anschließend das Token - extrahiert. Der Ausdruck c = a---b; ist damit äquivalent zu c = (a--)-b;. Da c = a-(--b); ebenfalls ein gültiger C-Ausdruck ist, schleichen sich durch die Missachtung oder die falsche ...
... zunächst durch den an der Speicherstelle p abgelegten Wert dividieren und das Ergebnis anschließend der Variablen y zuweisen. Die Speicherstelle wird durch die Dereferenzierung von p mit Hilfe des Sternoperators * ausgelesen ...
... zunächst mit 0 verglichen und anschließend der Ausdruck 1 ausgewertet wird. Da die Konstante 1 in C dem Wahrheitswert True entspricht und der Wert des letzten ausgewerteten Teilausdrucks gleichzeitig dem Wert des Gesamtausdrucks, ist ...
... zunächst auf einen gezielten Hacker-Angriff schließen, der sich im Laufe der Untersuchungen jedoch nicht bestätigte. Stattdessen wurde ein fehlerhafter Code-Abschnitt in der Software isoliert, die in allen 114 Vermittlungsknoten für die ...
Vsebina
1 | |
27 | |
Konstruktive Qualitätssicherung | 65 |
SoftwareTest | 157 |
Statische CodeAnalyse | 247 |
SoftwareVerifikation | 333 |
SoftwareLebenszyklus | 371 |
SoftwareInfrastruktur | 415 |
Managementprozesse | 491 |
Literaturverzeichnis | 547 |
Sachverzeichnis | 557 |