Evolving test environments to identify faults in swarm robotics algorithms

Swarm robotic systems are often considered to be dependable. However, there is little empirical evidence or theoretical analysis showing that dependability is an inherent property of all swarm robotic system. Recent literature has identified potential issues with respect to dependability within certain types of swarm robotic algorithms. There appears to be a dearth of literature relating to the testing of swarm robotic systems; this provides motivation for the development of the novel testing methods for swarm robotic systems presented in this paper. We present a search based approach, using genetic algorithms, for the automated identification of unintended behaviors during the execution of a flocking type algorithm, implemented on a simulated robotic swarm. Results show that this proposed approach is able to reveal faults in such flocking algorithms and has the potential to be used in further swarm robotic applications.

[1]  Amanda J. C. Sharkey,et al.  Swarm robotics , 2014, Scholarpedia.

[2]  Carlos Urias Munoz,et al.  Automatic Generation of Random Self-Checking Test Cases , 1983, IBM Syst. J..

[3]  Vicsek,et al.  Novel type of phase transition in a system of self-driven particles. , 1995, Physical review letters.

[4]  Thomas Schmickl,et al.  A Minimalist Flocking Algorithm for Swarm Robots , 2009, ECAL.

[5]  Dorothea Heiss-Czedik,et al.  An Introduction to Genetic Algorithms. , 1997, Artificial Life.

[6]  Reza Olfati-Saber,et al.  Flocking for multi-agent dynamic systems: algorithms and theory , 2006, IEEE Transactions on Automatic Control.

[7]  Paul S. Andrews,et al.  Applying spartan to Understand Parameter Uncertainty in Simulations , 2014, R J..

[8]  Naixue Xiong,et al.  A Survey on Decentralized Flocking Schemes for a Set of Autonomous Mobile Robots 1 , 2010 .

[9]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[10]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[11]  Eliseo Ferrante,et al.  ARGoS: A modular, multi-engine simulator for heterogeneous swarm robotics , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[12]  Craig W. Reynolds.  Flocks, herds, and schools: a distributed behavioral model , 1987, SIGGRAPH.

[13]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[14]  Anders Lyhne Christensen,et al.  Self-assembly strategies in a group of autonomous mobile robots , 2010, Auton. Robots.

[15]  Tai-hoon Kim,et al.  Application of Genetic Algorithm in Software Testing , 2009 .

[16]  Christian Jacob,et al.  Evolutionary exploration of dynamic swarm behaviour , 2003, The 2003 Congress on Evolutionary Computation, 2003. CEC '03..

[17]  Barton P. Miller,et al.  An empirical study of the robustness of Windows NT applications using random testing , 2000 .

[18]  Alan F. T. Winfield,et al.  Towards dependable swarms and a new discipline of swarm engineering , 2004 .

[19]  Jonathan Timmis,et al.  Spartan: A Comprehensive Tool for Understanding Uncertainty in Simulations of Biological Systems , 2013, PLoS Comput. Biol..

[20]  A. Vargha,et al.  A Critique and Improvement of the CL Common Language Effect Size Statistics of McGraw and Wong , 2000 .

[21]  Gianluca Antonelli,et al.  Flocking for multi-robot systems via the Null-Space-based Behavioral control , 2010, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[22]  Koushik Sen,et al.  DART: directed automated random testing , 2005, PLDI '05.

[23]  Frédéric Gruau,et al.  Automatic Definition of Modular Neural Networks , 1994, Adapt. Behav..

[24]  Luca Maria Gambardella,et al.  Evolving Self-Organizing Behaviors for a Swarm-Bot , 2004, Auton. Robots.

[25]  Dongbing Gu,et al.  Using Fuzzy Logic to Design Separation Function in Flocking Algorithms , 2008, IEEE Transactions on Fuzzy Systems.

[26]  Luciano Baresi,et al.  An Introduction to Software Testing , 2006, FoVMT.

[27]  Naixue Xiong,et al.  A Survey on Decentralized Flocking Schemes for a Set of Autonomous Mobile Robots (Invited Paper) , 2010, J. Commun..

[28]  Petter Ögren,et al.  Flocking with Obstacle Avoidance: A New Distributed Coordination Algorithm Based on Voronoi Partitions , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[29]  A. Jefferson Offutt,et al.  Introduction to Software Testing , 2008 .

[30]  Alan F. T. Winfield,et al.  Safety in numbers: fault-tolerance in robot swarms , 2006, Int. J. Model. Identif. Control..

[31]  A. Mogilner,et al.  Spatio-angular order in populations of self-aligning objects: formation of oriented patches , 1996 .