Home | english  | Impressum | Sitemap | KIT

Analyse von Java-Programmen auf Synchronisierungsfehler

Analyse von Java-Programmen auf Synchronisierungsfehler
Typ:Diplomarbeit
Datum:2007
Betreuer:

Dipl.-Phys. Thomas Moschny

Bearbeiter:Frank Otto
Zusatzfeld:

abgeschlossen 

Das Ziel dieser Arbeit ist es, einen Ansatz zu entwickeln, mit dem mögliche Synchronisierungsfehler in Java-Programmen identifiziert werden können. Im Gegensatz zu früheren Ansätzen wird hierbei berücksichtigt, dass Synchronisierungsfehlern bestimmte Entwurfsfehler vorausgehen. Daher werden zunächst konkrete Entwurfsfehler sowie mögliche Erkennungsstrategien betrachtet und darauf aufbauend verschiedene Datenflussanalysen entwickelt, die Synchronisierungsfehler unter Berücksichtigung solcher Entwurfsfehler erkennen können. Des Weiteren werden diese Fehlermuster miteinander in Beziehung gesetzt und ein gewichteter Fehlerbericht erstellt. Der Benutzer soll diesen Bericht durch die Wahl bestimmter Parameter individualisieren und so bestimmte Kriterien hervorheben können.