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

More about the book

Für die Erstellung großer Software-Systeme sind analytische Maßnahmen zur Überprüfung der Korrektheit unverzichtbar. In der Praxis wird dies meist durch Testen sichergestellt. Der Inhalt gliedert sich in vier Teile. Der erste Teil bietet eine Einführung mit Beispielprogrammen sowie eine Beschreibung der Probleme und Grundlagen des Testens. Im zweiten Teil werden spezifikationsorientierte Testmethoden ausführlich behandelt. Der dritte Teil fokussiert sich auf Testmethoden für kleine Programme oder Module, die sich an der Implementierung orientieren. Der vierte Teil präsentiert Methoden zur statischen Analyse von Programmen, für den (Integrations-)Test großer Systeme, zur Testgütemessung und zur Fehlerlokalisierung. Besonders hervorgehoben werden die Herausforderungen und Methoden beim Testen nebenläufiger Systeme, was dieses Buch von anderen abhebt. Im abschließenden Kapitel werden Hinweise zur Auswahl und Kombination von Testmethoden gegeben. Das Buch bietet nicht nur eine Sammlung von Methoden, die durch Beispiele veranschaulicht werden, sondern erläutert auch die zugrunde liegenden Prinzipien und Konzepte. Für jede Methode werden Vor- und Nachteile in Bezug auf Aufwand und Leistung aufgezeigt und im Vergleich zu anderen Methoden betrachtet.