| Vorwort zur zweiten Au.age | 5 |
| Vorwort zur ersten Au.age | 7 |
| Inhaltsverzeichnis | 9 |
| 1 Einführung | 16 |
| 1.1 Motivation | 17 |
| 1.2 Terminologie und Begriffsde.nitionen | 20 |
| 1.3 Stand der Technik | 25 |
| 1.3.1 Qualitätsmanagement | 25 |
| 1.3.2 Software-Qualitätssicherung | 45 |
| 1.3.3 Hardware-Qualitätssicherung | 47 |
| 1.3.4 Qualitätssicherung softwareintensiver Systeme | 50 |
| 1.4 Einordnung und Klassi.kation der Prüftechniken | 52 |
| 1.4.1 Dynamischer Test | 54 |
| 1.4.2 Statische Analyse | 58 |
| 1.4.3 Formale Techniken: Symbolischer Test und formale Beweisverfahren | 59 |
| 1.5 Organisation | 61 |
| 2 Funktionsorientierter Test | 64 |
| 2.1 Eigenschaften und Ziele des funktionsorientierten Tests | 65 |
| 2.2 Funktionale Äquivalenzklassenbildung | 66 |
| 2.3 Zustandsbasierter Test | 73 |
| 2.4 Ursache-Wirkungs-Analyse | 81 |
| 2.5 Weitere funktionsorientierte Testtechniken | 88 |
| 2.6 Bewertung des funktionsorientierten Tests | 96 |
| 3 Kontroll.ussorientierter, strukturorientierter Test | 97 |
| 3.1 Eigenschaften und Ziele des kontroll.ussorientierten Tests | 98 |
| 3.2 Anweisungsüberdeckungstest | 99 |
| 3.3 Zweigüberdeckungstest | 102 |
| 3.4 Bedingungsüberdeckungstest | 107 |
| 3.5 Techniken für den Test von Schleifen | 131 |
| 3.6 Pfadüberdeckungstest | 150 |
| 3.7 Bewertung des kontroll.ussorientierten Tests | 152 |
| 4 Daten.ussorientierter, strukturorientierter Test | 154 |
| 4.1 Eigenschaften und Ziele des daten.ussorientierten Tests | 155 |
| 4.2 Defs/Uses-Test | 157 |
| 4.3 Required k-Tuples Test | 176 |
| 4.4 Datenkontext-Überdeckung | 184 |
| 4.5 Bewertung des daten.ussorientierten Tests | 190 |
| 5 Spezielle dynamische Testtechniken | 192 |
| 5.1 Diversi.zierender Test | 193 |
| 5.2 Bereichstest (Domain Testing) | 208 |
| 5.3 Zufallstest | 221 |
| 5.4 Error guessing | 223 |
| 5.5 Verwendung von Zusicherungen | 224 |
| 5.6 Bewertung | 226 |
| 6 Modellbasiertes Testen | 228 |
| 6.1 Eigenschaften und Ziele des modellbasierten Tests | 229 |
| 6.2 Beschreibung des modellbasierten Tests | 231 |
| 6.3 Bewertung des modellbasierten Tests | 242 |
| 7 Software-Messung | 244 |
| 7.1 Eigenschaften und Ziele der Software-Messung | 245 |
| 7.2 Maße und Metriken | 246 |
| 7.3 Maßtypen | 247 |
| 7.4 Forderungen an Maße | 249 |
| 7.5 Maßskalen | 250 |
| 7.6 Datenerfassung für Maßsysteme | 257 |
| 7.7 Zielgerichte De.nition von Maßen | 258 |
| 7.8 Auswertung von Messungen | 258 |
| 7.9 Wichtige Maße für Software | 268 |
| 7.10 Fallstudie zur Software-Messung | 276 |
| 7.11 Bewertung der Software-Messung | 279 |
| 8 Werkzeugunterstützte statische Codeanalyse | 282 |
| 8.1 Eigenschaften und Ziele der werkzeugunterstützten statischen Codeanalyse | 283 |
| 8.2 Stilanalyse | 284 |
| 8.3 Diagramme und Tabellen | 289 |
| 8.4 Slicing | 298 |
| 8.5 Daten.ussanomalieanalyse | 305 |
| 8.6 Bewertung der werkzeugunterstützten statischen Codeanalyse | 316 |
| 9 Software-Inspektionen und Reviews | 318 |
| 9.1 Eigenschaften und Ziele von Software-Inspektionen und Reviews | 319 |
| 9.2 Formale Inspektionstechniken | 321 |
| 9.3 Konventionelles Review in Sitzungstechnik: Structured Walkthrough | 330 |
| 9.4 Review in Kommentartechnik | 331 |
| 9.5 Bewertung von Software-Inspektionen und Reviews | 331 |
| 10 Formale Techniken: Symbolischer Test und formaler Korrektheitsbeweis | 333 |
| 10.1 Eigenschaften und Ziele der formalen Techniken | 334 |
| 10.2 Symbolischer Test | 334 |
| 10.3 Formaler Korrektheitsbeweis | 347 |
| 10.4 Bewertung der formalen Techniken | 370 |
| 11 Prozesse und Prüfstrategien | 373 |
| 11.1 Eigenschaften und Ziele | 374 |
| 11.2 Software-Entwicklungsprozesse | 374 |
| 11.3 Die Entwicklung | 376 |
| 11.4 Die Prüfung | 382 |
| 11.5 Organisatorische Aspekte | 390 |
| 11.6 Dokumentation und Auswertung der Prüfung | 393 |
| 11.7 Standards | 394 |
| 11.8 Bewertung | 401 |
| 12 Werkzeuge | 402 |
| 12.1 Eigenschaften und Ziele der Nutzung von Werkzeugen | 403 |
| 12.2 Werkzeugtypen | 404 |
| 12.3 Verfügbarkeit von Werkzeugen | 412 |
| 12.4 Informationsquellen über Werkzeuge | 414 |
| 12.5 Bewertung der Nutzung von Werkzeugen | 414 |
| 13 Prüfen von objektorientierter Software | 417 |
| 13.1 Eigenschaften und Ziele des Prüfens von objektorientierter Software | 418 |
| 13.2 Hinweise für die objektorientierte Entwicklung | 420 |
| 13.3 Objektorientierter Modultest | 421 |
| 13.4 Objektorientierter Integrationstest | 438 |
| 13.5 Objektorientierter Systemtest | 445 |
| 13.6 Bewertung des Prüfens von objektorientierter Software | 447 |
| 14 Prüfen von eingebetteter Software | 449 |
| 14.1 Eigenschaften und Ziele des Prüfens von eingebetteter Software | 450 |
| 14.2 Wichtige Eigenschaften von eingebetteter Software | 450 |
| 14.3 Dynamisches Testen von sicherheitskritischer Software | 453 |
| 14.4 Sicherheits- und Zuverlässigkeitsmodellierung | 455 |
| 14.5 Stochastische Software-Zuverlässigkeitsanalyse | 463 |
| 14.6 Bewertung des Prüfens von eingebetteter Software | 488 |
| 15 Ein Praxisleitfaden | 490 |
| 15.1 Organisatorische Hinweise | 491 |
| 15.2 Technische Hinweise | 492 |
| 15.3 Zusammenfassung | 498 |
| Literaturverzeichnis | 501 |
| Glossar | 517 |
| Index | 528 |
