TY - GEN
T1 - Towards assurance case evidence generation through search based testing
T2 - 21st ACM SIGBED International Conference on Embedded Software, EMSOFT 2021, held as part of the Embedded Systems Week, ESWEEK 2021
AU - Cao, Yumeng
AU - Thibeault, Quinn
AU - Chandratre, Aniruddh
AU - Fainekos, Georgios
AU - Pedrielli, Giulia
AU - Castillo-Effen, Mauricio
N1 - Funding Information:
This work is supported by the DARPA ARCOS program under contract FA8750-20-C-0507.
Publisher Copyright:
© 2021 ACM.
PY - 2021/9/30
Y1 - 2021/9/30
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85115157364&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85115157364&partnerID=8YFLogxK
U2 - 10.1145/3477244.3477984
DO - 10.1145/3477244.3477984
M3 - Conference contribution
AN - SCOPUS:85115157364
T3 - Proceedings - 2021 International Conference on Embedded Software, EMSOFT 2021
SP - 41
EP - 42
BT - Proceedings - 2021 International Conference on Embedded Software, EMSOFT 2021
PB - Association for Computing Machinery, Inc
Y2 - 8 October 2021 through 15 October 2021
ER -