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 80
... muss aus diesem Grund um zusätzlichen Code ergänzt werden, der Variablen und Datenstrukturen nach außen sichtbar macht (design for test). Im Bereich eingebetteter Systeme kommt ein anderes Problem erschwerend hinzu. Wird ein Produkt für ...
... muss sich mindestens einer der anderen Eckpunkte nach innen verschieben, um das Kriterium der konstanten Fläche zu erfüllen. In manchen Darstellungen findet anstelle des magischen Dreiecks ein magisches Viereck Verwendung – die ...
... muss der gelesene Symbolstrom gewissen Regeln genügen, die zusammen die Grammatik einer Programmiersprache bilden. Mit anderen Worten: Die Grammatik legt die Syntax einer Programmiersprache fest. In den allermeisten Fällen führen ...
... muss der Schleifenkörper mit dem Schlüsselwort END DO abgeschlossen werden. var bezeichnet die. Abb. 2.3 Von der NASA im Rahmen des Mercury-Projekts eingesetzter FORTRAN-Code Abb. 2.6 Code-Struktur der Vermittlungssoftware des AT&T ...
... muss. An dieser Stelle mag sich so mancher Leser zu dem Gedanken hinreißen lassen, dass der Fehler schlicht auf die Eigenarten einer fast schon prähistorischen Programmiersprache zurückgeht – insbesondere haben wir weiter oben ...
Vsebina
1 | |
27 | |
Konstruktive Qualitätssicherung | 65 |
SoftwareTest | 157 |
Statische CodeAnalyse | 247 |
SoftwareVerifikation | 333 |
SoftwareLebenszyklus | 371 |
SoftwareInfrastruktur | 415 |
Managementprozesse | 491 |
Literaturverzeichnis | 547 |
Sachverzeichnis | 557 |