paperbot · PL 论文追踪

全部论文 待读 收藏

P2 DroneReqValidator: Facilitating High Fidelity Simulation Testing for Uncrewed Aerial Systems Developers

DroneReqValidator:面向无人航空系统开发者的高保真仿真测试
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 1/10 · 论文关注无人机仿真测试环境生成与安全性验收报告,属于软件测试/调试领域,与用户核心方向(静态分析、LLM与程序分析/形式化验证、浮点程序分析、贝叶斯程序分析)几乎没有交集,也未涉及LLM或程序分析技术。引用 8 inbox
Bohan Zhang, Yashaswini Shivalingaiah, Ankit Agrawal
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出 DroneReqValidator 仿真生态系统,自动生成逼真环境并监测 sUAV 安全性,生成验收测试报告。

小型无人航空系统(sUAS)需严格测试以确保安全可靠部署,但真实环境动态变化(恶劣天气、无线干扰等)引发的软件故障往往只能通过现场测试发现,而覆盖大量环境条件的现场测试成本高、不现实。为此,DroneReqValidator(DRV)提供面向小型无人机(sUAV)的仿真生态系统:根据开发者指定的约束自动生成高保真、接近真实的环境,监测 sUAV 行为是否满足预定义安全参数,并生成详细验收测试报告以支持调试与分析。系统以演示形式展示上述能力,旨在提升 sUAS 测试与开发流程。

问题
小型无人航空系统(sUAS)的安全可靠部署依赖严格测试,但真实世界动态环境(天气、无线干扰等)导致的独特软件故障难以在常规仿真中复现,而大规模现场测试成本过高、不切实际。
方法
DRV 构建 sUAV 仿真生态系统,依据开发者指定约束自动生成高保真环境,并监测 sUAV 活动是否满足预定义安全参数,最后生成详细验收测试报告。
评估
摘要未报告定量评估;系统通过综合演示(视频)展示其在自动环境生成、安全监测与测试报告生成方面的能力。
原文摘要(Abstract)

Rigorous testing of small Uncrewed Aerial Systems (sUAS) is crucial to ensure their safe and reliable deployment in the real world. sUAS developers aim to validate the reliability and safety of their applications through simulation testing. However, the dynamic nature of the real-world environment, including factors such as challenging weather conditions and wireless interference, causes unique software faults that may only be revealed through field testing. Considering the high cost and impracticality of conducting field testing in thousands of environmental contexts and conditions, there exists a pressing need to develop automated techniques that can generate high-fidelity, realistic environments enabling sUAS developers to deploy their applications and conduct thorough simulation testing in close- to- reality environmental conditions. To address this need, DroneReqValidator (DRV) offers a comprehensive small Unmanned Aerial Vehicle (sUAV) simulation ecosystem that automatically generates realistic environments based on developer-specified constraints, monitors sUAV activities against predefined safety parameters, and generates detailed acceptance test reports for effective debugging and analysis of sUAV applications. Providing these capabilities, DRV offers a valuable solution for enhancing the testing and development process of sUAS. The comprehensive demo of DRV is available at https://www.youtube.com/watch?v=Fd9ft55gbO8

链接与引用

DOI 原文 · arXiv · PDF(开放获取) · DBLP

BibTeX
@inproceedings{ZhangSA23,
  title = {DroneReqValidator: Facilitating High Fidelity Simulation Testing for Uncrewed Aerial Systems Developers},
  author = {Bohan Zhang and Yashaswini Shivalingaiah and Ankit Agrawal},
  booktitle = {ASE},
  year = {2023},
  doi = {10.1109/ase56229.2023.00011}
}