University of L'Aquila, Italy
Situation coverage testing for autonomous robots
Mobile and general-purpose robots increasingly support our everyday life by autonomously realizing missions in complex environments. Robots might need to collaborate with humans and in general operate in environments that are shared with humans. It is therefore extremely important to develop robots in a dependable and reliable way. One of the most used means to assess the quality of robots is testing. It is however difficult to give coverage measures and to assess with high confidence that the robots will behave as expected in various scenarios. In this talk I will discuss on how to exploit mission specification patterns [1,2] to automatically generate mission specifications, i.e. a precise description of the goals that mobile robots shall achieve, so to satisfy desired situation coverages, by covering enough situations, and a diverse enough set of them.
 Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger (2019) Specification Patterns for Robotic Missions IEEE Transactions on Software Engineering (TSE).
 Mission Specification Patterns website (2019) http://roboticpatterns.com