Behavioral Coverage in Black Box Testing Using Generative Models

M Methais - 2023 - doria.fi
In the era of Artificial Intelligence (AI), autonomous vehicles are increasingly taking space in
everyday life. From autonomous cars to delivery drones, Cyber Physical Systems (CPS) are …

[PDF][PDF] Generation of test strategies for model-based functional safety testing using an artifact-centric approach

B Van Acker, J Denil… - … of MODELS 2018 …, 2018 - repository.uantwerpen.be
ISO/DIS 26262, an automotive functional safety standard, provides stringent requirements
and processes for a'safety-oriented'software lifecycle and in particular on the verification and …

Using formal conformance testing to generate scenarios for autonomous vehicles

JB Horel, C Laugier, L Marsso… - … , Automation & Test …, 2022 - ieeexplore.ieee.org
Simulation, a common practice to evaluate au-tonomous vehicles, requires to specify
realistic scenarios, in par-ticular critical ones, occurring rarely and potentially dangerous to …

Generation of virtual test scenarios for training and validation of AI-based systems

U Dahmen, T Osterloh… - 2021 IEEE International …, 2021 - ieeexplore.ieee.org
Technologies in the field of artificial intelligence (AI) are increasingly used in a wide variety
of industries. However, in addition to their considerable potential, it is important to note that …

A strategy for boundary adherence and exploration in black-box testing of autonomous vehicles

JM Thompson, Q Goss, Mİ Akbaş - 2023 IEEE International …, 2023 - ieeexplore.ieee.org
The validation of artificial intelligence (AI) controlled vehicles is a vexing challenge. Black
box testing of decision making in these vehicles has been used to abstract out the inner …

Coverage Explorer: Coverage-guided Test Generation for Cyber Physical Systems

S Sheikhi, S Bak - arXiv preprint arXiv:2312.02313, 2023 - arxiv.org
Given the safety-critical functions of autonomous cyber-physical systems (CPS) across
diverse domains, testing these systems is essential. While conventional software and …

Pass-fail criteria for scenario-based testing of automated driving systems

R Myers, Z Saigol - arXiv preprint arXiv:2005.09417, 2020 - arxiv.org
The MUSICC project has created a proof-of-concept scenario database to be used as part of
a type approval process for the verification of automated driving systems (ADS). This …

A scenario-based platform for testing autonomous vehicle behavior prediction models in simulation

F Indaheng, E Kim, K Viswanadha, J Shenoy… - arXiv preprint arXiv …, 2021 - arxiv.org
Behavior prediction remains one of the most challenging tasks in the autonomous vehicle
(AV) software stack. Forecasting the future trajectories of nearby agents plays a critical role …

Formal scenario-based testing of autonomous vehicles: From simulation to the real world

DJ Fremont, E Kim, YV Pant, SA Seshia… - 2020 IEEE 23rd …, 2020 - ieeexplore.ieee.org
We present a new approach to automated scenario-based testing of the safety of
autonomous vehicles, especially those using advanced artificial intelligence-based …

Accelerating black box testing with light-weight learning

R Fogler, I Cohen, D Peled - International Symposium on Model Checking …, 2023 - Springer
Black box testing can employ randomness for generating test sequences. Often, even a
large number of test sequences may sample a minuscule portion of the overall behaviors …