Proetzsch10b  |
| BibTeX Type: | incollection |
| Category: | behaviour |
| Author*: | Martin Proetzsch and Fabian Zimmermann and Robert Eschbach and Johannes Kloos and Karsten Berns |
| Title*: | A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages |
| Booktitle*: | KI 2010: Advances in Artificial Intelligence |
| Year*: | 2010 |
| Pages: | 317-324 |
| Publisher: | Springer Berlin / Heidelberg |
| Editor: | Dillmann, Rüdiger and Beyerer, Jürgen and Hanebeck, Uwe and Schultz, Tanja |
| Volume: | 6359 |
| Series: | Lecture Notes in Computer Science |
| Agrosy Keywords: | martin ravon berns agrosy |
| 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. |
| * marks obligatory BibTeX fields |
BibTeX Entry:
@incollection{Proetzsch10b,
author = {Martin Proetzsch and Fabian Zimmermann and Robert Eschbach and Johannes Kloos and Karsten Berns},
title = {A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages},
booktitle = {KI 2010: Advances in Artificial Intelligence},
year = {2010},
pages = {317-324},
publisher = {Springer Berlin / Heidelberg},
editor = {Dillmann, R\"{u}diger and Beyerer, J\"{u}rgen and Hanebeck, Uwe and Schultz, Tanja},
volume = {6359},
series = {Lecture Notes in Computer Science},
}
Meta Data
|
|
