Ablaufüberwachung objektorientierter Programme

Inhaltlich unveränderte Neuauflage. Die Fehlersuche in großen Serverapplikationen ist eine schwierige Aufgabe, da die­se Applikationen meist nebenläufig ausgeführt werden und zeitkritisch sind. Statische Codeanalyse ist oft nicht ausreichend und schrittweises De­bug­ging ist nicht durchführbar. Die Fehlersuche wird zusätzlich erschwert, wenn die Serverprogramme in objekt-orientierten Programmiersprachen ver­fasst sind, da viele etablierte Techniken, wie zum Beispiel die klassische Kon­troll­flussanalyse, wegen der Klassenableitungen, Methodenüberschreibungen und dynamischen Bindung von Code nicht mehr direkt angewandt werden können. In diesem Buch werden die Grundlagen für die Überwachung von laufenden, in objektorientierten Sprachen verfassten Serverapplikationen prä­sen­tiert. Das Konzept der hier vorgestellten Lösung beruht auf der Über­wa­chung des Programmcodes an bestimmten Stellen. Bei fehlerhaftem Ver­hal­ten kann aus den protokollierten Ereignissen der Ablauf bis zur fehlerhaften Stel­le in dem Programm rekonstruiert werden. Die Auswahl der Positionen für die Ereignisfunktionen basiert auf graphentheoretischen Algorithmen, die die Menge der Positionen für die Überwachung signifikant reduzieren. Dieses Buch richtet sich an alle Informatiker, an Studenten des Faches sowie den interessierten Leser.