面向V&V测试用例生成的AI/ML轨迹冲突预测

Wyatt Mingus, L. Sherry, J. Shortle
{"title":"面向V&V测试用例生成的AI/ML轨迹冲突预测","authors":"Wyatt Mingus, L. Sherry, J. Shortle","doi":"10.1109/ICNS58246.2023.10124252","DOIUrl":null,"url":null,"abstract":"System Verification and Validation Testing (V&V) for time-dependent systems requires the generation of test cases. Each test case is defined by a set of initial conditions and an expected outcome at the end of the specified time period. Traditional methods for generating V&V test-cases run simulations of the system to generate outcomes for each combination of initial conditions. Due to the combinatorics of even a small set of initial conditions, covering the complete combinatorics can be time and/or cost prohibitive.This paper evaluates the feasibility of using Deep Learning Neural Networks (DLNN) to generate additional test cases that were not generated by the simulations due to time limitation. A DLNN trained to on the subset of test-cases from the simulation, learns the underlying behavior of the system, and is used to generated additional test cases. A case study for using DLNN to predict test-cases for trajectory conflicts demonstrates the feasibility of this approach for time-dependent systems that exhibit bounded, deterministic behavior. The implications of these results, the limitations, and future work are discussed.","PeriodicalId":103699,"journal":{"name":"2023 Integrated Communication, Navigation and Surveillance Conference (ICNS)","volume":"73 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Towards Trajectory Conflict Prediction Using AI/ML For V&V Test Case Generation\",\"authors\":\"Wyatt Mingus, L. Sherry, J. Shortle\",\"doi\":\"10.1109/ICNS58246.2023.10124252\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"System Verification and Validation Testing (V&V) for time-dependent systems requires the generation of test cases. Each test case is defined by a set of initial conditions and an expected outcome at the end of the specified time period. Traditional methods for generating V&V test-cases run simulations of the system to generate outcomes for each combination of initial conditions. Due to the combinatorics of even a small set of initial conditions, covering the complete combinatorics can be time and/or cost prohibitive.This paper evaluates the feasibility of using Deep Learning Neural Networks (DLNN) to generate additional test cases that were not generated by the simulations due to time limitation. A DLNN trained to on the subset of test-cases from the simulation, learns the underlying behavior of the system, and is used to generated additional test cases. A case study for using DLNN to predict test-cases for trajectory conflicts demonstrates the feasibility of this approach for time-dependent systems that exhibit bounded, deterministic behavior. The implications of these results, the limitations, and future work are discussed.\",\"PeriodicalId\":103699,\"journal\":{\"name\":\"2023 Integrated Communication, Navigation and Surveillance Conference (ICNS)\",\"volume\":\"73 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-04-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2023 Integrated Communication, Navigation and Surveillance Conference (ICNS)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICNS58246.2023.10124252\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2023 Integrated Communication, Navigation and Surveillance Conference (ICNS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICNS58246.2023.10124252","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

摘要

时间依赖系统的系统验证和验证测试(V&V)需要生成测试用例。每个测试用例都由一组初始条件和指定时间段结束时的预期结果定义。生成V&V测试用例的传统方法是对系统进行模拟,以生成每个初始条件组合的结果。由于即使是很小的初始条件集合的组合,覆盖完整的组合可能会花费时间和/或成本。本文评估了使用深度学习神经网络(DLNN)生成由于时间限制而无法由模拟生成的额外测试用例的可行性。经过训练的dln可以处理来自模拟的测试用例子集,学习系统的底层行为,并用于生成额外的测试用例。一个使用DLNN来预测轨迹冲突的测试用例的案例研究证明了这种方法对于表现出有限的、确定性行为的时间相关系统的可行性。讨论了这些结果的意义、局限性和未来的工作。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Towards Trajectory Conflict Prediction Using AI/ML For V&V Test Case Generation
System Verification and Validation Testing (V&V) for time-dependent systems requires the generation of test cases. Each test case is defined by a set of initial conditions and an expected outcome at the end of the specified time period. Traditional methods for generating V&V test-cases run simulations of the system to generate outcomes for each combination of initial conditions. Due to the combinatorics of even a small set of initial conditions, covering the complete combinatorics can be time and/or cost prohibitive.This paper evaluates the feasibility of using Deep Learning Neural Networks (DLNN) to generate additional test cases that were not generated by the simulations due to time limitation. A DLNN trained to on the subset of test-cases from the simulation, learns the underlying behavior of the system, and is used to generated additional test cases. A case study for using DLNN to predict test-cases for trajectory conflicts demonstrates the feasibility of this approach for time-dependent systems that exhibit bounded, deterministic behavior. The implications of these results, the limitations, and future work are discussed.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信