Proposta de Dissertação: 02/03/2011, 14:00.

postado em 1 de mar de 2011 18:01 por Hyggo Oliveira de Almeida   [ 2 de mar de 2011 01:36 atualizado‎(s)‎ ]
Aluna: Catuxe Varjão de Santana Oliveira. 
Título: Uma Abordagem para Verificar Conformidade de Programas Java Anotados com JML. 
Local:  Laboratório do SPG (1º andar do Bloco CN). 
Data: 02/03/2011.  
Horário: 14:00. 
Banca Examinadora: Prof. Rohit Gheyi (DSC/UFCG - Orientador), Profa. Patrícia Machado (DSC/UFCG - Avaliadora), Prof. Tiago Massoni (DSC/UFCG - Avaliador). 

Resumo: JML (Java Modeling Language) é uma linguagem de especificação formal para classes e interfaces Java que se destina garantir maior confiabilidade na corretude de sistemas críticos. Desta forma, é de suma importância checar a consistência entre implementação Java e especificação JML para que a corretude seja mantida. Esta checagem é comumente realizada através de análises manuais ou quando o software está disponível para o cliente, entretanto estas técnicas demandam significativo tempo para encontrar defeitos, o que ocasiona atrasos no cronograma, aumento nos custos e, consequentemente, diminuição da qualidade do software. Desta forma, este trabalho propõe uma abordagem para a verificação da conformidade em programas Java anotados com JML antes de o sistema entrar em produção através da geração automática de testes. Esta técnica pode ser útil quando inserida no contexto de evolução do software, ao passo que mudanças ocorridas no código através de refatoramentos realizados em implementações Java com especificações JML podem requerer adaptações em pré ou pós-condições, por exemplo. Para isso, definiremos uma noção de refatoramentos nesse cenário e implementaremos uma ferramenta que garanta segurança durante a evolução do software no contexto de refatoramentos.

Agradecemos a sua presença.