Impact-Analyse für AspectJ - Eine kritische Analyse mit werkzeuggestütztem Ansatz

Abstract

Aspekt-Orientierte Programmierung (AOP) wird seit Jahren als „die Lösung von SoftwareModularisierungsproblemen propagiert, die in der Literatur als die Tyrannei der dominanten Dekomposition” bekannt sind. Unterzieht man AO Sprachen jedoch einer kritischen Untersuchung, so zeigt sich, dass diese pauschale Aussage bezweifelt werden muss. Diese Arbeit trägt zwei Punkte in diesem Kontext bei: Zum Einen werden AO Sprachkonstrukte kritisch analysiert, um Programmierer auf problematische Anwendung dieser Konstrukte aufmerksam zu machen. In diesem Kontext wird demonstriert, dass AOP - ganz im Gegensatz zu seinen Zielen - leicht in schwerer verständlichem, schlecht wartbarem und fehleranfälligem Quellcode resultieren kann. Zum Anderen werden zur Unterstützung von Programmierern Software Werkzeuge basierend auf statischer und dynamischer Programmanalyse vorgeschlagen. Im Detail wird untersucht, wie Techniken der Change Impact Analyse verwendet werden können, um die Effekte von Aspekten und problematische Anwendung von AO Sprachkonstrukten automatisch zu ermitteln sowie um die Auswirkungen von Systemevolution handhabbar zu machen. Die Arbeit stellt ebenfalls eine Analysetechnik vor, um potentielle Interferenz von Aspekten automatisch zu ermitteln. Die Dissertation schließt mit einer Übersicht über verfügbare Open Source AspectJ Systeme, die zur Evaluierung der vorgestellten Techniken verwendet wurden, und einer auf softwaretechnischen Grundlagen und den in der Arbeit gewonnenen Erkenntnissen beruhenden Bewertung von AOP.