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 contributionResearchpeer-review

Abstract

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)
Pages129-137
DOIs
Publication statusPublished - 2019
EventIEEE International Conference On Artificial Intelligence Testing - Doubletree by Hilton Newark - Fremont, Fremont, United States
Duration: 4 Apr 20199 Apr 2019

Conference

ConferenceIEEE International Conference On Artificial Intelligence Testing
Abbreviated titleAITest
CountryUnited States
CityFremont
Period4/04/199/04/19

Fingerprint

Navigation systems
Robots
Testing
Navigation
Economics

Fields of Expertise

  • Information, Communication & Computing

Cite this

Mühlbacher, C., Steinbauer, G., Reip, M., & Gspandl, S. (2019). Constraint-Based Testing of An Industrial Multi-Robot Navigation System. In 2019 IEEE International Conference On Artificial Intelligence Testing (AITest) (pp. 129-137) https://doi.org/10.1109/AITest.2019.00015

Constraint-Based Testing of An Industrial Multi-Robot Navigation System. / Mühlbacher, Clemens; Steinbauer, Gerald; Reip, Michael; Gspandl, Stephan.

2019 IEEE International Conference On Artificial Intelligence Testing (AITest). 2019. p. 129-137.

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

Mühlbacher, C, Steinbauer, G, Reip, M & Gspandl, S 2019, Constraint-Based Testing of An Industrial Multi-Robot Navigation System. in 2019 IEEE International Conference On Artificial Intelligence Testing (AITest). pp. 129-137, IEEE International Conference On Artificial Intelligence Testing, Fremont, United States, 4/04/19. https://doi.org/10.1109/AITest.2019.00015
Mühlbacher C, Steinbauer G, Reip M, Gspandl S. Constraint-Based Testing of An Industrial Multi-Robot Navigation System. In 2019 IEEE International Conference On Artificial Intelligence Testing (AITest). 2019. p. 129-137 https://doi.org/10.1109/AITest.2019.00015
Mühlbacher, Clemens ; Steinbauer, Gerald ; Reip, Michael ; Gspandl, Stephan. / Constraint-Based Testing of An Industrial Multi-Robot Navigation System. 2019 IEEE International Conference On Artificial Intelligence Testing (AITest). 2019. pp. 129-137
@inproceedings{a7da46640fe44ad58a7a89e351456f04,
title = "Constraint-Based Testing of An Industrial Multi-Robot Navigation System",
abstract = "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.",
author = "Clemens M{\"u}hlbacher and Gerald Steinbauer and Michael Reip and Stephan Gspandl",
year = "2019",
doi = "10.1109/AITest.2019.00015",
language = "English",
pages = "129--137",
booktitle = "2019 IEEE International Conference On Artificial Intelligence Testing (AITest)",

}

TY - GEN

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

AU - Mühlbacher, Clemens

AU - Steinbauer, Gerald

AU - Reip, Michael

AU - Gspandl, Stephan

PY - 2019

Y1 - 2019

N2 - 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.

AB - 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.

U2 - 10.1109/AITest.2019.00015

DO - 10.1109/AITest.2019.00015

M3 - Conference contribution

SP - 129

EP - 137

BT - 2019 IEEE International Conference On Artificial Intelligence Testing (AITest)

ER -