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

Página inicial
→
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
→
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
→
Mestrado em Ciência da Computação.
→
Ver item

dc.creator.ID	RABELO JÚNIOR, S. E. P.	pt_BR
dc.creator.Lattes	http://lattes.cnpq.br/8210915700863422	pt_BR
dc.contributor.advisor1	RAMALHO, Franklin de Souza.
dc.contributor.advisor1ID	RAMALHO, F. S.	pt_BR
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/2469816352786812	pt_BR
dc.contributor.advisor2	GUERRERO, Dalton Dario Serey.
dc.contributor.advisor2ID	GUERRERO, D. D. S.	pt_BR
dc.contributor.advisor2Lattes	http://lattes.cnpq.br/2050632960242405	pt_BR
dc.contributor.referee1	MARINHO, Leandro Balby.
dc.contributor.referee2	REBOUÇAS, Ayla Débora Dantas de Souza.
dc.description.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.	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Centro de Engenharia Elétrica e Informática - CEEI	pt_BR
dc.publisher.program	PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO	pt_BR
dc.publisher.initials	UFCG	pt_BR
dc.subject.cnpq	Ciência da Computação.	pt_BR
dc.title	Verificação de conformidade entre diagramas de sequência UML e código Java.	pt_BR
dc.date.issued	2012-11-11
dc.description.abstract	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.	pt_BR
dc.identifier.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1626
dc.date.accessioned	2018-09-02T14:02:19Z
dc.date.available	2018-09-02
dc.date.available	2018-09-02T14:02:19Z
dc.type	Dissertação	pt_BR
dc.subject	Engenharia de software	pt_BR
dc.subject	Verificação de conformidade em programas	pt_BR
dc.subject	Diagramas UML	pt_BR
dc.subject	Código Java	pt_BR
dc.subject	Modelos comportamentais - software	pt_BR
dc.subject	Teste de software	pt_BR
dc.subject	Model Driven Architeture MDA	pt_BR
dc.subject	Conformance checking	pt_BR
dc.subject	Design tests	pt_BR
dc.subject	Unified Modeling Language	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.creator	RABELO JÚNIOR, Sebastião Estefânio Pinto.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	Verification of compliance between UML and Java code sequence diagrams.	pt_BR
dc.description.sponsorship	Capes	pt_BR
dc.identifier.citation	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	pt_BR