Document details

Refinamento de testes para localização de faltas

Author(s): Luís, Filipe Miguel Martins Serra, 1989-

Date: 2012

Persistent ID: http://hdl.handle.net/10451/8836

Origin: Repositório da Universidade de Lisboa

Subject(s): Testes; Java; Faltas; ConGu; Teses de mestrado - 2012


Description

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

Document Type Master thesis
Language Portuguese
Advisor(s) Nunes, Maria Isabel Batalha Reis da Gama, 1961-
Contributor(s) Luís, Filipe Miguel Martins Serra, 1989-
facebook logo  linkedin logo  twitter logo 
mendeley logo

Related documents

No related documents