Umsetzung eines Frameworks zur Testgenerierung mittels Contract-based Design

Umsetzung eines Frameworks zur Testgenerierung mittels Contract-based Design

Zahnräder

Kontext 

Im Rahmen des Projekts AutoDevSafeOps wird untersucht, wie die DevOps-Mentalität auf die Entwicklung, das Testen und den Betrieb sicherheitskritischer Funktion im Automobilbereich angepasst werden kann. Eine Möglichkeit um Sicherheit auf Systemebene zu verifizieren ist die Nutzung von Contracts. Sie beschreiben, welche Ergebnisse ein System garantieren kann. Heute werden Contracts v.a. als Kontrollfunktion im Betrieb erforscht.

Der Fokus der Arbeit liegt auf sicherheitskritischen Funktionen, die im Automobil vor allem ML-basierte Fahrfunktionen sind. Anhand einer Perzeptions-Funktion basierend auf Neuronalen Netzen soll untersucht werden, wie DevOps-Ingenieure konsistent mit den System-Anforderungen Contracts erstellen und Test-Driven Development (TDD) in den DevOps-Kontext integrieren können.

Aufgaben

  • Recherche zu Contract-based Design und TDD
  • Analyse der Anforderungen an das Framework für die Automobilindustrie
  • Umsetzung eines Frameworks zur automatischen Testgenerierung basierend auf Contracts

Voraussetzungen

  • Allgemeine Programmierkenntnisse in Python
  • Erfahrungen mit DevOps-Tools von Vorteil (Docker, Kubernetes, GitHub Actions, Tekton etc.)