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 63
... definiert den Begriff Software-Qualität wie folgt: „Software-Qualität ist die Gesamtheit der Merkmale und Merkmalswerte eines Software-Produkts, die sich auf dessen Eignung beziehen, festgelegte Erfordernisse zu erfüllen.“ Die Definition ...
... definiert ein dreielementiges Array phone_book. Jedes Element des Arrays ist ein Tupel, das eine Telefonvorwahl mit dem Namen der zugehörigen Stadt assoziiert. Das Beispiel demonstriert einen der vielleicht unglücklichsten lexikalischen ...
... definiert. Fehlt dieses Argument, so 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 ...
... Dass auch in diesen Sprachen der Teufel im Detail steckt, demonstrieren die drei in Abb. 2.4 aufgeführten Beispielprogramme. Das erste Beispielprogramm definiert die Funktion nrm. Als einzigen Übergabeparameter. 34 2 Software-Fehler.
... definiert die Funktion abs, die den Absolutwert des vorzeichenbehafteten Übergabeparameters berechnet. Hierzu wird der Wert des int-Arguments x mit 0 verglichen und gegebenenfalls mit Hilfe des Negationsoperators in eine positive Zahl ...
Vsebina
1 | |
27 | |
Konstruktive Qualitätssicherung | 65 |
SoftwareTest | 157 |
Statische CodeAnalyse | 247 |
SoftwareVerifikation | 333 |
SoftwareLebenszyklus | 371 |
SoftwareInfrastruktur | 415 |
Managementprozesse | 491 |
Literaturverzeichnis | 547 |
Sachverzeichnis | 557 |