Sajad Khatiri, Sebastiano Panichella, Paolo Tonella: Simulation-based Testing of Unmanned Aerial Vehicles with Aerialist. International Conference on Software Engineering. 2024

1. Simulation-based Testing of
Unmanned Aerial Vehicles With Aerialist
IEEE/ACM International Conference on Software Engineering (ICSE) 2024
19 April 2024
Sajad
Khatiri
Sebastiano
Panichella
Paolo
Tonella

2. • `
Unmanned Aerial Vehicles (UAVs)
2 2

3. oReality Gap
oReproducible
oScalable & Automatable
oAffordable
oSafe
Field vs. Simulation-based Testing
oReliable
oNot Reproducible
oLimited Test Scenarios
oExpensive & Time Consuming
oUnsafe
3

4. UAV System Test
Environment Configurations
Weather Condition
Surrounding Objects
UAV Configurations
Autopilot Parameter
Config Files (mission plan)
Runtime Commands
Radio Controller Commands
Starting Mission
Expected Behavior
Flight Trajectory
Safety Requirements
4

5. 5

6. 6

7. Aerialist’s CLI
7

8. Aerialist’s Library
8

9. Surrealist
Generate Realistic simulation-based test cases for UAVs
9
"Simulation-based Test Case Generation for Unmanned Aerial Vehicles in the Neighborhood of real flights “, ICST 2023
Sajad Khatiri, Sebastiano Panichella, and Paolo Tonella

10. 10
0.00 10.00 20.00 30.00 40.00 50.00 60.00
WOGAN-UAV
TUMB
CAMBA
DeepHyperion-UAV
AmbieGen
TAIiST
Surrealist [baseline]
Total Score
SBFT Tool Competition 2024
UAV Test Case Generation
"SBFT Tool Competition 2024 - CPS-UAV Test Case Generation Track “, SBFT@ICSE 2024
Sajad Khatiri , Prasun Saurabh, Timothy Zimmermann, Charith Munasinghe, Christian Birchler, and Sebastiano Panichella

11. github.com/skhatiri/aerialist
mazras@usi.ch
www.skhatiri.ir
Sajad Khatiri
11