A systematic testing approach for autonomousm mobile robots using domain-specific languages

Authors:
Martin Proetzsch;Fabian Zimmermann;Robert Eschbach;Johannes Kloos;Karsten Berns
Affiliations:
Robotics Research Lab, TU Kaiserslautern, Kaiserslautern, Germany;Department of Testing and Inspections, Fraunhofer IESE, Kaiserslautern, Germany;Department of Testing and Inspections, Fraunhofer IESE, Kaiserslautern, Germany;Department of Testing and Inspections, Fraunhofer IESE, Kaiserslautern, Germany;Robotics Research Lab, TU Kaiserslautern, Kaiserslautern, Germany
Venue:
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Year:
2010

Citing 7
Cited 0

Foundations of Sequence-Based Software Specification

IEEE Transactions on Software Engineering
Lessons Learned from Model Checking a NASA Robot Controller

Formal Methods in System Design
Using Markov Chain Usage Models to Test Complex Systems

HICSS '05 Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences - Volume 09
The impact of requirements changes on specifications and state machines

Software—Practice & Experience
Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study

ICSTW '09 Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops
Development of complex robotic systems using the behavior-based control architecture iB2C

Robotics and Autonomous Systems
Formal construction and verification of home service robots: a case study

ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

One aspect often neglected during the development of autonomous mobile robots is the systematic validation of their overall behavior. Especially large robots applied to real-world scenarios may cause injuries or even human death and must therefore be classified as safety-critical. In this paper, a generic approach to defining and executing purposeful test runs using domain-specific languages (dsls) is presented. Test cases can be defined in an appropriate test description language (first DSL). These test cases can be derived automatically using a model-based testing approach, for which a test model has to be created. Hence, a second dsl for the creation of the test model is presented. It is further shown how the generated test cases are automatically executed and evaluated. The paper concludes with the application of the approach to the autonomous off-road robot RAVON.