Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components

Understand

Autonomous vehicles are complex systems that are challenging to test and debug.

• A requirements-driven approach to the development process can decrease the resources required to design and test these systems, while simultaneously increasing the reliability.
• We present a testing framework that uses signal temporal logic (STL), which is a precise and unambiguous requirements language.
• Our framework evaluates test cases against the STL formulae and additionally uses the requirements to automatically identify test cases that fail to satisfy the requirements.