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 34
... Spezifikationen zurück. In anderen Fällen werden bestimmte Programmeigenschaften vollständig ausgespart. Die Ursachen hierfür ... Spezifikation vermerkt sind. Für etliche Applikationstypen stellt die Einhaltung dieser Anforderungen keine ...
... Spezifikation – den sogenannten Vertrag – zu ergänzen. Abschnitt 3.3 befasst sich detailliert mit der Frage, wie sich Software-Fehler durch die gezielte Angabe von Vor- und Nachbedingungen, Invarianten und Zusicherungen bereits während ...
... Spezifikation ableiten. Insbesondere wird für die Testfallkonstruktion nicht auf die innere Code-Struktur zurückgegriffen. Die gängigen Black-Box-Testverfahren werden in Abschnitt 4.3 zusammen mit ihren Vorund Nachteilen im Detail ...
... Spezifikation zurück. Obwohl die Anforderungsbeschreibung der Flugsteuerung korrekt vorgab, die Verlaufskurve eines Messwerts geglättet zu verwenden, wurde diese in der Implementierung ungeglättet weiterverarbeitet. Trotzdem: Der ...
... Spezifikation sieht dabei zwingend vor, dass der bc_dist-Task vollständig abgearbeitet sein muss, bevor der bc_sched-Task aktiviert wird. Neben diesen zwei hochprioren Tasks laufen im System weitere Tasks mit niedriger Priorität. 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 |