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 90
... Software-Redundanz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98 3.4.2 Selbstüberwachende Systeme . . . . . . . . . . . . . . . . . . . . . . . . . . 101 3.4.3 Ausnahmebehandlung ... Software-Test ...
... Software-Test unmöglich macht. Mit anderen Worten: Bereits für winzige Programme ist es nicht mehr möglich, das korrekte Verhalten für alle möglichen Eingaben explizit zu überprüfen. Erschwerend kommt hinzu, dass die durchschnittliche ...
... Software-Richtlinien Typisierung Vertragsbasierte Programmierung Fehlertolerante Programmierung Portabilität Dokumentation Analytische Qualitätssicherung Software-Test Black-Box-Test White-Box-Test Test-Metriken Statische Analyse Software ...
... Software-Test (Kapitel 4) Der klassische Software-Test ist die am weitesten verbreitete Technik, um SoftwareDefekte zu identifizieren. Hierzu wird das untersuchte Programm mit vordefinierten Eingabewerten ausgeführt und die produzierte ...
... Software-Test, der ganz bewusst nur ein Teil aller möglichen Ein- und Ausgabekombinationen überprüft, verfolgt die formale Verifikation das Ziel, die Korrektheit eines Software-Systems vollständig, d. h. für alle möglichen Eingaben zu ...
Vsebina
1 | |
27 | |
Konstruktive Qualitätssicherung | 65 |
SoftwareTest | 157 |
Statische CodeAnalyse | 247 |
SoftwareVerifikation | 333 |
SoftwareLebenszyklus | 371 |
SoftwareInfrastruktur | 415 |
Managementprozesse | 491 |
Literaturverzeichnis | 547 |
Sachverzeichnis | 557 |