Verificação de conformidade entre diagramas de sequência UML e código Java.

Detalhes bibliográficos
Ano de defesa: 2012
Autor(a) principal: RABELO JÚNIOR, Sebastião Estefânio Pinto. lattes
Orientador(a): RAMALHO, Franklin de Souza. lattes, GUERRERO, Dalton Dario Serey. lattes
Banca de defesa: MARINHO, Leandro Balby., REBOUÇAS, Ayla Débora Dantas de Souza.
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Campina Grande
Programa de Pós-Graduação: PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
Departamento: Centro de Engenharia Elétrica e Informática - CEEI
País: Brasil
Palavras-chave em Português:
Engenharia de software
Verificação de conformidade em programas
Diagramas UML
Código Java
Modelos comportamentais - software
Teste de software
Model Driven Architeture MDA
Conformance checking
Design tests
Unified Modeling Language
Área do conhecimento CNPq:
Ciência da Computação.
Link de acesso: https://dspace.sti.ufcg.edu.br/handle/riufcg/1626
Resumo: Atualmente, quando se fala em UML, temos os diagramas de sequência como o mais popular entre os diagramas usados para descrever aspectos comportamentais de um software. Por outro lado, temos Java como uma das linguagens orientadas a objetos mais usada no mundo. Entretanto, não encontramos em nossas pesquisas um meio sistêmico para a verificação automática de conformidade entre modelos comportamentais e o código desenvolvido para atender esse modelo. Nesta dissertação, nós desenvolvemos uma abordagem capaz de verificar- esse tipo de conformidade. O uso dessa abordagem permitirá ajudai- desenvolvedores, analistas, e gerentes de projeto a manter a documentação do software atualizada, além de possibilitar a existência de um novo ponto de vista a respeito de defeitos na implementação de um sistema. Para dar suporte a essa verificação de conformidade nós desenvolvemos uma ferramenta baseada em Model Driven Architecture (MDA) capaz de gerar os testes de conformidade aqui apresentados. Além disso, esta dissertação traz uma avaliação da abordagem desenvolvida, a qual apresenta os principais resultados obtidos.
id UFCG_54e491845d9b4689d3c0ffb1041dd8d0
oai_identifier_str oai:dspace.sti.ufcg.edu.br:riufcg/1626
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str
spelling RAMALHO, Franklin de Souza.RAMALHO, F. S.http://lattes.cnpq.br/2469816352786812GUERRERO, Dalton Dario Serey.GUERRERO, D. D. S.http://lattes.cnpq.br/2050632960242405MARINHO, Leandro Balby.REBOUÇAS, Ayla Débora Dantas de Souza.RABELO JÚNIOR, S. E. P.http://lattes.cnpq.br/8210915700863422RABELO JÚNIOR, Sebastião Estefânio Pinto.Atualmente, quando se fala em UML, temos os diagramas de sequência como o mais popular entre os diagramas usados para descrever aspectos comportamentais de um software. Por outro lado, temos Java como uma das linguagens orientadas a objetos mais usada no mundo. Entretanto, não encontramos em nossas pesquisas um meio sistêmico para a verificação automática de conformidade entre modelos comportamentais e o código desenvolvido para atender esse modelo. Nesta dissertação, nós desenvolvemos uma abordagem capaz de verificar- esse tipo de conformidade. O uso dessa abordagem permitirá ajudai- desenvolvedores, analistas, e gerentes de projeto a manter a documentação do software atualizada, além de possibilitar a existência de um novo ponto de vista a respeito de defeitos na implementação de um sistema. Para dar suporte a essa verificação de conformidade nós desenvolvemos uma ferramenta baseada em Model Driven Architecture (MDA) capaz de gerar os testes de conformidade aqui apresentados. Além disso, esta dissertação traz uma avaliação da abordagem desenvolvida, a qual apresenta os principais resultados obtidos.Currently, sequence diagrams are the most popular UML diagrams used to describe behavioral aspects of software systems. On the other hand, Java as one of the most popular object-oriented language used in lhe world. Despite that. there is no systematic approach to support verification between the behavioral design and the implemented source code. In this work, we propose an approach to verify this conformity. The use of this approach vvill help developers, architects, and engineers to maintain the software documentation updated. Its usage allows that the development team and managers to detect behavioral design implementation defects. We also present the tool support built for our approach using Model Driven Architecture (MDA) and a preliminary evaluation about this work.Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-02T14:02:19Z No. of bitstreams: 1 SEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2011..pdf: 13091249 bytes, checksum: 1cb0178385eb3bd7c5eb2d8c16dd72ac (MD5)Made available in DSpace on 2018-09-02T14:02:19Z (GMT). No. of bitstreams: 1 SEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2011..pdf: 13091249 bytes, checksum: 1cb0178385eb3bd7c5eb2d8c16dd72ac (MD5) Previous issue date: 2012-11-11CapesUniversidade Federal de Campina GrandePÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEICiência da Computação.Engenharia de softwareVerificação de conformidade em programasDiagramas UMLCódigo JavaModelos comportamentais - softwareTeste de softwareModel Driven Architeture MDAConformance checkingDesign testsUnified Modeling LanguageVerificação de conformidade entre diagramas de sequência UML e código Java.Verification of compliance between UML and Java code sequence diagrams.2012-11-112018-09-02T14:02:19Z2018-09-022018-09-02T14:02:19Zhttps://dspace.sti.ufcg.edu.br/handle/riufcg/1626RABELO JÚNIOR, Sebastião Estefânio Pinto. Verificação de conformidade entre diagramas de sequência UML e código Java. 2012. 76f. (Dissertação de Mestrado em Ciência da Computação) Programa de Pós-graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande - Paraiba - Brasil, 2012. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/1626info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGTEXTSEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2012.pdf.txtSEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2012.pdf.txttext/plain150740https://dspace.sti.ufcg.edu.br/bitstream/riufcg/1626/4/SEBASTI%C3%83O+ESTEF%C3%82NIO+PINTO+RABELO+J%C3%9ANIOR+-+DISSERTA%C3%87%C3%83O+PPGCC+2012.pdf.txt4591cdd0f9ed73d5e9e15b7c99896b81MD54ORIGINALSEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2012.pdfSEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2012.pdfapplication/pdf14068555https://dspace.sti.ufcg.edu.br/bitstream/riufcg/1626/3/SEBASTI%C3%83O+ESTEF%C3%82NIO+PINTO+RABELO+J%C3%9ANIOR+-+DISSERTA%C3%87%C3%83O+PPGCC+2012.pdfdbf3108dc0039aaa678bdc1fce619cf2MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://dspace.sti.ufcg.edu.br/bitstream/riufcg/1626/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/16262025-07-24 03:22:54.876oai:dspace.sti.ufcg.edu.br:riufcg/1626Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512025-07-24T06:22:54Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.pt_BR.fl_str_mv Verificação de conformidade entre diagramas de sequência UML e código Java.
dc.title.alternative.pt_BR.fl_str_mv Verification of compliance between UML and Java code sequence diagrams.
title Verificação de conformidade entre diagramas de sequência UML e código Java.
spellingShingle Verificação de conformidade entre diagramas de sequência UML e código Java.
RABELO JÚNIOR, Sebastião Estefânio Pinto.
Ciência da Computação.
Engenharia de software
Verificação de conformidade em programas
Diagramas UML
Código Java
Modelos comportamentais - software
Teste de software
Model Driven Architeture MDA
Conformance checking
Design tests
Unified Modeling Language
title_short Verificação de conformidade entre diagramas de sequência UML e código Java.
title_full Verificação de conformidade entre diagramas de sequência UML e código Java.
title_fullStr Verificação de conformidade entre diagramas de sequência UML e código Java.
title_full_unstemmed Verificação de conformidade entre diagramas de sequência UML e código Java.
title_sort Verificação de conformidade entre diagramas de sequência UML e código Java.
author RABELO JÚNIOR, Sebastião Estefânio Pinto.
author_facet RABELO JÚNIOR, Sebastião Estefânio Pinto.
author_role author
dc.contributor.advisor2ID.pt_BR.fl_str_mv GUERRERO, D. D. S.
dc.contributor.advisor1.fl_str_mv RAMALHO, Franklin de Souza.
dc.contributor.advisor1ID.fl_str_mv RAMALHO, F. S.
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/2469816352786812
dc.contributor.advisor2.fl_str_mv GUERRERO, Dalton Dario Serey.
dc.contributor.advisor2Lattes.fl_str_mv http://lattes.cnpq.br/2050632960242405
dc.contributor.referee1.fl_str_mv MARINHO, Leandro Balby.
dc.contributor.referee2.fl_str_mv REBOUÇAS, Ayla Débora Dantas de Souza.
dc.contributor.authorID.fl_str_mv RABELO JÚNIOR, S. E. P.
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/8210915700863422
dc.contributor.author.fl_str_mv RABELO JÚNIOR, Sebastião Estefânio Pinto.
contributor_str_mv RAMALHO, Franklin de Souza.
GUERRERO, Dalton Dario Serey.
MARINHO, Leandro Balby.
REBOUÇAS, Ayla Débora Dantas de Souza.
dc.subject.cnpq.fl_str_mv Ciência da Computação.
topic Ciência da Computação.
Engenharia de software
Verificação de conformidade em programas
Diagramas UML
Código Java
Modelos comportamentais - software
Teste de software
Model Driven Architeture MDA
Conformance checking
Design tests
Unified Modeling Language
dc.subject.por.fl_str_mv Engenharia de software
Verificação de conformidade em programas
Diagramas UML
Código Java
Modelos comportamentais - software
Teste de software
Model Driven Architeture MDA
Conformance checking
Design tests
Unified Modeling Language
description Atualmente, quando se fala em UML, temos os diagramas de sequência como o mais popular entre os diagramas usados para descrever aspectos comportamentais de um software. Por outro lado, temos Java como uma das linguagens orientadas a objetos mais usada no mundo. Entretanto, não encontramos em nossas pesquisas um meio sistêmico para a verificação automática de conformidade entre modelos comportamentais e o código desenvolvido para atender esse modelo. Nesta dissertação, nós desenvolvemos uma abordagem capaz de verificar- esse tipo de conformidade. O uso dessa abordagem permitirá ajudai- desenvolvedores, analistas, e gerentes de projeto a manter a documentação do software atualizada, além de possibilitar a existência de um novo ponto de vista a respeito de defeitos na implementação de um sistema. Para dar suporte a essa verificação de conformidade nós desenvolvemos uma ferramenta baseada em Model Driven Architecture (MDA) capaz de gerar os testes de conformidade aqui apresentados. Além disso, esta dissertação traz uma avaliação da abordagem desenvolvida, a qual apresenta os principais resultados obtidos.
publishDate 2012
dc.date.issued.fl_str_mv 2012-11-11
dc.date.accessioned.fl_str_mv 2018-09-02T14:02:19Z
dc.date.available.fl_str_mv 2018-09-02
2018-09-02T14:02:19Z
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.uri.fl_str_mv https://dspace.sti.ufcg.edu.br/handle/riufcg/1626
dc.identifier.citation.fl_str_mv RABELO JÚNIOR, Sebastião Estefânio Pinto. Verificação de conformidade entre diagramas de sequência UML e código Java. 2012. 76f. (Dissertação de Mestrado em Ciência da Computação) Programa de Pós-graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande - Paraiba - Brasil, 2012. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/1626
url https://dspace.sti.ufcg.edu.br/handle/riufcg/1626
identifier_str_mv RABELO JÚNIOR, Sebastião Estefânio Pinto. Verificação de conformidade entre diagramas de sequência UML e código Java. 2012. 76f. (Dissertação de Mestrado em Ciência da Computação) Programa de Pós-graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande - Paraiba - Brasil, 2012. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/1626
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.publisher.none.fl_str_mv Universidade Federal de Campina Grande
dc.publisher.program.fl_str_mv PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
dc.publisher.initials.fl_str_mv UFCG
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Centro de Engenharia Elétrica e Informática - CEEI
publisher.none.fl_str_mv Universidade Federal de Campina Grande
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
bitstream.url.fl_str_mv https://dspace.sti.ufcg.edu.br/bitstream/riufcg/1626/4/SEBASTI%C3%83O+ESTEF%C3%82NIO+PINTO+RABELO+J%C3%9ANIOR+-+DISSERTA%C3%87%C3%83O+PPGCC+2012.pdf.txt
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/1626/3/SEBASTI%C3%83O+ESTEF%C3%82NIO+PINTO+RABELO+J%C3%9ANIOR+-+DISSERTA%C3%87%C3%83O+PPGCC+2012.pdf
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/1626/2/license.txt
bitstream.checksum.fl_str_mv 4591cdd0f9ed73d5e9e15b7c99896b81
dbf3108dc0039aaa678bdc1fce619cf2
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1863363391841632256

Registros relacionados