Testmethoden für sequentielle und nebenläufige Software-Systeme

I Einführung.- 1 Beispiele für den Programmtest.- 2 Grundlegende Problemstellungen und Lösungsansätze.- 3 Qualitätsmanagement-, Prüf- und Testmethoden im Überblick.- II Spezifikationsorientiertes Testen.- 4 Datenbereichsbezogenes und funktionsbezogenes Testen.- 5 Testen von Reihenfolgebedingungen und algebraischen Spezifikationen.- 6 Bewertung des spezifikationsorientierten Testens.- III Implementationsorientiertes Testen.- 7 Kontrollflußbezogenes Testen.- 8 Datenflußbezogenes Testen.- 9 Ausdrucks-, anweisungs- und datenbezogenes Testen.- 10 Bewertung der implementationsorientierten Testkriterien.- 11 Testdatenerzeugung und Testwirksamkeitsmessung.- IV Weitere Aspekte des Testens.- 12 Statische Analyse und symbolische Ausführung.- 13 Testen ,,im Großen".- 14 Testen nebenläufiger Systeme.- 15 Fehlerlokalisierung und -korrektur.- 16 Management des Testens und Prüfens.- 17 Zusammenfassung und Ausblick.- A Lösungen zu den Testaufgaben.- A.1 Lösung zu Testaufgabe 1.- A.2 Lösung zu Testaufgabe 2.- A.3 Lösung zu Testaufgabe 3.- A.4 Lösung zu Testaufgabe 4.- B Organisationen, Konferenzen, Zeitschriften und Standards.- Literatur.