Testes a nível organizacional em sistemas multiagente utilizando redes de Petri coloridas
Autor: Ricardo Arend Machado (Currículo Lattes)
Resumo
Os Sistemas Multiagente são sistemas distribuídos que consistem em agentes que interagem de forma autônoma entre si em um ambiente para realizar tarefas e atingir objetivos. A fase de teste é uma etapa crucial para buscar a correção de todo o sistema de software para oferecer garantias de funcionamento e segurança aos usuários. No entanto, aplicações baseadas em sistemas multiagente têm maior dificuldade de serem testadas, devido às suas propriedades como autonomia, reatividade, pró-atividade e habilidades sociais, e existe uma lacuna na literatura no que diz respeito ao teste de sistemas com essas características. Assim torna-se importante o desenvolvimento de ferramentas para testes nesses sistemas, visando aumentar as opções disponíveis para garantir uma mais ampla cobertura. Em trabalho anterior foi apresentada uma abordagem para testes em sistemas multiagente que utilizam o modelo organizacional Moise+, onde são gerados casos de teste utilizando redes de Petri coloridas para mapeamento do sistema em um modelo formal. Diante disso, propõe-se nessa tese de doutorado estender o modelo através da inclusão de grupos organizacionais, as cardinalidades que indicam a quantidade máxima e mínima de agentes para realizar uma missão, realizar uma descrição detalhada das etapas de mapeamento com a inclusão de axiomas, o que permite o desenvolvimento de uma ferramenta que automatize as etapas necessárias desse mapeamento. Ao final, um caso de uso foi utilizado como exemplo de funcionamento do modelo proposto, com a realização de testes de execução, utilizando os casos de testes gerados.