Um Estudo Empírico sobre a Seleção de Boas Relações Metamórficas

A automação completa de testes de software requer geração automatizada de entradas de teste, execução e avaliação de resultados. Esta última tarefa não é trivial e geralmente é chamada de problema do oráculo em testes de software. O presente artigo descreve um estudo empírico sobre testes metamórficos, uma abordagem para o problema do oráculo. Este estudo foi conduzido com implementações comuns em Java para o cálculo de determinantes a fim de avaliar a utilidade da abordagem de testes metamórficos e estabelecer critérios gerais que podem ser usados para avaliar rapidamente relações metamórficas em relação à sua adequação. Isso é muito importante, uma vez que o teste metamórfico é baseado nas chamadas relações metamórficas em tuplas de entrada-saída, que podem ser facilmente encontradas. No entanto, é crucial avaliar essas relações de acordo com sua utilidade. O estudo empírico nos permite derivar regras gerais que podem ser usadas para avaliar rapidamente relações metamórficas e identificar aquelas que devem ser consideradas e estudadas em mais detalhes com outros métodos (por exemplo, com análise de mutação).