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 24
... Semantik-Analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 281 5.3 Exploit-Analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 300 5.3.1 Buffer Overflows . . . . . . .
... Semantik-Fehler gefunden werden, denen mit anderen Techniken kaum beizukommen ist. 1.4.1.4 Software-Verifikation (Kapitel 6) Hinter dem Begriff der Software-Verifikation verbergen sich mehrere Methoden, die auf mathematischem Wege ...
... Semantik des heute verwendeten ANSI-C-Operators -=. In diesem Fall wird die Zeichenkombination =- innerhalb des Ausdrucks x=-1 als Operator interpretiert und die Variable x nicht länger mit dem Wert −1 initialisiert. Stattdessen wird ...
... Semantik mit der Bedeutung der einzelnen Konstrukte und damit mit der Interpretation der Sprachbausteine durch den Compiler. Im Gegensatz zu Syntaxfehlern, deren Ursachen in den meisten Fällen eher einfacher Natur sind, erweisen sich ...
... Semantik erfahrungsgemäß von vielen Programmierern nicht hinreichend genau verstanden wird. Anders als der Urheber der Software unterstellt, unterbricht break nicht die aktuelle Klammerungsebene, sondern lediglich die innerste Do ...
Vsebina
1 | |
27 | |
Konstruktive Qualitätssicherung | 65 |
SoftwareTest | 157 |
Statische CodeAnalyse | 247 |
SoftwareVerifikation | 333 |
SoftwareLebenszyklus | 371 |
SoftwareInfrastruktur | 415 |
Managementprozesse | 491 |
Literaturverzeichnis | 547 |
Sachverzeichnis | 557 |