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
Testgütemessung und die Fehlerlokalisierung präsentiert. Die Darstellung der besonderen
Probleme und Methoden beim Testen nebenläufiger Systeme unterscheidet dieses Buch von anderen
Büchern über das Softwaretesten. Im abschließenden Kapitel werden Hinweise zur Auswahl und
Kombination von Testmethoden gegeben. Das Buch stellt nicht nur eine Sammlung von Methoden dar
die anhand von Beispielen illustriert werden. Vielmehr werden auch die dahinterliegenden
Prinzipien und Konzepte erläutert. Für die einzelnen Methoden werden Vor- und Nachteile
bezüglich Aufwand und Leistung angegeben und mit den anderen Methoden verglichen.
