Wir suchen Mitarbeiter!

Wir bieten feste Stellen als technischer Consultant in den Bereichen Softwarequalität, modellbasierte Entwicklung und funtionale Sicherheit, zum Beispiel mit den folgenden Aufgaben:

Erstellung von Validierungssuiten für Code-Generatoren und andere Werkzeuge

Zur Qualifizierung von Werkzeugen für Entwicklung und Test sicherheitsrelevanter Funktionen müssen die dazu verwendeten Funktionen und Einstellungen gründlich auf ihre Eignung und Robustheit getestet werden. Das Vertrauen der Anwender in ihre Werkzeuge lässt sich durch Validierungssuiten erhöhen, die über die Tests der Werkzeughersteller hinaus gehen.

Die Validas AG hat sich in den letzten Jahren zu Deutschlands führendem Hersteller von Validierungssuiten entwickelt. Dabei wurden verbreitete Code-Generatoren (TargetLink, ASCET), Compiler und Testwerkzeuge qualifiziert.

Die Erstellung einer Validierungssuite basiert auf einer Testumgebung für das zu prüfende Werkzeug, einer systematischen Testspezifikation und Generierungsverfahren von Testeingaben und erwarteten Sollwerten. Zur Entwicklung von Testgeneratoren und Testumgebungen setzt die Validas neueste Technologien aus Forschungsprojekten und moderne Entwicklungsumgebungen (wie Eclipse) ein. Die Analyse und Bewertung der Abweichungen in den durchgeführten Tests erfordert ein tiefes Verständnis von Programmiersprachen und der Embedded Hardwarem auf der die Tests ausgeführt werden. Die Ergebnispräsentation der Fehler mit geeigneten Work-arounds erfordert kommunikative Fähigkeiten und ein tiefes Verständnis der Anwendungsprozesse.

Sicherheitsanalyse von Prozessen und Werkzeugen

Um den Qualifizierungsbedarf von Werkzeugen zu ermittelnm müssen die Anwendungsprozesse der Werkzeuge analysiert werden. Alle dabei verwendeten Werkzeuge müssen auf potentielle Fehler analysiert werden. Mit der von der Validas AG im Forschungsprojekt RECOMP entwickelten Klassifikationsmethode für Werkzeuge wird der Qualifizierungsbedarf und der finanzielle Nutzen von Qualifizierungen ermittelt. Bei der Sicherheitsanalyse ist sowohl die Kenntnis der ISO 26262 nötig, wie auch das Wissen um potentielle Fehler und deren Erkennung und Vermeidung.

Methodenentwicklung zum Test von Softwarekomponenten

Der Test von Softwarekomponenten ist das wesentliche Mittel um die Sicherheit von Systemen zu prüfen. Unterschiedliche Testziele, Teststufen und Testobjekte machen die Methodenentwicklung zu einer grossen Aufgabe. Der Kostendruck erfordert eine hohe Effizienz und Automatisierung des Tests. Dies bedingt eine präzise Testspezifikation und systematische Methoden um Tests zu erstellen. Die Vision der Validas für effektive Softwaretests basiert auf einer möglichst kompakten und verständlichen Testspezifikation, aus der Testfälle automatisch abgeleitet und durchgeführt werden. Die Machbarkeit dieser Vision wird im Rahmen von Forschungsprojekten demonstriert. In Kundenprojekten werden ausgehend von der Reife der Testprozesse beim Kunden die nötigen Schritte zur Erreichung der Validas-Vision identifiziert und umgesetzt.

Voraussetzungen

Idealweise haben Sie

Wir suchen Werkstudenten!

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 von Richtliniencheckern.

Zur Vermeidung von Werkzeugfehlern und fehleranfälligen Funktionen in Werkzeugen müssen die Eingaben der Werkzeuge geprüft werden, ob sie den Richtlinien genügen. Dei Realisierung der Richtlinien erfolgt durch eine Erweiterung des Richtliniencheckers um weitere Regeln. Diese Regeln werden entweder in OCL formuliert, falls eine geeignete UML-Infrastruktur vorliegt, oder in einer werkzeugspezifischen Programmiersprache. Grundlage für die Entwicklung der Richtlinien ist das Metamodell der Werkzeuge, die Ergebnisse von Werkzeugqualifizierungen und eventuell vorhandene textuelle Modellierungsrichtlinien.

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!