With improving comfort and safety for passengers and drivers, the complexity of electronics and software in current automobiles constantly grows, which brings new challenges for testing and quality assurance teams. As a trend, automated testing, which is a logical method in the automotive industry, extends to fields that were previously the domain of manual testing.

In this project, we use the latest model-based testing methods to automate the generation of complex state-machine based test cases, which are then performed by car testing teams. Suitably combined with testers’ experience and background knowledge, this approach has the potential to increase the effectiveness of created tests to detect all relevant defects that might be present in systems of produced automobiles.