Banca de QUALIFICAÇÃO: IALLY CRISTINA SILVEIRA DE ALMEIDA

Uma banca de QUALIFICAÇÃO DE MESTRADO foi cadastrada pelo programa.

DISCENTE: IALLY CRISTINA SILVEIRA DE ALMEIDA
DATA: 04/06/2019
HORA: 16:00
LOCAL: Sala 15
TÍTULO:

GERAÇÃO AUTOMÁTICA DE DADOS DE TESTES BASEADOS
EM MODELOS DE REDES DE PETRI COLORIDAS

RESUMO:

Os mecanismos de refatoração tem se tornado uma importante ferramenta de desenvolvimento de software. Contudo, os desenvolvedores desses mecanismos tem dificuldades em estabelecer as pré condições necessárias para evitar transformações que carreguem erros de compilação ou mudanças de comportamento. Nesse sentido, as pré condições determinam a qualidade de um código refatorado. Ao mesmo tempo que possibilitam uma transformação correta, podem também apresentar condições extremamente fortes, que impedem uma transformação possível, ou extremamente fracas, que geram códigos que alteram o comportamento original do programa.

Realizar testes manuais para essa tarefa, corresponde a um tempo elevado de dedicação e se transforma numa atividade passível de enganos. Encontrar defeitos nos motores de refatoração das IDEs é uma tarefa não trivial. Por esse motivo, utilizar especificação formal aliada a testes automáticos pode ser uma boa solução para esse cenário. A especificação formal permite que a geração dos dados de testes seja feita de forma automática e permite um maior número de código útil no processo.

A fim de aplicar os conceitos da técnica de Testes Baseados em Modelos (MBT) com Redes de Petri Coloridas (CPN) na geração automática de dados de teste, a intenção com este trabalho é estender uma série de estudos sobre testes em mecanismos de refatoração de Ambientes de Desenvolvimento Integrado (IDEs).

PALAVRAS-CHAVE:

Testes Baseados em Modelos; Redes de Petri Coloridas; Refatoração.

PÁGINAS: 30
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
SUBÁREA: Metodologia e Técnicas da Computação
ESPECIALIDADE: Engenharia de Software

MEMBROS DA BANCA:
Presidente - 1645130 - LEANDRO DIAS DA SILVA
Interno(a) - 057.444.294-41 - ALVARO ALVARES VDE CARVALHO CESAR SOBRINHO - UFCG
Interno(a) - 1741806 - MARCIO DE MEDEIROS RIBEIRO
Externo(a) à Instituição - Lenardo Chaves e Silva - UFERSA