Mining and Checking Object Behavior, Fachbücher von Valentin Dallmeier

Das Buch "Mining and Checking Object Behavior" bietet eine innovative Methode zur Modellierung des Verhaltens von Programmen zur Laufzeit. Es nutzt die Struktur objektorientierter Programme, um Modelle abzuleiten, die das Verhalten einzelner Objekte beschreiben. Die vorgestellte Technik ermöglicht es, Verhaltensmodelle von Objekten zu extrahieren, die als endliche Zustandsautomaten dargestellt werden, wobei die Zustände verschiedene Zustände eines Objekts repräsentieren und die Übergänge durch Methodenaufrufe verursacht werden. Diese Modelle erfassen die Auswirkungen von Methodenaufrufen auf den Zustand eines Objekts und kombinieren dabei Kontrollflussinformationen mit Variablenwerten. Das Buch stellt zudem die Implementierung des öffentlich verfügbaren Adabu-Tools vor, das in der Lage ist, Verhaltensmodelle aus den Ausführungen grosser interaktiver Programme zu extrahieren. Darüber hinaus wird die Nützlichkeit dieser Modelle für die automatische Fehlerbehebung und die Spezifikationsanalyse aufgezeigt.