Sie erforschen die automatisierte Generierung von Instanzen komplexer Java-Klassen als Testinput für APIs. Damit unterstützen Sie die Entwicklung der verteilten Integrationsumgebung RCE (https://rcenvironment.de/). Die Desktop-Software RCE ermöglicht es Ingenieurinnen und Ingenieuren, Simulationen einzelner Aspekte komplexer Systeme wie Flugzeuge, Energie- oder Verkehrssysteme zu einer multidisziplinären Simulation zu kombinieren und in einer verteilten Rechenlandschaft auszuführen. Wir legen großen Wert auf die Qualitätssicherung dieser langlebigen Software und möchten neue Testmethoden entwickeln, die uns dabei helfen, unerwartetes Verhalten zu finden und zu charakterisieren. Hierbei nehmen viele Methoden nicht nur statische Parameter als Input (wie z.B. Integer oder Strings), sondern Instanzen komplexer Klassen, die ein eigenes Interface bieten und internen Zustand haben. Existierende Ansätze zur automatischen Generierung von Inputdaten beschränken sich auf die Generierung statischer Inputs.

Im Rahmen Ihrer Masterarbeit erweitern Sie diese Methoden auf die Generierung von Instanzen komplexer Datentypen. Sie modellieren die möglichen Zustände der komplexen Inputdaten in geeigneten Formalismen (z.B. als endliche Zustandsautomaten) und adaptieren existierende Methoden auf die Generierung dieser Formalismen. Außerdem implementieren Sie die von Ihnen erarbeiteten Methoden als Prototyp und evaluieren die Effektivität der Methoden und Ihrer Implementierung.

Sie arbeiten eigenständig an den genannten Aufgaben und stimmen sich dabei mit den anderen Teammitgliedern und der Gruppenleitung ab. Wir geben Ihnen die Freiheit und die Möglichkeit, eigene Ideen zu verfolgen und neue Forschungsthemen voranzutreiben. Wir bieten ein herausforderndes Arbeitsumfeld, bei dem Familienfreundlichkeit und Ihre Gesundheit oberste Priorität haben.