Conception and implementation of a framework for test generation using contract-based design
- Subject:Test-Driven Development basierend auf Contracts
- Type:Masterarbeit
- Date:ab 06 / 2023
- Tutor:
Conception and implementation of a framework for test generation using contract-based design
Context
The AutoDevSafeOps project is investigating how the DevOps mentality can be adapted to the development, testing and operation of safety-critical functions in the automotive sector. One way to verify safety at the system level is to use contracts. They describe which results a system can guarantee. Today, contracts are mainly investigated as a control function in operation.
The focus of this work is on safety-critical functions, which in automobiles are mainly ML-based driving functions. Using a perception function based on neural networks, we will investigate how DevOps engineers can create contracts consistently with system requirements and integrate Test-Driven Development (TDD) into the DevOps context.
Tasks
- Research contract-based design and TDD
- Analysis of the requirements for the framework for the automotive industry
- Design of the framework based on Contracts and TDD
- Implementation of the framework in the DevOps context
Requirements
- Programming skills in Python and C++
- Experience with DevOps tools is an advantage (Docker, Kubernetes, GitHub Actions, Tekton, etc.)