Testmethoden Fr Sequentielle Und Nebenlufige Software-systeme

I Einfhrung.- 1 Beispiele Fr Den Programmtest.- 2 Grundlegende Problemstellungen Und Lsungsanstze.- 3 Qualittsmanagement-, Prf- 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 Kontrollflubezogenes Testen.- 8 Datenflubezogenes 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 Ausfhrung.- 13 Testen Im Groen.- 14 Testen Nebenlufiger Systeme.- 15 Fehlerlokalisierung Und -korrektur.- 16 Management Des Testens Und Prfens.- 17 Zusammenfassung Und Ausblick.- A Lsungen Zu Den Testaufgaben.- A.1 Lsung Zu Testaufgabe 1.- A.2 Lsung Zu Testaufgabe 2.- A.3 Lsung Zu Testaufgabe 3.- A.4 Lsung Zu Testaufgabe 4.- B Organisationen, Konferenzen, Zeitschriften Und Standards.- Literatur.