Show simple item record

dc.contributor.advisor Gonçalves, Eder Mateus Nunes
dc.contributor.author Rodrigues, Bruno Coelho
dc.date.accessioned 2020-01-20T14:19:43Z
dc.date.available 2020-01-20T14:19:43Z
dc.date.issued 2018
dc.identifier.citation RODRIGUES, Bruno Coelho. Testabilidade de sistemas multiagentes organizados usando o modelo Moise : uma abordagem com Redes de Petri. 2018. 69 f. Dissertação (Mestrado em Engenharia da Computação) – Centro de Ciências Computacionais, Universidade Federal do Rio Grande, Rio Grande, 2018. pt_BR
dc.identifier.uri http://repositorio.furg.br/handle/1/8125
dc.description.abstract Os Sistemas Multiagentes (SMA) possuem propriedades que dificultam prever completamente seus comportamentos. Para limitar comportamentos atípicos, modelos organizacionais, como o Moise, podem ser empregados para especificar o sistema a partir de um modelo de organização. Estes modelos estruturam os agentes em grupos, onde os membros destes grupos possuem papéis a desempenhar e restrições a obedecer. Mesmo com este nível de controle sobre os SMA, comportamentos inesperados podem surgir. Para garantir que comportamentos imprevistos não prejudiquem o funcionamento do sistema, e assegurar que software cumpra com os requisitos previstos, técnicas de teste de software podem ser empregadas como uma das ferramentas. Entretanto, para garantir uma melhor cobertura possível do sistema, com os recursos disponíveis, estratégias específicas devem ser tomadas, e para isso é necessário avaliar a testabilidade do sistema, ou seja saber o esforço necessário para testar adequadamente um programa. O objetivo principal deste trabalho é desenvolver um método para avaliar a testabilidade de SMA que empregam o modelo de organização Moise, utilizando Rede de Petri (RP) como ferramenta de descrição e análise, onde as especificações do modelo Moise do SMA devem ser mapeado para Redes de Petri para realizar a análise. O resultado indica o número de cenários de testes necessários para garantir através da abordagem todos os caminhos uma boa cobertura testes. pt_BR
dc.description.abstract Multiagent Systems (MAS) have properties that make it difficult to fully predict their behavior. To limit atypical behavior, organizational models such as Moise can be employed to specify the system from an organizational model. These models structure the agents into groups, where members of these groups have roles to play and constraints to obey. Even with this level of control over MAS, unexpected behaviors may arise. To ensure that unforeseen behaviors do not adversely affect the operation of the system, and to ensure that the software meets the intended requirements, software testing techniques can be employed as one of the tools. However, in order to ensure a better possible coverage of the system, with the available resources, specific strategies must be taken, and for this, it is necessary to evaluate the system's testability, that is, the effort required to adequately test a program. The main objective of this work is to develop a method to evaluate the testability of MAS using the Moise organization model, using Petri Net (PN) as a description and analysis tool, where the specifications of the Moise model of the MAS should be mapped to PN to carry out the analysis. The result indicates the number of test scenarios required to ensure through the approach all paths, a good test coverage. pt_BR
dc.language.iso por pt_BR
dc.rights open access pt_BR
dc.subject Engenharia de computação pt_BR
dc.subject Sistemas multiagentes pt_BR
dc.subject Redes de Petri pt_BR
dc.subject Modelos organizacionais pt_BR
dc.subject Teste e avaliação de software pt_BR
dc.subject Falseabilidade pt_BR
dc.subject Computer engineering pt_BR
dc.subject Multiagent systems pt_BR
dc.subject Petri nets pt_BR
dc.subject Organizational models pt_BR
dc.subject Testability pt_BR
dc.subject Software testing and evaluation pt_BR
dc.title Testabilidade de sistemas multiagentes organizados usando o modelo Moise : uma abordagem com Redes de Petri pt_BR
dc.title.alternative Testability of multiagent systems organized using the Moise model : an approach with Petri nets. pt_BR
dc.type masterThesis pt_BR


Files in this item

This item appears in the following Collection(s)

:

  • C3 - Mestrado em Engenharia da Computação
  • Show simple item record