Testmethoden fr sequentielle und nebenlufige Software-Systeme [Paperback]

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.F?r die Erstellung gro?er Software-Systeme sind trotz verbesserter Konstruktionsmethoden f?r die Software-Entwicklung analytische Ma?nahmen zur ?berpr?fung der Korrektheit der Software unverzichtbar. In der Praxis wird die Korrektheit von Software meist mittels Testen sichergestellt. Der Inhalt des Buches gliedert sich in vier Teile. Im ersten Teil erfolgt eine Einf?hrung anhand von Beispielprogrammen und eine Beschreibung der Probleme und Grundlagen des Testens. Im zweiten Teil werden spezifikationsorientierte Testmethoden ausf?hrlich vorgestellt. Der dritte Teil behandelt (f?r kleine Programme oder Moduln) in umfassender Weise Testmethoden, die sich an der Implementierung orientieren. Im vierten Teil werden Methoden f?r die statische Analyse von Programmen, f?r den (Integrations-)Test gro?er Programmsysteme, f?r die TlƒA