The digitization of modern, highly connected automobiles requires protection against attacks on vehicle electronics. The car communication security department is responsible for exploring and designing novel test methods that can increase the overall test coverage of Electronic Control Units (ECUs), Functions or of the entire vehicle. Your task for this thesis is to automatically generate test inputs from the requirements. The test case generation also takes into account, structurization of requirements when needed.
Possible roles of the role
Research on the topic of classification and structurization of requirements in a machine readable mode (some examples already exists).
Identify potential preconditions of the requirements and add into structure of the requirements.
Generate individual test cases from the requirements and integrate them to a test framework.
Optimize the test cases to avoid flooding the testing framework with unwanted test cases.
Qualification requirements
Students in the fields of computer science, cybersecurity, mathematics, engineering or comparable courses of study.
Good knowledge of cybersecurity of embedded systems or machine learning methods with background knowledge of (secure) software testing (especially fuzzing) and programming skills in Python.
Good to very good academic performance.
Previous experience in developing secure software, secure embedded systems, or testing secure software is an advantage.
The following documents must be submitted with the application
Current certificate of enrolment.
Current transcript of records. In the case of a compulsory internship, an additional certificate from the university.
Contact person for this posting: Brigitte Adam-Huth.