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 32
... korrekt ist, einem erfahrenen Programmierer bei näherer Betrachtung jedoch die Tränen in die Augen treibt? Statistisch gesehen nimmt die Transparenz eines Software-Systems im Zuge seiner Weiterentwicklung kontinuierlich ab. Ganz ähnlich ...
... korrekt interpretiert werden kann, 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 ...
... korrekt. Zwar kennt die Programmiersprache C den dekrementierenden Zuweisungsoperator -=, eine Verwechslung ist aufgrund der unterschiedlichen Position des Minuszeichens aber ausgeschlossen. Ein Programmierer mag sein blaues Wunder ...
... korrekt aufgelöst: y = x / (*p) /* p ist Pointer auf Divisor */ Das in Abb. 2.2 dargestellte Beispiel demonstriert die potenziellen Auswirkungen lexikalischer Fehler auf eindringliche Weise und zeigt zugleich, wie schwer derartige ...
... korrekt. Die meisten Testfälle, die von Software-Entwicklern in der Praxis geschrieben werden, führen jedoch ausschließlich den Nachweis der funktionalen Korrektheit. Nur wenige Testfälle befassen sich mit der Überprüfung der ...
Vsebina
1 | |
27 | |
Konstruktive Qualitätssicherung | 65 |
SoftwareTest | 157 |
Statische CodeAnalyse | 247 |
SoftwareVerifikation | 333 |
SoftwareLebenszyklus | 371 |
SoftwareInfrastruktur | 415 |
Managementprozesse | 491 |
Literaturverzeichnis | 547 |
Sachverzeichnis | 557 |