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.