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

Detalhes bibliográficos
Autor(a) principal: RABELO JÚNIOR, Sebastião Estefânio Pinto.
Data de Publicação: 2012
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFCG
Texto Completo: http://dspace.sti.ufcg.edu.br:8080/jspui/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_89606557ddb4ebc2339c76c56bc1d560
oai_identifier_str oai:localhost:riufcg/1626
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
spelling Verificação de conformidade entre diagramas de sequência UML e código Java.Verification of compliance between UML and Java code sequence diagrams.Engenharia de softwareVerificação de conformidade em programasDiagramas UMLCódigo JavaModelos comportamentais - softwareTeste de softwareModel Driven Architeture MDAConformance checkingDesign testsUnified Modeling LanguageCiência da Computação.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.CapesUniversidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGRAMALHO, 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, Sebastião Estefânio Pinto.2012-11-112018-09-02T14:02:19Z2018-09-022018-09-02T14:02:19Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/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: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1626porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2022-03-21T13:55:03Zoai:localhost:riufcg/1626Biblioteca 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:48512022-03-21T13:55:03Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv Verificação de conformidade entre diagramas de sequência UML e código Java.
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.
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
Ciência da Computação.
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.none.fl_str_mv RAMALHO, Franklin de Souza.
RAMALHO, F. S.
http://lattes.cnpq.br/2469816352786812
GUERRERO, Dalton Dario Serey.
GUERRERO, D. D. S.
http://lattes.cnpq.br/2050632960242405
MARINHO, Leandro Balby.
REBOUÇAS, Ayla Débora Dantas de Souza.
dc.contributor.author.fl_str_mv RABELO JÚNIOR, Sebastião Estefânio Pinto.
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
Ciência da Computação.
topic 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
Ciência da Computação.
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.none.fl_str_mv 2012-11-11
2018-09-02T14:02:19Z
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 http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1626
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: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1626
url http://dspace.sti.ufcg.edu.br:8080/jspui/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: http://dspace.sti.ufcg.edu.br:8080/jspui/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
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
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
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_ 1809744358032801792

Registros relacionados