Wir suchen Sie!

Sie interessieren sich für eine Diplom- oder Masterarbeit oder für eine Arbeit als Werkstudentin oder Werkstudent zu einem der folgenden Themen:

Struktur- und Datenflussanalyse von C-Code

Zum Testen von beliebigen C-Funktionen müssen deren Ein- und Ausgänge anhand von existierendem C-Code ermittelt werden.

Nachdem C globale Variablen zulässt, besteht die Schnittstelle einer C-Funktion nicht nur aus der Signatur, sondern bezieht auch die verwendeten Variablen mit ein. Um diese Variablen zu ermitteln, muss die Struktur der C-Funktion ermittelt und ihr Datenfluss analysiert werden.

Die Datenflussanalyse ist basierend auf existierenden XML- und C-Parsern mit XML-Backend (www.gccxml.org) in Java zu realisieren. Dabei sind auch die Datentypen der Variablen zu ermitteln, da diese für die Testgenerierung relevant sind.

Entwicklung einer Domain-Specific Language (DSL) zur Beschreibung von Testmodellen und Testdaten für modellbasierte Entwicklungswerkzeuge (ASCET)

Ziel der DSL ist es, Testsuiten bestehend aus Modellen und Testdaten zu beschreiben. Mit den Testsuiten soll ein modellbasiertes Entwicklungswerkzeug getestet werden.

Ein Modell besteht aus hierarchischen Funktionen, die Ein- und Ausgänge haben. Sowohl die Funktionen, als auch die Ein- und Ausgänge haben Eigenschaften die ihr Verhalten beeinflussen. Mit der DSL sollen sowohl die Strukturen und Eigenschaften, als auch die Testdaten beschrieben werden können. Wichtig dabei ist vor allem, das sich sowohl einzelne Tests, als auch Mengen von Tests beschreiben lassen. Die DSL soll in der Eclipse-Plattform mit xText und ecore realisiert werden und anhand von ASCET-Modellen oder C-Code demonstriert werden.

Voraussetzungen

Idealweise haben Sie

Über uns

Wir sind ein junges und dynamisches Unternehmen im Bereich Embedded Systems.

Bei uns wirken Sie bei der Konzeption, Adaption und dem Einsatz von Methoden und Werkzeugen des Software-Engineering, der Softwarevalidierung und des Softwaretests mit. Sie arbeiten eigenverantwortlich in anspruchsvollen Projekten, stets unterstützt durch ein erfahrenes und hochqualifiziertes Team.

Eine attraktive Vergütung und ein gut ausgestatteter Arbeitsplatz in unseren großzügigen Büroräumen im Herzen Münchens sind selbstverständlich!

Interesse?

Dann schicken Sie doch einfach Ihre Bewerbungsunterlagen (Lebenslauf und Zeugniskopien) sowie Ihren frühstmöglichen Eintrittstermin an Frau Rösner (roesner@validas.de).

Gerne stehen wir Ihnen auch vorab bei Fragen telefonisch zur Verfügung (089/5388669–0).

Wir freuen uns, Sie kennen zu lernen!