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
ISBN (Electronic)9781509067800
DOIs
StatePublished - Jul 1 2017
Event13th IEEE Conference on Automation Science and Engineering, CASE 2017 - Xi'an, China
Duration: Aug 20 2017Aug 23 2017

Publication series

NameIEEE International Conference on Automation Science and Engineering
Volume2017-August
ISSN (Print)2161-8070
ISSN (Electronic)2161-8089

Other

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

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Fingerprint

Dive into the research topics of 'Functional gradient descent optimization for automatic test case generation for vehicle controllers'. Together they form a unique fingerprint.

Cite this