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 71
... Compiler Collection größter gemeinsamer Teiler Gnu is Not Unix GNU General Public License Geotransfer Orbit Graphical User Interface Higher-Order Logic Hardware Hz Hertz Integrated Development Environment International Electrotechnical ...
... Compilers. Software-Qualität Produktqualität Konstruktive Qualitätssicherung Software-Richtlinien Typisierung Vertragsbasierte Programmierung Fehlertolerante Programmierung Portabilität Dokumentation Analytische Qualitätssicherung ...
... Compiler-Baus. Damit ein Programm erfolgreich übersetzt oder korrekt interpretiert werden kann, muss der gelesene Symbolstrom gewissen Regeln genügen, die zusammen die Grammatik einer Programmiersprache bilden. Mit anderen Worten: Die ...
... Compiler nicht erkannt werden können. Die nächsten drei C-Anweisungen sind weitere Beispiele von Ausdrücken, die einen handfesten lexikalischen Fehler oder zumindest eine potenzielle Fehlerquelle enthalten: □ Beispiel 1 x=-1 ...
... Compiler sehen über die Bereichsüberschreitung großzügig hinweg und interpretieren die Zahl folgendermaßen: 089 = 8×81 +9×80 = 64+9 = 73 (2.2) □ Beispiel 3 y = x/*p /* p ist Pointer auf Divisor */ Wie der Kommentar unmissverständlich ...
Vsebina
1 | |
27 | |
Konstruktive Qualitätssicherung | 65 |
SoftwareTest | 157 |
Statische CodeAnalyse | 247 |
SoftwareVerifikation | 333 |
SoftwareLebenszyklus | 371 |
SoftwareInfrastruktur | 415 |
Managementprozesse | 491 |
Literaturverzeichnis | 547 |
Sachverzeichnis | 557 |