1. Biblioteca Digital de Teses e Dissertações da UFCG
  2. Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
  3. PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
  4. Mestrado em Ciência da Computação.
Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1626
Full metadata record
DC FieldValueLanguage
dc.creator.IDRABELO JÚNIOR, S. E. P.pt_BR
dc.creator.Latteshttp://lattes.cnpq.br/8210915700863422pt_BR
dc.contributor.advisor1RAMALHO, Franklin de Souza.-
dc.contributor.advisor1IDRAMALHO, F. S.pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/2469816352786812pt_BR
dc.contributor.advisor2GUERRERO, Dalton Dario Serey.-
dc.contributor.advisor2IDGUERRERO, D. D. S.pt_BR
dc.contributor.advisor2Latteshttp://lattes.cnpq.br/2050632960242405pt_BR
dc.contributor.referee1MARINHO, Leandro Balby.-
dc.contributor.referee2REBOUÇAS, Ayla Débora Dantas de Souza.-
dc.description.resumoAtualmente, 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.countryBrasilpt_BR
dc.publisher.departmentCentro de Engenharia Elétrica e Informática - CEEIpt_BR
dc.publisher.programPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOpt_BR
dc.publisher.initialsUFCGpt_BR
dc.subject.cnpqCiência da Computação.pt_BR
dc.titleVerificação de conformidade entre diagramas de sequência UML e código Java.pt_BR
dc.date.issued2012-11-11-
dc.description.abstractCurrently, 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.urihttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1626-
dc.date.accessioned2018-09-02T14:02:19Z-
dc.date.available2018-09-02-
dc.date.available2018-09-02T14:02:19Z-
dc.typeDissertaçãopt_BR
dc.subjectEngenharia de softwarept_BR
dc.subjectVerificação de conformidade em programaspt_BR
dc.subjectDiagramas UMLpt_BR
dc.subjectCódigo Javapt_BR
dc.subjectModelos comportamentais - softwarept_BR
dc.subjectTeste de softwarept_BR
dc.subjectModel Driven Architeture MDApt_BR
dc.subjectConformance checkingpt_BR
dc.subjectDesign testspt_BR
dc.subjectUnified Modeling Languagept_BR
dc.rightsAcesso Abertopt_BR
dc.creatorRABELO JÚNIOR, Sebastião Estefânio Pinto.-
dc.publisherUniversidade Federal de Campina Grandept_BR
dc.languageporpt_BR
dc.title.alternativeVerification of compliance between UML and Java code sequence diagrams.pt_BR
dc.description.sponsorshipCapespt_BR
dc.identifier.citationRABELO 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/1626pt_BR
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
SEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2012.pdfSebastião Estefânio Pinto Rabelo Júnior - Dissertação PPGCC 2012.13.74 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.