MATE: An Automated Organization-Driven Testing Environment for JaCaMo Multi-Agent Systems
Resumo
A validação da camada organizacional de Sistemas Multiagentes (SMA) permanece um problema em aberto. A maioria das abordagens existentes concentra-se em agentes individuais ou em protocolos de comunicação entre pares, deixando o nível social (que governa metas coletivas, atribuições de papéis e obrigações de missões) sem suporte sistemático de verificação. Este artigo apresenta o MATE, um ambiente de teste automatizado que deriva casos de teste organizacionais executáveis diretamente a partir de especificações Moise+ codificadas em formato XML, sem exigir ferramentas externas de modelagem, como simuladores de Redes de Petri Coloridas. O MATE (Multi-Agent Testing Enviroment)implementa uma travessia all-paths da árvore de decomposição de metas do esquema funcional, complementada por um eixo de variação deôntica que enumera executores alternativos para missões com múltiplos papéis obrigados. Os casos de teste gerados são automaticamente materializados como arquivos de agentes AgentSpeak e executados contra uma instância JaCaMo em execução, com classificação de aprovação/reprovação baseada na observação em tempo de execução dos estados das metas organizacionais. Aplicado a um cenário Moise+ representativo, o MATE gerou e executou 108 casos de teste de forma totalmente automática, reproduzindo a cobertura prevista pelo método formal baseado em RPC e eliminando sua dependência de ferramentas externas. Os resultados expuseram uma falha organizacional sistemática não detectável apenas a partir da especificação: todas as configurações envolvendo especializações concorrentes falharam em satisfazer a meta raiz.
Referências
Bordini, R. H., Hübner, J. F., and Wooldridge, M. (2007). Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley.
Gonçalves, E. M. N., Machado, R. A., Rodrigues, B. C., and Adamatti, D. (2022). CPN4M: Testing multi-agent systems under organizational model Moise+ using colored Petri nets. Applied Sciences, 12(7):3508.
Houhamdi, Z. (2011). Multi-agent system testing: A survey. International Journal of Advanced Computer Science and Applications (IJACSA), 2(6):135–141.
Hübner, J. F., Sichman, J. S., and Boissier, O. (2007). Developing organised multiagent systems using the Moise+ model: Programming issues at the system and agent levels. International Journal of Agent-Oriented Software Engineering (IJAOSE), 1(3–4):370–395.
Jennings, N. R., Sycara, K., and Wooldridge, M. (1998). A roadmap of agent research and development. Autonomous Agents and Multi-Agent Systems, 1(1):7–38.
Machado, R., Zelindro, A., Farias, G., Adamatti, D., and Gonçalves, E. (2024). MAMTCPN: Moise automated mapping to colored Petri net. In Proceedings of the Intelligent Systems Conference (IntelliSys 2024), volume 1067 of Lecture Notes on Data Engineering and Communications Technologies, pages 24–37. Springer Nature Switzerland AG.
Machado, R. A. (2024). Testes a Nível Organizacional em Sistemas Multiagente utilizando Redes de Petri Coloridas. Tese (Doutorado em Modelagem Computacional), Universidade Federal do Rio Grande (FURG), Rio Grande, RS, Brasil.
Machado, R. A., Adamatti, D. F., and Gonçalves, E. M. (2023). Improving the mapping of Moise to colored Petri nets. In Anais do XVII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC 2023), pages 91–100, Porto Alegre, RS, Brasil. SBC.
Machado, R. A., Cardoso, A. d. S. Z., Farias, G. P., Gonçalves, E. M. N., and Adamatti, D. F. (2025). A formal testing method for multi-agent systems using colored Petri nets. Autonomous Agents and Multi-Agent Systems, 39(1):10.
Menassel, Y., Marir, T., Mokhati, F., and Gupta, V. (2024). Operational profile-based test case generation for normative MAS. SSRN Electronic Journal.
Winikoff, M. (2017). Bdi agent testability revisited. Autonomous Agents and Multi-Agent Systems, 31(5):1094–1132.
