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

Cost functions
Controllers
Testing

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

Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles. / Tuncali, Cumhur Erkan; Pavlic, Theodore; Fainekos, Georgios.

2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016. Institute of Electrical and Electronics Engineers Inc., 2016. p. 1470-1475 7795751.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Tuncali, CE, 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., 7795751, Institute of Electrical and Electronics Engineers Inc., pp. 1470-1475, 19th IEEE International Conference on Intelligent Transportation Systems, ITSC 2016, Rio de Janeiro, Brazil, 11/1/16. https://doi.org/10.1109/ITSC.2016.7795751
Tuncali CE, Pavlic T, Fainekos G. Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles. In 2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016. Institute of Electrical and Electronics Engineers Inc. 2016. p. 1470-1475. 7795751 https://doi.org/10.1109/ITSC.2016.7795751
Tuncali, Cumhur Erkan ; Pavlic, Theodore ; Fainekos, Georgios. / Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles. 2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016. Institute of Electrical and Electronics Engineers Inc., 2016. pp. 1470-1475
@inproceedings{4387fee9b2a3454fa60170a8235f63ed,
title = "Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles",
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.",
author = "Tuncali, {Cumhur Erkan} and Theodore Pavlic and Georgios Fainekos",
year = "2016",
month = "12",
day = "22",
doi = "10.1109/ITSC.2016.7795751",
language = "English (US)",
pages = "1470--1475",
booktitle = "2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
address = "United States",

}

TY - GEN

T1 - Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles

AU - Tuncali, Cumhur Erkan

AU - Pavlic, Theodore

AU - Fainekos, Georgios

PY - 2016/12/22

Y1 - 2016/12/22

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85010058669&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85010058669&partnerID=8YFLogxK

U2 - 10.1109/ITSC.2016.7795751

DO - 10.1109/ITSC.2016.7795751

M3 - Conference contribution

SP - 1470

EP - 1475

BT - 2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016

PB - Institute of Electrical and Electronics Engineers Inc.

ER -