Este trabalho, integrado no projeto QUEST, tem como objetivo geral a localização automática de erros em implementações Java de especificações algébricas, através da análise de testes JUnit criados pela ferramenta GenT e consequente produção de novos testes a partir da informação fornecida pelas faltas observadas. Numa primeira fase foi criado um conjunto de casos de estudo e uma experiência que permitiu avaliar a abordagem de localização de faltas em questão e a sua comparação com outras abordagens existentes. Por último foi construída uma aplicação que implementou esta abordagem para ser integrada com as ferramentas ConGu e GenT.

This work is within the scope of the QUEST project and its main objective is the automatic location of errors in Java implementations of algebraic specifications, through the analysis of JUnit generated tests using GenT tool and the production of new tests from the information obtained by the observed faults. In a first phase a set of case studies was created, as well as an experiment that allowed the evaluation of the fault tracking approach in question and its comparison with other existing approaches. Lastly, an application that implements this approach was built to be integrated with the ConGu and GenT tools.

Tese de mestrado em Engenharia Informática, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2012