README.md

TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track

Overview

This is the implementation of our UAV-Testing-Competition tool called TUMB (Testing of UAVs by MCTS and Path Blocking). Generally, it adopts the Monte Carlo Tree Search (MCTS) algorithm to place obstacles on the trajectories of Unmanned Aerial Vehicles (UAVs) to challenge its flight. A detailed description of the algorithm can be found here.

Getting Started

• Following this guide to install Aerialist project

• Install Aerialist's python package:

  • pip3 install git+https://github.com/skhatiri/Aerialist.git

• cd Aerialist/samples and clone this project

• Create some necessary directories:

  • cd UAV-Testing-Competition/snippets
  • sudo mkdir -p logs generated_tests results/logs

• Run the experiment:

  • python3 cli.py generate case_studies/mission1.yaml 100

Authors

• Shuncheng Tang

  • Email: [email protected]
  • Affiliation: University of Science and Technology of China, China

• Zhenya Zhang

  • Email: [email protected]
  • Affiliation: Kyushu University, Japan

• Ahmet Cetinkaya

  • Email: [email protected]
  • Affiliation: Shibaura Institute of Technology, Japan

• Paolo Arcaini

  • Email: [email protected]
  • Affiliation: National Institute of Informatics, Japan