Banca de QUALIFICAÇÃO: JULIANA BOTELHO DE CARVALHO

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE: JULIANA BOTELHO DE CARVALHO
DATA: 02/05/2018
HORA: 16:00
LOCAL: Sala de Seminários - DCC
TÍTULO:

UMA INVESTIGAÇÃO DO CUSTO ENVOLVIDO NA IDENTIFICAÇÃO MANUAL DE MUTANTES EQUIVALENTES

PALAVRAS-CHAVES:

Teste de mutação; Mutantes equivalentes; Custo da análise manual; Experimento.

PÁGINAS: 72
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
RESUMO:

O teste de mutação consiste em mudar o programa sendo testado por meio da aplicação de operadores de mutação. Como resultado, a aplicação de tais operadores gera várias versões diferentes do programa sendo testado. Essas versões diferentes são denominadas mutantes. Um problema do teste de mutação é o custo envolvido em identificar se os mutantes são equivalentes ao programa original sendo testado, ou seja, se produzem a mesma saída que a versão original para todas as entradas possíveis. A identificação de programas equivalentes é indecidível, portanto, normalmente a identificação é conduzida manualmente. Dessa forma, este projeto pretende investigar o custo envolvido na identificação manual de mutantes equivalentes gerados por meio de diferentes operadores de mutação. Tal custo está atrelado ao fator humano. Como os operadores de mutação geram muitos mutantes, é considerado o custo computacional para executar o conjunto de teste para cada mutante. Já a análise dos mutantes vivos implica no custo humano. Para auxiliar a inspeção dos mutantes e dos programas originais, uma ferramenta web será desenvolvida.  Tal ferramenta tem o propósito de possibilitar que programas originais e mutantes sejam comparados lado a lado, facilitando a análise manual dos mutantes. Assim, será conduzido um experimento com o propósito de identificar o custo envolvido na análise manual de mutantes equivalentes, bem como o grau de dificuldade na identificação desses mutantes.

MEMBROS DA BANCA:
Interno - 1212239 - HEITOR AUGUSTUS XAVIER COSTA
Externo ao Programa - 1691455 - PAULO AFONSO PARREIRA JUNIOR
Presidente - 2312666 - RAFAEL SERAPILHA DURELLI
Externo à Instituição - VINICIUS HUMBERTO SERAPILHA DURELLI - UFSJ