A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages

  • Martin Proetzsch
  • Fabian Zimmermann
  • Robert Eschbach
  • Johannes Kloos
  • Karsten Berns
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6359)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Sharygina, N., Browne, J., Xie, F., Kurshan, R., Levin, V.: Lessons learned from model checking a nasa robot controller. Form. Methods Syst. Des. 25(2-3), 241–270 (2004)CrossRefGoogle Scholar
  2. 2.
    Kim, M., Kang, K.C.: Formal construction and verification of home service robots: A case study. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol. 3707, pp. 429–443. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Lankenau, A., Meyer, O.: Formal methods in robotics: Fault tree based verification. In: Proc. Quality Week Europe, Brussels, Belgium (1999)Google Scholar
  4. 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
  5. 5.
    Rosenblatt, J.: Damn: A distributed architecture for mobile navigation. Journal of Experimental and Theoretical Artificial Intelligence 9, 339–360 (1997)CrossRefGoogle Scholar
  6. 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. 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. 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. 9.
    Hussain, T., Eschbach, R.: Statistical testing of iec 61499 compliant software components. In: Proceedings of INCOM 2009 (2009)Google Scholar
  10. 10.
    Prowell, S., Poore, J.: Foundations of sequence-based software specification 29(5), 417–429 (May 2003)Google Scholar
  11. 11.
    Lin, L., Prowell, S., Poore, J.: The impact of requirements changes on specifications and state machines. Softw. Pract. Exper. 39(6), 573–610 (2009)CrossRefGoogle Scholar
  12. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Martin Proetzsch
    • 1
  • Fabian Zimmermann
    • 2
  • Robert Eschbach
    • 2
  • Johannes Kloos
    • 2
  • Karsten Berns
    • 1
  1. 1.Robotics Research LabTU KaiserslauternKaiserslauternGermany
  2. 2.Department of Testing and InspectionsFraunhofer IESEKaiserslauternGermany

Personalised recommendations