UMA INVESTIGAÇÃO DO CUSTO ENVOLVIDO NA IDENTIFICAÇÃO MANUAL DE MUTANTES EQUIVALENTES
Teste de mutação; Mutantes equivalentes; Custo da análise manual; Experimento.
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.