Abstract
Simulation-based testing provides a safe and cost-effective environment for verifying the safety of Uncrewed Aerial Vehicles (UAVs). However, simulation can be resource-consuming, especially when High-Fidelity Simulators (HFS) are used. To optimise simulation resources, we propose a pseudo-random test generator that uses a Low-Fidelity Simulator (LFS) to estimate UAV flight paths. This work simplifies the PX4 autopilot HFS to develop a LFS, which operates one order of magnitude faster than the HFS. Test cases predicted to cause safety violations in the LFS are subsequently validated using the HFS.
| Original language | English |
|---|---|
| Title of host publication | 2025 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT) |
| Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
| Pages | 51-52 |
| Number of pages | 2 |
| ISBN (Electronic) | 9798331525897 |
| ISBN (Print) | 9798331525903 |
| DOIs | |
| Publication status | Published - 23 Oct 2025 |
| Event | Intl. Workshop on Search-Based and Fuzz Testing - Ottawa, Canada Duration: 27 Apr 2025 → 3 May 2025 Conference number: The 18th https://sbft25.github.io/ |
Workshop
| Workshop | Intl. Workshop on Search-Based and Fuzz Testing |
|---|---|
| Abbreviated title | SBFT |
| Country/Territory | Canada |
| City | Ottawa |
| Period | 27/04/25 → 3/05/25 |
| Internet address |
Keywords
- cs.RO