Software-Qualität (eBook)

Prof. Dr.-Ing. Peter Liggesmeyer ist Lehrstuhlinhaber für Software Engineering an der TU Kaiserslautern und Institutsleiter am Fraunhofer Institut Experimentelles Software Engineering (IESE) in Kaiserslautern.

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