Sergej Alekseev Boeken

Die Fehlersuche in nebenläufigen, zeitkritischen Serverapplikationen stellt eine große Herausforderung dar, insbesondere wenn sie in objektorientierten Programmiersprachen entwickelt sind. Statische Codeanalyse und schrittweises Debugging sind oft unzureichend. Das Buch präsentiert eine innovative Lösung zur Überwachung von Programmcodes an strategischen Stellen, um Fehler zu identifizieren. Mithilfe graphentheoretischer Algorithmen wird die Anzahl der zu überwachenden Positionen optimiert, was die Fehlersuche erheblich erleichtert. Es richtet sich an Informatiker, Studierende und Interessierte.

Die Fehlersuche in großen Serverapplikationen ist eine schwierige Aufgabe, da diese Applikationen meist nebenläufig ausgeführt werden und zeitkritisch sind. Statische Codeanalyse ist oft nicht ausreichend und schrittweises Debugging ist nicht durchführbar. Die Fehlersuche wird zusätzlich erschwert, wenn die Serverprogramme in objekt-orientierten Programmiersprachen verfasst sind, da viele etablierte Techniken, wie zum Beispiel die klassische Kontrollflussanalyse, 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äsentiert. Das Konzept der hier vorgestellten Lösung beruht auf der Überwachung des Programmcodes an bestimmten Stellen. Bei fehlerhaftem Verhalten kann aus den protokollierten Ereignissen der Ablauf bis zur fehlerhaften Stelle 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.