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 83
... lassen sich viele Algorithmen überhaupt nur dann sinnvoll testen, wenn auf die internen Zustände und Datenstrukturen des Programms von außen zugegriffen werden kann. Durch den Black-Box-Charakter vieler Software-Systeme besteht auf ...
... lassen. □ Fehlertolerante Programmierung (Abschnitt 3.4) Im Bereich sicherheitskritischer Systeme haben wir die Zuverlässigkeit bereits als ein zentrales Kriterium erkannt. Stand früher der Versuch im Vordergrund, vollständig ...
... lassen sich mit Hilfe der Anomalienanalyse aufdecken. Klassische Anomalien umfassen z. B. nichtverwendete Objekte oder das zweimalige Beschreiben einer Variablen mit dem gleichen Wert. Eine Vielzahl solcher Anomalien lässt sich mit ...
... lassen sich semi-formale Techniken auch im Bereich der industriellen Software-Entwicklung nutzen. In Kapitel 6 werden wir auf die Funktionsweise der wichtigsten formalen und semi-formalen Verifikationsmethoden im Detail zurückkommen. In ...
... lassen lexikalische Fehler jedoch Programme entstehen, die sich problemlos übersetzen bzw. interpretieren lassen. Die Gründe für das Auftreten solcher Fehler sind vielfältig und reichen von einfachen Tippfehlern bis hin zu mangelndem ...
Vsebina
1 | |
27 | |
Konstruktive Qualitätssicherung | 65 |
SoftwareTest | 157 |
Statische CodeAnalyse | 247 |
SoftwareVerifikation | 333 |
SoftwareLebenszyklus | 371 |
SoftwareInfrastruktur | 415 |
Managementprozesse | 491 |
Literaturverzeichnis | 547 |
Sachverzeichnis | 557 |