MATT: Multi Agents Testing Tool Based Nets within Nets

Abstract

Testing is a software development activity, devoted to evaluating product quality and improving it by identifying defects and problems. Concerning multi agent systems, testing is a challenging task, which asks for new testing techniques dealing with their specific nature. The techniques need to be effective and adequate to evaluate agent’s autonomous behaviors and build confidence in them. The "Model Based Testing" (MBT) is a technique particularly interested among all existing solutions of tests. This latter is based on a system model, which produces abstract test cases. To run these last ones against systems under test,the abstract test cases have to be transformed to concrete ones. As part of this effort, we propose a model based testing approach for multi agent systems based on such a model called Reference net, where a tool, which aims to providing a uniform and automated approach is developed. The feasibility and the advantage of the proposed approach are shown through a short case study.

Uma ferramenta para mapeamento de sistemas multiagente em redes de petri coloridas

“…Em (Kerraoui et al, 2016), uma abordagem para testes em SMA com base em modelos foi demonstrada. Inicialmente, um modelo é gerado e validado para representar o comportamento do sistema por meio de uma rede de Petri de alto nível.…”

Towards a Meta-Modeling and Verification Approach of Multi-Agent Systems Based on the Agent Petri Net Formalism

“…Petri nets are considered as an excellent tool that can be used to model and analyze discrete event systems [3,5]. Several Petri net extensions have been proposed and implemented including: Colored Petri Nets (CPN) [6,7] Nets Within Nets (NWN) [7,9], Nested Petri Nets (NPN) [10,11] and object petri nets [12]. On the other hand, the multi-agent systems (MAS) offer an interesting solution for mastering, optimizing and controlling the complexity of large systems [13,14].…”