Normalisierung von Quellcode durch Modelltransformationen

Motivation

Aktuelle Ansätze zur Performance-Bewertung komponentenbasierter Architekturen, wie beispielsweise das Palladio Komponentenmodell (PCM, http://palladio-approach.net), nutzen parametrisierte Spezifikationen für die Vorhersage von Performance-Eigenschaften. Die Spezifikationen stellen abstrakte Verhaltensmodelle dar, die das tatsächlich Verhalten näherungsweise beschreiben.

Im Rahmen der automatischen Analyse von Quellcode ist eine vorgegebene Code-Struktur für Algorithmen zur Erkennung von Komponenten, zur Ermittlung von Performance-relevanten Eigenschaften des Codes, sowie zur Erzeugung und Validierung von parametrisierten Spezifikationen notwendig. Außer syntaktischen Anforderungen, bspw. dass nur eine Anweisung pro Zeile stehen darf, existieren auch semantische, bspw. dass die Berechnung von an Methoden übergebenen Parametern auch im Quellcode vor den eigentlichen Aufruf gezogen werden muss (Beispiel siehe Abbildung). Bisher wurde die entsprechende Normalform durch manuelle Änderungen herbeigeführt.

Aufgabenstellung

Ihre Aufgabe besteht im Entwurf und der Umsetzung eines Ansatzes zur Normalisierung von Quellcode entsprechend unserer Anforderungen. Er soll für jede valide Java-Dateien eine normalisierte Fassung erstellen können. Hierzu kann beispielsweise auf bestehende Werkzeuge wie RECODER (http://recoder.sourceforge.net/) oder das Eclipse JDT zurückgegriffen werden.

Wir bieten

• Möglichkeit, eigene Schwerpunkte und Interesse einzubringen
• Flexible Zeiteinteilung
• Möglichkeit zu anschließenden Studien- oder Diplomarbeiten
• Nette Arbeitsatmosphäre (klimatisierte Räume, Kaffeemaschine, Kicker ;))

Interesse?

Wenn Du Interesse hast, in unserem Team mitzuarbeiten, dann bewirb Dich mit deinen Unterlagen (Motivation, praktische Erfahrung, Notenauszug) einfach per Email an:

Henning Groenda
Software Engineering
Telefon: 0721 9654-622
E-Mail: Diese E-Mail-Adresse ist gegen Spam-Bots geschützt, Sie müssen Javascript aktivieren, damit Sie sie sehen können

Ich freue mich auf deine Bewerbung!