2004 IEEE International Conference on Acoustics, Speech, and Signal Processing
Download PDF

Abstract

EvoMBT is a model-based test generator that principally uses search algorithms to generate tests from a given extended finite state machine (EFSM). In the context of Cyber-physical systems (CPS) testing, and in particular self-driving cars, we use a model of road configurations from which EvoMBT generates different roads for testing the car. This report introduces EvoMBT and reports the results it achieved in the Cyber-physical systems testing competition at SBFT 2023. EvoMBT was able to trigger several out-of-bound events and stood fourth in the overall ranking consisting of a total of six tools.
Like what you’re reading?
Already a member?
Get this article FREE with a new membership!

Related Articles