Towards assurance case evidence generation through search based testing: work-in-progress

Yumeng Cao, Quinn Thibeault, Aniruddh Chandratre, Georgios Fainekos, Giulia Pedrielli, Mauricio Castillo-Effen

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

1 Scopus citations

Abstract

Requirements-driven search-based testing (SBT), also known as falsification, has proven to be a practical and effective method for discovering erroneous behaviors in Cyber-Physical Systems. However, SBT techniques do not provide guarantees on correctness if no falsifying behavior is found within the test budget. Hence, the applicability of SBT methods for evidence generation supporting assurance cases is limited. In this work, we make progress towards developing finite-time guarantees for SBT techniques with associated confidence metrics. We demonstrate the applicability of our approach to the F16 GCAS benchmark challenge.

Original languageEnglish (US)
Title of host publicationProceedings - 2021 International Conference on Embedded Software, EMSOFT 2021
PublisherAssociation for Computing Machinery, Inc
Pages41-42
Number of pages2
ISBN (Electronic)9781450387125
DOIs
StatePublished - Sep 30 2021
Externally publishedYes
Event21st ACM SIGBED International Conference on Embedded Software, EMSOFT 2021, held as part of the Embedded Systems Week, ESWEEK 2021 - Virtual, Online, United States
Duration: Oct 8 2021Oct 15 2021

Publication series

NameProceedings - 2021 International Conference on Embedded Software, EMSOFT 2021

Conference

Conference21st ACM SIGBED International Conference on Embedded Software, EMSOFT 2021, held as part of the Embedded Systems Week, ESWEEK 2021
Country/TerritoryUnited States
CityVirtual, Online
Period10/8/2110/15/21

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Towards assurance case evidence generation through search based testing: work-in-progress'. Together they form a unique fingerprint.

Cite this