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.
Les mer
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.
Les mer

Einführung.- Software-Fehler.- Konstruktive Qualitätssicherung.- Sofware-Test.- Statische Code-Analyse.- Software-Verifikation.- Software-Lebenszyklus.- Software-Infrastruktur.- Managementprozesse.-Literaturverzeichnis.- Sachverzeichnis.

Les mer
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.
Les mer
Umfassende und praxisnahe Einführung in das Gebiet der Software- Qualitätssicherung Ausführliche Darstellung der verschiedenen Methoden und Techniken Behandlung zentraler Themenkomplexe Zahlreiche Beispiele zur Vertiefung des Stoffs Aktualisierte u. korrigierte Neuauflage Includes supplementary material: sn.pub/extras
Les mer

Produktdetaljer

ISBN
9783642356995
Publisert
2013-01-09
Utgave
2. utgave
Utgiver
Springer Fachmedien Wiesbaden
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Upper undergraduate, P, 06
Språk
Product language
Tysk
Format
Product format
Heftet
Antall sider
568

Forfatter

Biografisk notat

Professor Dr. Dirk W. Hoffmann:
1992 - 1997 Universität Karlsruhe (KIT) Studium der Informatik Abschluss: Dipl. Inform.
1997 - 1998 University at Albany, New York
1998 - 2001 Universität Tübingen Promotion an der Fakultät für Informatik Abschluss: Dr. rer. nat.
2001 - 2004 Synopsys, Inc., München Robert Bosch GmbH, Leonberg
seit 2004 Professor an der Fakultät für Informatik und Wirtschaftsinformatik Hochschule Karlsruhe - Technik und Wirtschaft