A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages
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.
Unable to display preview. Download preview PDF.
- 3.Lankenau, A., Meyer, O.: Formal methods in robotics: Fault tree based verification. In: Proc. Quality Week Europe, Brussels, Belgium (1999)Google Scholar
- 4.Lankenau, A., Röfer, T.: A safe and versatile mobility assistant. reinventing the wheelchair. IEEE Robotics and Automation Magazine, 29–37 (2001)Google Scholar
- 6.Goldberg, D., Mataric, M.: Design and evaluation of robust behavior-based controllers for distributed multi-robot collection tasks. Robot Teams: From Diversity to Polymorphism (2001)Google Scholar
- 7.Lüth, C., Krieg-Brückner, B.: Sicherheit in der künstlichen intelligenz. Künstliche Intelligenz 21(1), 51–52 (2007)Google Scholar
- 8.Prowell, S.: Using markov chain usage models to test complex systems. In: Proceedings of the 38th Annual Hawaii International Conference on System Sciences, HICSS 2005, p. 318c (January 2005)Google Scholar
- 9.Hussain, T., Eschbach, R.: Statistical testing of iec 61499 compliant software components. In: Proceedings of INCOM 2009 (2009)Google Scholar
- 10.Prowell, S., Poore, J.: Foundations of sequence-based software specification 29(5), 417–429 (May 2003)Google Scholar
- 12.Kloos, J., Eschbach, R.: Generating system models for a highly configurable train control system using a domain-specific language: A case study. In: Proceedings of A-MOST 2009 (2009)Google Scholar
- 13.Proetzsch, M., Luksch, T., Berns, K.: Development of complex robotic systems using the behavior-based control architecture iB2C. Robotics and Autonomous Systems 58(1) (2010)Google Scholar
- 14.Braun, T., Wettach, J., Berns, K.: A customizable, multi-host simulation and visualization framework for robot applications. In: 13th International Conference on Advanced Robotics (ICAR 2007), Jeju, Korea, August 21-24, pp. 1105–1110 (2007)Google Scholar