Abstract

A hierarchical framework is proposed for improving the automatic test case generation process for high-fidelity models with long execution times. The framework incorporates related low-fidelity models for which certain properties can be analytically or computationally evaluated with provable guarantees (e.g., gradients of safety or performance metrics). The low-fidelity models drive the test case generation process for the high-fidelity models. The proposed framework is demonstrated on a model of a vehicle with Full Range Adaptive Cruise Control with Collision Avoidance (FRACC), for which it generates more challenging test cases on average compared to test cases generated using Simulated Annealing.

Original languageEnglish (US)
Title of host publication2017 13th IEEE Conference on Automation Science and Engineering, CASE 2017
PublisherIEEE Computer Society
Pages1059-1064
Number of pages6
Volume2017-August
ISBN (Electronic)9781509067800
DOIs
StatePublished - Jan 12 2018
Event13th IEEE Conference on Automation Science and Engineering, CASE 2017 - Xi'an, China
Duration: Aug 20 2017Aug 23 2017

Other

Other13th IEEE Conference on Automation Science and Engineering, CASE 2017
CountryChina
CityXi'an
Period8/20/178/23/17

Fingerprint

Controllers
Adaptive cruise control
Collision avoidance
Simulated annealing

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Cite this

Tuncali, C. E., Yaghoubi, S., Pavlic, T., & Fainekos, G. (2018). Functional gradient descent optimization for automatic test case generation for vehicle controllers. In 2017 13th IEEE Conference on Automation Science and Engineering, CASE 2017 (Vol. 2017-August, pp. 1059-1064). IEEE Computer Society. https://doi.org/10.1109/COASE.2017.8256245

Functional gradient descent optimization for automatic test case generation for vehicle controllers. / Tuncali, Cumhur Erkan; Yaghoubi, Shakiba; Pavlic, Theodore; Fainekos, Georgios.

2017 13th IEEE Conference on Automation Science and Engineering, CASE 2017. Vol. 2017-August IEEE Computer Society, 2018. p. 1059-1064.

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

Tuncali, CE, Yaghoubi, S, Pavlic, T & Fainekos, G 2018, Functional gradient descent optimization for automatic test case generation for vehicle controllers. in 2017 13th IEEE Conference on Automation Science and Engineering, CASE 2017. vol. 2017-August, IEEE Computer Society, pp. 1059-1064, 13th IEEE Conference on Automation Science and Engineering, CASE 2017, Xi'an, China, 8/20/17. https://doi.org/10.1109/COASE.2017.8256245
Tuncali CE, Yaghoubi S, Pavlic T, Fainekos G. Functional gradient descent optimization for automatic test case generation for vehicle controllers. In 2017 13th IEEE Conference on Automation Science and Engineering, CASE 2017. Vol. 2017-August. IEEE Computer Society. 2018. p. 1059-1064 https://doi.org/10.1109/COASE.2017.8256245
Tuncali, Cumhur Erkan ; Yaghoubi, Shakiba ; Pavlic, Theodore ; Fainekos, Georgios. / Functional gradient descent optimization for automatic test case generation for vehicle controllers. 2017 13th IEEE Conference on Automation Science and Engineering, CASE 2017. Vol. 2017-August IEEE Computer Society, 2018. pp. 1059-1064
@inproceedings{9c1fa4bf95b24b6da98ff9c1c66d783e,
title = "Functional gradient descent optimization for automatic test case generation for vehicle controllers",
abstract = "A hierarchical framework is proposed for improving the automatic test case generation process for high-fidelity models with long execution times. The framework incorporates related low-fidelity models for which certain properties can be analytically or computationally evaluated with provable guarantees (e.g., gradients of safety or performance metrics). The low-fidelity models drive the test case generation process for the high-fidelity models. The proposed framework is demonstrated on a model of a vehicle with Full Range Adaptive Cruise Control with Collision Avoidance (FRACC), for which it generates more challenging test cases on average compared to test cases generated using Simulated Annealing.",
author = "Tuncali, {Cumhur Erkan} and Shakiba Yaghoubi and Theodore Pavlic and Georgios Fainekos",
year = "2018",
month = "1",
day = "12",
doi = "10.1109/COASE.2017.8256245",
language = "English (US)",
volume = "2017-August",
pages = "1059--1064",
booktitle = "2017 13th IEEE Conference on Automation Science and Engineering, CASE 2017",
publisher = "IEEE Computer Society",

}

TY - GEN

T1 - Functional gradient descent optimization for automatic test case generation for vehicle controllers

AU - Tuncali, Cumhur Erkan

AU - Yaghoubi, Shakiba

AU - Pavlic, Theodore

AU - Fainekos, Georgios

PY - 2018/1/12

Y1 - 2018/1/12

N2 - A hierarchical framework is proposed for improving the automatic test case generation process for high-fidelity models with long execution times. The framework incorporates related low-fidelity models for which certain properties can be analytically or computationally evaluated with provable guarantees (e.g., gradients of safety or performance metrics). The low-fidelity models drive the test case generation process for the high-fidelity models. The proposed framework is demonstrated on a model of a vehicle with Full Range Adaptive Cruise Control with Collision Avoidance (FRACC), for which it generates more challenging test cases on average compared to test cases generated using Simulated Annealing.

AB - A hierarchical framework is proposed for improving the automatic test case generation process for high-fidelity models with long execution times. The framework incorporates related low-fidelity models for which certain properties can be analytically or computationally evaluated with provable guarantees (e.g., gradients of safety or performance metrics). The low-fidelity models drive the test case generation process for the high-fidelity models. The proposed framework is demonstrated on a model of a vehicle with Full Range Adaptive Cruise Control with Collision Avoidance (FRACC), for which it generates more challenging test cases on average compared to test cases generated using Simulated Annealing.

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

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

U2 - 10.1109/COASE.2017.8256245

DO - 10.1109/COASE.2017.8256245

M3 - Conference contribution

VL - 2017-August

SP - 1059

EP - 1064

BT - 2017 13th IEEE Conference on Automation Science and Engineering, CASE 2017

PB - IEEE Computer Society

ER -