Aluno: Sebastião E. P. Rabelo Júnior. Título: Verificação de conformidade entre Diagramas de Sequência UML e Código Java. Local: Auditório do CEEI. Banca Examinadora: Prof. Franklin Ramalho (Orientador), UFCG, Prof. Dalton Serey (Orientaor), UFCG, Prof. Leandro Balby, UFCG, e Prof. Ayla Dantas Rebouças, UFPB. Data: 30/11/2011. Hora: 08:00. 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 a linguagem
orientada a objetos mais usada no mundo. Entretanto não existe ainda 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á ajudar 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. Além disso, esta
dissertação traz uma avaliação da abordagem desenvolvida, a qual apresenta os
principais resultados obtidos. Agradecemos a sua presença. |