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 29
Stran viii
... Metriken . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247 5.1.1 LOC und NCSS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 249 5.1.2 Halstead-Metriken . . . . . . .
... Metriken . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247 5.1.1 LOC und NCSS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 249 5.1.2 Halstead-Metriken . . . . . . .
Stran ix
Dirk W. Hoffmann. 5.1.4 Objektorientierte Metriken . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262 5.1.5 Visualisierung von Messwerten . . . . . . . . . . . . . . . . . . . . . . . . 267 5.2 Konformitätsanalyse ...
Dirk W. Hoffmann. 5.1.4 Objektorientierte Metriken . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262 5.1.5 Visualisierung von Messwerten . . . . . . . . . . . . . . . . . . . . . . . . 267 5.2 Konformitätsanalyse ...
Stran 18
... Metriken gehen einen Schritt in diese Richtung. Angefangen von der einfachen Lines-of-Code-Metrik (LOC) bis hin zur Messung der zyklomatischen Komplexität nach McCabe wurden in der Vergangenheit zahlreiche Metriken vorgeschlagen, die ...
... Metriken gehen einen Schritt in diese Richtung. Angefangen von der einfachen Lines-of-Code-Metrik (LOC) bis hin zur Messung der zyklomatischen Komplexität nach McCabe wurden in der Vergangenheit zahlreiche Metriken vorgeschlagen, die ...
Stran 20
... Metriken Statische Analyse Software-Metriken Konformitätsprüfung Exploit-Analyse Anomalienanalyse Manuelle Software-Prüfung Software-Verifikation Prozessqualität Software-Infrastruktur Konfigurationsmanagement Build-Automatisierung Test ...
... Metriken Statische Analyse Software-Metriken Konformitätsprüfung Exploit-Analyse Anomalienanalyse Manuelle Software-Prüfung Software-Verifikation Prozessqualität Software-Infrastruktur Konfigurationsmanagement Build-Automatisierung Test ...
Stran 23
... Metriken (Abschnitt 5.1) Sofware-Metriken versetzen uns in die Lage, viele der in Abschnitt 1.2 eingeführten Qualitätsmerkmale quantitativ zu erfassen. In der Vergangenheit wurden zahlreiche Metriken postuliert, die wir zusammen mit ...
... Metriken (Abschnitt 5.1) Sofware-Metriken versetzen uns in die Lage, viele der in Abschnitt 1.2 eingeführten Qualitätsmerkmale quantitativ zu erfassen. In der Vergangenheit wurden zahlreiche Metriken postuliert, die wir zusammen mit ...
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