Toward an Embedded Multi-agent System Methodology and Positioning on Testing

Like all systems, multi-agent systems need to be verified during the design cycle. But the test of multi-agent systems is more diffi-cult than the test of classic software. Indeed, it implies to test more than agent functionalities: individual agent behavior, inter-action between agents and global system need to be tested. Sever-al testing methods compensate these difficulties, but do not cover all the aspects of multi-agent systems. In this paper, we compare software testing and multi-agent systems testing and particularly in embedded context. Then major multi-agent system testing techniques are analyzed, with the AEIO facets for multi-agent systems. Finally, we propose a strategy to conduct the testing activity for embedded MAS.

[1]  Holger Knublauch,et al.  Extreme programming of multi-agent systems , 2002, AAMAS '02.

[2]  Jean-Paul Jamont,et al.  Meeting the challenges of decentralised embedded applications using multi-agent systems , 2015, Int. J. Agent Oriented Softw. Eng..

[3]  Aamer Nadeem,et al.  Improved Genetic Algorithm to Reduce Mutation Testing Cost , 2017, IEEE Access.

[4]  Yun Peng,et al.  Agent communication languages: the current landscape , 1999, IEEE Intell. Syst..

[5]  Rob Alexander,et al.  Semantic Mutation Testing for Multi-agent Systems , 2015, EMAS@AAMAS.

[6]  Angelo Ferrando,et al.  MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols , 2016, WOA.

[7]  Jean-Paul Jamont,et al.  DIAMOND : Une approche pour la conception de systèmes multi-agents embarqués. (Diamond : an Embedded Multiagent Systems Design Approach) , 2005 .

[8]  Koen V. Hindriks,et al.  Using Automatic Failure Detection for Cognitive Agents in Eclipse (AAMAS 2016 DEMONSTRATION) , 2016, EMAS@AAMAS.

[9]  John Clark,et al.  Mutation Testing for Jason Agents , 2014, EMAS@AAMAS.

[10]  Mohammed Redjimi,et al.  MATT: Multi Agents Testing Tool Based Nets within Nets , 2016 .

[11]  S. L. Gerhart,et al.  Toward a theory of test data selection , 1975, IEEE Transactions on Software Engineering.

[12]  Koen V. Hindriks,et al.  Automating failure detection in cognitive agent programs , 2018 .

[13]  Jean-Paul Jamont,et al.  A multiagent approach to manage communication in wireless instrumentation systems , 2010 .

[14]  K. Suzanne Barber,et al.  Debugging Agent Behavior in an Implemented Agent System , 2004, PROMAS.

[15]  Anna Perini,et al.  Ontology-based test generation for multiagent systems , 2008, AAMAS.

[16]  Carlos Angel Iglesias,et al.  Beast methodology: An agile testing methodology for multi-agent systems based on behaviour driven development , 2013, Information Systems Frontiers.

[17]  Antonio F. Gómez-Skarmeta,et al.  ACLAnalyser: A Tool for Debugging Multi-Agent Systems , 2004, ECAI.

[18]  Oguz Dikenelli,et al.  Goal-Oriented Agent Testing Revisited , 2009, AOSE.

[19]  Amandeep Kaur,et al.  Goal Oriented Acceptance Testing For Multi Agent System: V-Model Extension , 2013 .

[20]  Michael Winikoff,et al.  Mutation Operators for the Goal Agent Language , 2013, EMAS@AAMAS.

[21]  Khaled Nagi,et al.  Designing multi-agent unit tests using systematic test design patterns-(extended version) , 2013, Eng. Appl. Artif. Intell..

[22]  Jean-Paul Jamont,et al.  About cooperation of multiagent collective products: An approach in the context of cyber-physical systems , 2016, 2016 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF).

[23]  Anna Perini,et al.  Goal-oriented testing for MASs , 2010, Int. J. Agent Oriented Softw. Eng..

[24]  Yasushi Kambayashi,et al.  Distributed formation control for swarm robots using mobile agents , 2015, 2015 IEEE 10th Jubilee International Symposium on Applied Computational Intelligence and Informatics.

[25]  Uirá Kulesza,et al.  Unit testing in multi-agent systems using mock agents and aspects , 2006, SELMAS '06.

[26]  Laurent Lefèvre,et al.  Asynchronous information consensus in distributed control of irrigation canals , 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

[27]  Tao Zhang,et al.  Test Model and Coverage Analysis for Location-based Mobile Services , 2015, SEKE.

[28]  Timothy W. Finin,et al.  Semantics for an Agent Communication Language , 1997, ATAL.