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 57
... aufgrund des mathematischen Charakters ein beachtlicher Teil der Leistungsfähigkeit formaler Verfahren bewahrt. Aufgrund ihrer deutlich verbesserten Skalierbarkeit lassen sich semi-formale Techniken auch im Bereich der industriellen ...
... aufgrund ihrer Struktur und Syntax fast schon provoziert, ist die Programmiersprache C. Obwohl die Sprache bereits Anfang der Siebzigerjahre entwickelt wurde, hat sie heute immer noch eine enorme Praxisbedeutung. Zum einen besteht die ...
... aufgrund der unterschiedlichen Position des Minuszeichens aber ausgeschlossen. Ein Programmierer mag sein blaues Wunder trotzdem erleben, wenn er das Programm mit einem älteren C-Compiler oder so manch angestaubtem Compiler der Embedded ...
... aufgrund des gleichen Software-Fehlers erneut zum Absturz brachte. Nach kurzer Zeit lag ein Drittel des gesamten AT&T-Telefonnetzes brach. Erst nach neun Stunden gelang es AT&T, das Netz zu stabilisieren und zum Normalbetrieb ...
... ist. Dieser wird jedoch durch die relativ niedrige Priorität häufiger selbst unterbrochen, so dass sich dessen Terminierung aufgrund der übrigen Busaktivität verzögert. Unter normaler Last wird ASI/MET. 42 2 Software-Fehler.
Vsebina
1 | |
27 | |
Konstruktive Qualitätssicherung | 65 |
SoftwareTest | 157 |
Statische CodeAnalyse | 247 |
SoftwareVerifikation | 333 |
SoftwareLebenszyklus | 371 |
SoftwareInfrastruktur | 415 |
Managementprozesse | 491 |
Literaturverzeichnis | 547 |
Sachverzeichnis | 557 |