The virtual lands of Oz: testing an agribot in simulation

Testing autonomous robots typically requires expensive test campaigns in the field. To alleviate them, a promising approach is to perform intensive tests in virtual environments. This paper presents an industrial case study on the feasibility and effectiveness of such an approach. The subject system is Oz, an agriculture robot for autonomous weeding. Its software was tested with weeding missions in virtual crop fields, using a 3D simulator based on Gazebo. The case study faced several challenges: the randomized generation of complex 3D environments, the automated checking of the robot behavior (test oracle), and the imperfect fidelity of simulation with respect to real-world behavior. We describe the test approach we developed, and compare the results with the ones of the industrial field tests. Despite the low-fidelity physics of the robot, the virtual tests revealed most software issues found in the field, including a major one that caused the majority of failures; they also revealed a new issue missed in the field. On the downside, the simulation could introduce spurious failures that would not occur in the real world.

[1]  Jérémie Guiochet,et al.  Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study , 2017, 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS).

[2]  John McDermid,et al.  Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search , 2014, SAFECOMP.

[3]  Oliver Zendel,et al.  How Good Is My Test Data? Introducing Safety Analysis for Computer Vision , 2017, International Journal of Computer Vision.

[4]  Andreas Lamprecht,et al.  Simulation Process for Vehicle Applications Depending on Alternative Driving Routes Between Real-World Locations , 2010 .

[5]  Anneliese Amschler Andrews,et al.  World model for testing Urban Search and Rescue (USAR) robots using Petri Nets , 2016, 2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

[6]  Andrew Howard,et al.  Design and use paradigms for Gazebo, an open-source multi-robot simulator , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).

[7]  Zoltán Szatmári,et al.  A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems , 2012, KES-AMSTA.

[8]  Christoph Schulze,et al.  Metamorphic Model-Based Testing of Autonomous Systems , 2017, 2017 IEEE/ACM 2nd International Workshop on Metamorphic Testing (MET).

[9]  Franz Wotawa,et al.  Using Ontologies for Test Suites Generation for Automated and Autonomous Driving Functions , 2018, 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

[10]  Michael Luck,et al.  Evolutionary testing of autonomous software agents , 2009, Autonomous Agents and Multi-Agent Systems.

[11]  Tsong Yueh Chen Metamorphic Testing: A Simple Method for Alleviating the Test Oracle Problem , 2015, 2015 IEEE/ACM 10th International Workshop on Automation of Software Test.

[12]  Ralf Kohlhaas,et al.  Data-driven simulation and parametrization of traffic scenarios for the development of advanced driver assistance systems , 2015, 2015 18th International Conference on Information Fusion (Fusion).

[13]  Eric Sax,et al.  Test scenario selection for system-level verification and validation of geolocation-dependent automotive control systems , 2017, 2017 International Conference on Engineering, Technology and Innovation (ICE/ITMC).

[14]  Sarfraz Khurshid,et al.  DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems , 2018, 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).

[15]  James Arnold,et al.  Testing Autonomous Robot Control Software Using Procedural Content Generation , 2013, SAFECOMP.

[16]  Suman Jana,et al.  DeepTest: Automated Testing of Deep-Neural-Network-Driven Autonomous Cars , 2017, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).

[17]  Gilberto Echeverria,et al.  Modular open robots simulation engine: MORSE , 2011, 2011 IEEE International Conference on Robotics and Automation.

[18]  Afsoon Afzal,et al.  Crashing Simulated Planes is Cheap: Can Simulation Detect Robotics Bugs Early? , 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).

[19]  Christoph Schulze,et al.  Metamorphic model-based testing of autonomous systems , 2017 .

[20]  Hermann Winner,et al.  Concept and development of a unified ontology for generating test and use-case catalogues for assisted and automated vehicle guidance , 2014 .

[21]  Lionel C. Briand,et al.  Testing advanced driver assistance systems using multi-objective search and neural networks , 2016, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).

[22]  Marc Stamminger,et al.  A method for the reproduction of vehicle test drives for the simulation based evaluation of image processing algorithms , 2010, 13th International IEEE Conference on Intelligent Transportation Systems.

[23]  Lionel C. Briand,et al.  Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors , 2019, ESEC/SIGSOFT FSE.

[24]  Lionel C. Briand,et al.  Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms , 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).

[25]  Ulrich Eberle,et al.  Simulation-Based Identification of Critical Scenarios for Cooperative and Automated Vehicles , 2018 .

[26]  Fabian Schuldt,et al.  Defining and Substantiating the Terms Scene, Situation, and Scenario for Automated Driving , 2015, 2015 IEEE 18th International Conference on Intelligent Transportation Systems.

[27]  Jérémie Guiochet,et al.  Virtual Worlds for Testing Robot Navigation: A Study on the Difficulty Level , 2016, 2016 12th European Dependable Computing Conference (EDCC).

[28]  Julian Togelius,et al.  Search-Based Procedural Content Generation: A Taxonomy and Survey , 2011, IEEE Transactions on Computational Intelligence and AI in Games.

[29]  Oliver Zendel,et al.  VITRO - Model based vision testing for robustness , 2013, IEEE ISR 2013.