Abstract

This paper proposes an approach to automatically generating test cases for testing motion controllers of autonomous vehicular systems. Test scenarios may consist of single or multiple vehicles under test at the same time. Tests are performed in simulation environments. The approach is based on using a robustness metric for evaluating simulation outcomes as a cost function. Initial states and inputs are updated by stochastic optimization methods between the tests for achieving smaller robustness values. The test generation framework has been implemented in the toolbox S-TaLiRo. The proposed framework's ability to generate interesting test cases is demonstrated by a case study.

Original languageEnglish (US)
Title of host publication2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1470-1475
Number of pages6
ISBN (Electronic)9781509018895
DOIs
StatePublished - Dec 22 2016
Event19th IEEE International Conference on Intelligent Transportation Systems, ITSC 2016 - Rio de Janeiro, Brazil
Duration: Nov 1 2016Nov 4 2016

Other

Other19th IEEE International Conference on Intelligent Transportation Systems, ITSC 2016
CountryBrazil
CityRio de Janeiro
Period11/1/1611/4/16

    Fingerprint

ASJC Scopus subject areas

  • Automotive Engineering
  • Mechanical Engineering
  • Computer Science Applications

Cite this

Tuncali, C. E., Pavlic, T., & Fainekos, G. (2016). Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles. In 2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016 (pp. 1470-1475). [7795751] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ITSC.2016.7795751