Testes em sistemas multiagentes sob modelo organizacional Moise+

Abstract

A fase de teste é uma etapa crucial para buscar a correção de todo sistema de software de modo a dar garantias de funcionamento e segurança para os usuários. Porém o teste em Sistemas Multiagentes (SMA) é uma tarefa desafiadora devido ao comportamento autônomo, proativo e não-determinístico dos agentes, o que faz com que seja muito difícil prever todas as possibilidades de cenários necessários para sua completa validação. Quanto a dimensão social na concepção de SMA's, modelos organizacionais impõem restrições à atuação dos agentes que o constituem, coordenando ações e estabelecendo regras de comportamento. Apesar do nível maior de controle sobre os agentes, o sistema não fica livre de comportamentos imprevisíveis que fogem ao controle do projetista. Assim técnicas de teste voltadas especificamente para SMA se justificam para aumentar a confiabilidade da aplicação. Nesse trabalho é apresentado um método para o dimensionamento e sistemática de testes em SMA especificados sob o modelo organizacional Moise+. Para isso, propõe-se um mapeamento em uma Rede de Petri Colorida que dimensiona o número de testes necessários à validação de uma especificação Moise+, e uma sistemática para a geração dos casos de testes. A validação deu-se através de testes de sistema utilizando casos de testes gerados a partir de exemplos clássicos na literatura sobre Moise+. O resultado é uma metodologia de testes para o nível social de SMA's especificados através deste modelo organizacional.

The test phase is a crucial step to seek the correction of the entire software system in order to provide guarantees of operation and safety for users. However, testing in Multi-Agent Systems (MAS) is a challenging task due to the autonomous, proactive and non-deterministic behavior of agents, which makes it very difficult to predict all the possible scenarios necessary for its complete validation. As for the social dimension in the conception of MAS, organizational models impose restrictions on the performance of the agents that constitute it, coordinating actions and establishing rules of behavior. Despite the greater level of control over agents, the system is not free from unpredictable behaviors that are beyond the control of the designer. Thus, testing techniques aimed specifically at SMA are justified to increase the reliability of the application. This work presents a method for the dimensioning and systematic testing of MAS specified under the Moise+ organizational model. For this, is proposed a mapping in a Coloured Petri Net that scales the number of tests necessary to validate a Moise+ specification, and a systematic way to generate test cases. The validation took place through system tests using test cases generated from classic examples in the literature about Moise+. The result is a testing methodology for the social level of MAS.