Software-QualitätSpringer-Verlag, 9. jan. 2013 - 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. Die 2. Auflage wurde durchgehend aktualisiert und korrigiert. |
Iz vsebine knjige
Zadetki 1–5 od 66
Stran 9
... hierdurch ungleich komplizierter. Die Kriterien Funktionalität, Laufzeit, Zuverlässigkeit und Benutzbarkeit sind unmittelbar nach außen sichtbar und bilden zusammen die Qualitätssicht des Anwenders ab. Folgerichtig sind es genau diese ...
... hierdurch ungleich komplizierter. Die Kriterien Funktionalität, Laufzeit, Zuverlässigkeit und Benutzbarkeit sind unmittelbar nach außen sichtbar und bilden zusammen die Qualitätssicht des Anwenders ab. Folgerichtig sind es genau diese ...
Stran 31
... Hierdurch beginnt die sequenzielle Suche stets bei 0 – mit dramatischen Geschwindigkeitseinbußen im Falle großer Symboltabellen. Der demonstrierte Fehler ist in zweierlei Hinsicht der Alptraum eines jeden Entwicklers. Zum einen äußert ...
... Hierdurch beginnt die sequenzielle Suche stets bei 0 – mit dramatischen Geschwindigkeitseinbußen im Falle großer Symboltabellen. Der demonstrierte Fehler ist in zweierlei Hinsicht der Alptraum eines jeden Entwicklers. Zum einen äußert ...
Stran 35
... Hierdurch müsste die Return-Instruktion ungewollt dem Körper der If-Anweisung zugeordnet werden und für x ≥ 0 ein undefinierter Rückgabewert entstehen. Anders als im ersten Beispiel wird dieser Fehler aber durch den Compiler erkannt ...
... Hierdurch müsste die Return-Instruktion ungewollt dem Körper der If-Anweisung zugeordnet werden und für x ≥ 0 ein undefinierter Rückgabewert entstehen. Anders als im ersten Beispiel wird dieser Fehler aber durch den Compiler erkannt ...
Stran 36
... hierdurch neu gestartet. Tatsächlich ist die Chance, mit dem abgebildeten Programm unter realen Bedingungen eine Endlosschleife zu erzeugen, mittlerweile gering. Dies liegt daran, dass fast alle modernen Compiler die Stack-Elemente ...
... hierdurch neu gestartet. Tatsächlich ist die Chance, mit dem abgebildeten Programm unter realen Bedingungen eine Endlosschleife zu erzeugen, mittlerweile gering. Dies liegt daran, dass fast alle modernen Compiler die Stack-Elemente ...
Stran 45
... hierdurch verursachte Fehler ist nur minimal und beläuft sich, ausgedrückt im Dezimalsystem, auf ca. 9.5× 10−7. Die PatriotSoftware ist jedoch so konzipiert, dass sich der relative Fehler in vollem Maße auf den Absolutwert der ...
... hierdurch verursachte Fehler ist nur minimal und beläuft sich, ausgedrückt im Dezimalsystem, auf ca. 9.5× 10−7. Die PatriotSoftware ist jedoch so konzipiert, dass sich der relative Fehler in vollem Maße auf den Absolutwert der ...
Vsebina
1 | |
27 | |
Kapitel 3 Konstruktive Qualitätssicherung | 65 |
Kapitel 4 SoftwareTest | 157 |
Kapitel 5 Statische CodeAnalyse | 247 |
Kapitel 6 SoftwareVerifikation | 333 |
Kapitel 7 SoftwareLebenszyklus | 371 |
Kapitel 8 SoftwareInfrastruktur | 414 |
Kapitel 9 Managementprozesse | 491 |
Literaturverzeichnis | 547 |
Sachverzeichnis | 557 |
Druge izdaje - Prikaži vse
Pogosti izrazi in povedi
Abschnitt Änderungen anschließend Anzahl Äquivalenzklassen argc argv aufgrund Aufruf beiden Beispiel Beispielprogramm Berechnung Bereich bereits Betriebssystem Bitbreite Byte C-Compiler capability Capability Maturity Models char Checkin checkout CMMI Code Compiler dargestellt Datei Datenstruktur Datentypen definiert deutlich direkt durchgeführt Eigenschaft eingesetzt Einsatz entsprechenden Entwickler ersten erzeugt Fall Fehler folgenden Funktion großen heute hierdurch Hierzu Hilfe Implementierung include insbesondere Java Klasse Knoten Kontrollflussgraphen korrekt lassen lässt level Linux Linux-Kernels long Mac OS main Makefile Management manuell Methoden Metriken Modellprüfung Modul möglich muss Mutationstest Operatoren Pfad Praxis Process Programm Programmiersprache Programmierung Projekt Quelltexte Rational Unified Process Refactoring Regressionstests Reifegradmodelle Repository return Semantik Software Software-Entwickler Software-Fehler Software-Projekten Software-Systems Software-Test speziellen Spezifikation statische Stelle System Systeme Tabelle Team Techniken Test Testfälle typedef Typische Übergabeparameter Unit-Test unsere unsigned V-Modell XT Variablen Variante verschiedenen Version Vertex3D verwendet Verwendung viele void vollständig Vorgehensmodell Weise weiter Werkzeuge Wert White-Box-Tests Windows zeigt zunächst zusätzlich Zustand zwei