Semantikerhaltende Refactorings von Quellcode

Motivation

Möchte man die Ausführung einer Software (in Form von Bytecode) zur Laufzeit genau beobachten können und die beobachteten Ergebnisse später wieder in Quellcode zurückübersetzen, ist auf Grund technischer Anforderungen nur genau eine Anweisung pro Codezeile erlaubt. Da jedoch nicht jeder Quellcode genau eine Anweisung pro Codezeile enthält, sind entsprechende semantikerhaltende Refactorings des Quellcodes notwendig. Diese können beispielsweise daraus bestehen, die Berechnung von Eingabeparameter eines Funktionsaufrufs aus dem Code für den Aufruf selbst herauszuziehen.

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!