Constraint-Based Testing of An Industrial Multi-Robot Navigation System

Clemens Mühlbacher, Gerald Steinbauer, Michael Reip, Stephan Gspandl

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review


Intelligent multi-robot systems get more and more deployed in industrial settings to solve complex and repetitive tasks. Due to safety and economic reasons they need to operate dependably. To ensure a high degree of dependability, testing the deployed system has to be done in a rigorous way. Advanced multi-robot systems show a rich set of complex behaviors. Thus, these systems are difficult to test manually. Moreover, the space of potential environments and tasks for such systems is enormous. Therefore, methods that are able to explore this space in a structured way are needed. One way to address these issues is through model-based testing. In this paper we present an approach for testing the navigation system of a fleet of industrial transport robots. We show how all potential environments and navigation behaviors as well as requirements and restrictions can be represented in a formal constraint-based model. Moreover, we present the concept of coverage criteria in order to handle the potentially infinite space of test cases. Finally, we show how test cases can be derived from this model in an efficient way. In order to show the feasibility of the proposed approach we present an empirical evaluation of a prototype implementation using a real industrial use case.
Original languageEnglish
Title of host publication 2019 IEEE International Conference On Artificial Intelligence Testing (AITest)
Publication statusPublished - 2019
EventIEEE International Conference On Artificial Intelligence Testing: AITest 2019 - Doubletree by Hilton Newark - Fremont, Fremont, United States
Duration: 4 Apr 20199 Apr 2019


ConferenceIEEE International Conference On Artificial Intelligence Testing
Abbreviated titleAITest
Country/TerritoryUnited States

Fields of Expertise

  • Information, Communication & Computing


Dive into the research topics of 'Constraint-Based Testing of An Industrial Multi-Robot Navigation System'. Together they form a unique fingerprint.

Cite this