[Back]

M. Weiskirchner:
"JAVA in Echtzeitsystemen mit Bezug auf die WCET und Analysierbarkeit des Java Bytecodes";
Supervisor: P. Puschner; Institut für Technische Informatik, 2001.

Ziel dieser Diplomarbeit ist die Analyse von Java Programmen auf ihre maximale Ausführungszeit. Es wurde ein Analyseprogramm erstellt, das es ermöglicht, den Bytecode von Java Programmen zu analysieren. Ein Java Programm, das analysiert werden soll, wird dazu mit einigen Annotationen versehen, die nach dem Übersetzen des Programms in den Java Bytecode übernommen werden. Zur Analyse wird das Programm in einen Graphen umgewandelt, der die möglichen Abarbeitungspfade des Programms repräsentiert. Die Annotationen beschreiben die maximalen Iterationen der Schleifen und markieren Pfade im Programm, die unter gewissen Umständen nie erreicht werden.
Das Ergebnis der Analyse ergibt die maximale Ausführungszeit des Java Programms inklusive der Klassen und Standardbibliotheken, die in dem Programm aufgerufen werden. Zusätzlich erhält man den Aufbau des Programms in Form eines Graphen, die maximale Anzahl an Durchläufen aller Schleifen und eine Auflistung der Pfade im Programm, welche die meiste Zeit zur Ausführung ben otigen.

http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=758&viewmode=thesis