Testabilidade de sistemas multiagentes organizados usando o modelo Moise : uma abordagem com Redes de Petri

Detalhes bibliográficos
Autor(a) principal: Rodrigues, Bruno Coelho
Data de Publicação: 2018
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da FURG (RI FURG)
Texto Completo: http://repositorio.furg.br/handle/1/8125
Resumo: 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.
id FURG_db6a9d53ae8d4d29be2ab938c4561351
oai_identifier_str oai:repositorio.furg.br:1/8125
network_acronym_str FURG
network_name_str Repositório Institucional da FURG (RI FURG)
repository_id_str
spelling Rodrigues, Bruno CoelhoGoncalves, Eder Mateus Nunes2020-01-20T14:19:43Z2020-01-20T14:19:43Z2018RODRIGUES, 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.http://repositorio.furg.br/handle/1/8125Os 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.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.porEngenharia de computaçãoSistemas multiagentesRedes de PetriModelos organizacionaisTeste e avaliação de softwareFalseabilidadeComputer engineeringMultiagent systemsPetri netsOrganizational modelsTestabilitySoftware testing and evaluationTestabilidade de sistemas multiagentes organizados usando o modelo Moise : uma abordagem com Redes de PetriTestability of multiagent systems organized using the Moise model : an approach with Petri nets.info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da FURG (RI FURG)instname:Universidade Federal do Rio Grande (FURG)instacron:FURGORIGINAL14.pdf14.pdfapplication/pdf2997982https://repositorio.furg.br/bitstream/1/8125/1/14.pdf3a36cd102249d3c874f0fcb5dfdf0498MD51open accessLICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://repositorio.furg.br/bitstream/1/8125/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52open access1/81252020-01-20 11:19:43.976open accessoai:repositorio.furg.br:1/8125Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalPUBhttps://repositorio.furg.br/oai/request || http://200.19.254.174/oai/requestopendoar:2020-01-20T14:19:43Repositório Institucional da FURG (RI FURG) - Universidade Federal do Rio Grande (FURG)false
dc.title.pt_BR.fl_str_mv Testabilidade de sistemas multiagentes organizados usando o modelo Moise : uma abordagem com Redes de Petri
dc.title.alternative.pt_BR.fl_str_mv Testability of multiagent systems organized using the Moise model : an approach with Petri nets.
title Testabilidade de sistemas multiagentes organizados usando o modelo Moise : uma abordagem com Redes de Petri
spellingShingle Testabilidade de sistemas multiagentes organizados usando o modelo Moise : uma abordagem com Redes de Petri
Rodrigues, Bruno Coelho
Engenharia de computação
Sistemas multiagentes
Redes de Petri
Modelos organizacionais
Teste e avaliação de software
Falseabilidade
Computer engineering
Multiagent systems
Petri nets
Organizational models
Testability
Software testing and evaluation
title_short Testabilidade de sistemas multiagentes organizados usando o modelo Moise : uma abordagem com Redes de Petri
title_full Testabilidade de sistemas multiagentes organizados usando o modelo Moise : uma abordagem com Redes de Petri
title_fullStr Testabilidade de sistemas multiagentes organizados usando o modelo Moise : uma abordagem com Redes de Petri
title_full_unstemmed Testabilidade de sistemas multiagentes organizados usando o modelo Moise : uma abordagem com Redes de Petri
title_sort Testabilidade de sistemas multiagentes organizados usando o modelo Moise : uma abordagem com Redes de Petri
author Rodrigues, Bruno Coelho
author_facet Rodrigues, Bruno Coelho
author_role author
dc.contributor.author.fl_str_mv Rodrigues, Bruno Coelho
dc.contributor.advisor1.fl_str_mv Goncalves, Eder Mateus Nunes
contributor_str_mv Goncalves, Eder Mateus Nunes
dc.subject.por.fl_str_mv Engenharia de computação
Sistemas multiagentes
Redes de Petri
Modelos organizacionais
Teste e avaliação de software
Falseabilidade
Computer engineering
Multiagent systems
Petri nets
Organizational models
Testability
Software testing and evaluation
topic Engenharia de computação
Sistemas multiagentes
Redes de Petri
Modelos organizacionais
Teste e avaliação de software
Falseabilidade
Computer engineering
Multiagent systems
Petri nets
Organizational models
Testability
Software testing and evaluation
description 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.
publishDate 2018
dc.date.issued.fl_str_mv 2018
dc.date.accessioned.fl_str_mv 2020-01-20T14:19:43Z
dc.date.available.fl_str_mv 2020-01-20T14:19:43Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv 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.
dc.identifier.uri.fl_str_mv http://repositorio.furg.br/handle/1/8125
identifier_str_mv 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.
url http://repositorio.furg.br/handle/1/8125
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Repositório Institucional da FURG (RI FURG)
instname:Universidade Federal do Rio Grande (FURG)
instacron:FURG
instname_str Universidade Federal do Rio Grande (FURG)
instacron_str FURG
institution FURG
reponame_str Repositório Institucional da FURG (RI FURG)
collection Repositório Institucional da FURG (RI FURG)
bitstream.url.fl_str_mv https://repositorio.furg.br/bitstream/1/8125/1/14.pdf
https://repositorio.furg.br/bitstream/1/8125/2/license.txt
bitstream.checksum.fl_str_mv 3a36cd102249d3c874f0fcb5dfdf0498
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da FURG (RI FURG) - Universidade Federal do Rio Grande (FURG)
repository.mail.fl_str_mv
_version_ 1798313583229009920

Registros relacionados