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 87
... bereits im Jahre 2010 jede zweite Autopanne ihre Ursache im Versagen der Elektronik haben. Beschränken wir die Betrachtung an dieser Stelle auf das technikverwöhnte Segment der Oberklassewagen, so ist die Elektronik bereits heute die ...
... Bereits seit einigen Jahren übersteigt der Aufwand für die Entwicklung der Software-Komponenten die der Hardware-Komponenten erheblich. Tragischerweise fällt der Software in diesem Zusammenhang eine zwiespältige Rolle zu. Genauso wie ...
... bereits im Vorfeld zu vermeiden. Funktionale Fehler sind so allgegenwärtig, dass der Begriff der SoftwareQualität häufig auf dieses singuläre Kriterium reduziert wird. Zu unrecht, wie die lange Liste der in diesem Abschnitt ...
... bereits so groß, dass es schlicht unmöglich ist, die Ausgabe für alle möglichen Eingabekombinationen zu überprüfen. Zum anderen lassen sich viele Algorithmen überhaupt nur dann sinnvoll testen, wenn auf die internen Zustände und ...
... Bereits für winzige Programme ist es nicht mehr möglich, das korrekte Verhalten für alle möglichen Eingaben explizit zu überprüfen. Erschwerend kommt hinzu, dass die durchschnittliche Software-Größe seit Jahren rapide ansteigt und bereits ...
Vsebina
1 | |
27 | |
Konstruktive Qualitätssicherung | 65 |
SoftwareTest | 157 |
Statische CodeAnalyse | 247 |
SoftwareVerifikation | 333 |
SoftwareLebenszyklus | 371 |
SoftwareInfrastruktur | 415 |
Managementprozesse | 491 |
Literaturverzeichnis | 547 |
Sachverzeichnis | 557 |