Ablaufüberwachung objektorientierter Programme - Graphentheoretische Algorithmen für die Ablaufanalyse

Inhaltsverzeichnis

Definitionsverzeichnis

Algorithmenverzeichnis

Abbildungsverzeichnis

Tabellenverzeichnis

Kapitel 1 Einleitung

Kapitel 2 Aktueller Stand der Software-Fehleranalyse

2.1 Fehler

2.2 Existierende Techniken

2.3 Beispiel einer Fehleranalyse

2.4 Problembeschreibung

2.5 Verwandte Arbeiten

2.5.1 Program-Profiling

2.5.2 Program-Tracing

2.5.3 Werkzeuge für die Fehlersuche

2.6 Zusammenfassung

Kapitel 3 Graphentheoretische Grundlagen

3.1 Grundbegriffe

3.1.1 Allgemeine Graphen

3.1.2 Wege: Definitionen und elementare Eigenschaften

3.1.3 Erreichbarkeit und Zusammenhang

3.1.4 Klassifizierung von Zusammenhangskomponenten

3.1.5 Abgeleitete Graphen

3.2 Die Standard-a-Zerlegung

3.2.1 Klassen geschlossener a-Wege und Kantenzerlegungen

3.2.2 Die Standard-a-Zerlegung allgemeiner Graphen

Kapitel 4 Ablaufgraphen von Programmen

4.1 Überblick

4.2 Ablaufgraphen prozeduraler Sprachen

4.3 Ablaufgraphen objektorientierter Sprachen

4.4 Fehlerbehandlung mit Ausnahmen in objektorientierten Sprachen

4.5 Definitionen

4.6 Format einer Java-Class-Datei

4.7 Java-Bytecode

4.8 Instrumentierung des Codes

Kapitel 5 Rekonstruieren von Abläufen in einem Ablaufgraphen

5.1 Algorithmus zum Auffinden der Ereignisknoten SETEVENTS

5.2 Markieren der Bögen

5.3 Rekonstruieren von Abläufen (Algorithmus RECONSTRUCTFLOW)

5.4 Beweis des Rekonstruierungsverfahrens

5.5 Verheftungsknoten als Ereignisknoten

5.6 Modifizierung des SETEVENTS Algorithmus

5.7 Beispiel einer Ablaufrekonstruktion

5.7.1 Auffinden der Ereignisknoten

5.7.2 Markieren der Bögen

5.7.3 Rekonstruieren der Abläufe

5.8 Effizienzbetrachtungen des Algorithmus SETEVENTS

5.9 Effizienzbetrachtungen des Algorithmus RECONSTRUCTFLOW

Kapitel 6 Analyse der Optimalität der Menge von Ereignisknoten

6.1 Formalisierung der Minimalitäts- und Optimalitätskriterien

6.2 Vergleich des SETEVENTS Algorithmus mit dem Knuth-Stevenson Algorithmus

6.3 Kombinieren des Algorithmus mit dem Knuth-Stevenson Algorithmus

6.4 Zerlegen der starken Zusammenhangskomponenten

6.5 Hierarchie der Algorithmen zum Finden der Überwachungsmenge der Knoten

6.6 Häufigkeitsanalyse und Wahrscheinlichkeitsanalyse

Kapitel 7 Ablaufrekonstruktion objektorientierter Programme

7.1 Auffinden und Platzieren von Überwachungspunkten in einem Programm

7.2 Protokollierung eines Ablaufes

7.3 Rekonstruieren eines Ablaufes in einem objektorientierten Programm

7.3.1 Ablauf innerhalb einer Methode

7.3.2 Algorithmus zur Rekonstruktion eines Ablaufs im kompletten Programm

7.3.3 Beispiel einer Rekonstruktion eines Objektorientierten Programms

7.3.4 Erweiterungen des Algorithmus zum Rekonstruieren eines Ablaufes im kompletten Programm

Kapitel 8 Überwachungsagent für Java-basierte Anwendungen

8.1 Beschreibung

8.1.1 Phase 1: Bestimmen von Überwachungspunkten eines Programms

8.1.2 Phase 2: Aktivieren der Überwachungspunkte und Protokollieren der Ereignisse

8.1.3 Phase 3: Rekonstruieren der Abläufe

8.2 Beispiele

8.3 Verifikation der Algorthmen

Kapitel 9 Zusammenfassung und Ausblick

A Abgeleitete Graphen

B gprof -Beispiel

C strace-Beispiel

D Byte-Code der main-Methode

Literatur

Index