DC7 - Systematic Scenario-Based Testing for Marine Multi-Robot Systems

Objectives

1. To design and develop a scenario based testing framework involving: design of a domain specification language to formally describe variations in a dynamic underwater environment, algorithms for automatic generation and evaluation of testing scenarios based given the DSL.

Expected Results

1. An extendable domain specification language primarily for describing underwater environments.
2. Algorithms for generating diverse and failure revealing scenarios.
3. A tool integrating the scenario based testing framework in a ROS-based simulation environment.

Planned Secondment(s)

S13: EIVA, Dr. Brodsky, 2 months in M14-15
S14: UBremen, Prof. Hochgeschwender, 2 months in M26-27

Required Skills

Essential

• Computer Science/Engineering related degree
• Solid programming skills

Desirable

• Background in some of the following fields: robotic simulators, automated software testing, Probabilistic programs and Bayesian statistics, designing domain specific languages