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

Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1626

Title:	Verificação de conformidade entre diagramas de sequência UML e código Java.
Other Titles:	Verification of compliance between UML and Java code sequence diagrams.
???metadata.dc.creator???:	RABELO JÚNIOR, Sebastião Estefânio Pinto.
???metadata.dc.contributor.advisor1???:	RAMALHO, Franklin de Souza.
???metadata.dc.contributor.advisor2???:	GUERRERO, Dalton Dario Serey.
???metadata.dc.contributor.referee1???:	MARINHO, Leandro Balby.
???metadata.dc.contributor.referee2???:	REBOUÇAS, Ayla Débora Dantas de Souza.
Keywords:	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
Issue Date:	11-Nov-2012
Publisher:	Universidade Federal de Campina Grande
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
???metadata.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.
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.
Keywords:	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
???metadata.dc.subject.cnpq???:	Ciência da Computação.
URI:	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1626
Appears in Collections:	Mestrado em Ciência da Computação.

Files in This Item:

File	Description	Size	Format
SEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2012.pdf	Sebastião Estefânio Pinto Rabelo Júnior - Dissertação PPGCC 2012.	13.74 MB	Adobe PDF	View/Open

Show full item record