Refinamento de testes para localização de faltas
Autor(a) principal: | |
---|---|
Data de Publicação: | 2012 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/10451/8836 |
Resumo: | Tese de mestrado em Engenharia Informática, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2012 |
id |
RCAP_6e835cc9e1907e1a069a8ac91d6bf516 |
---|---|
oai_identifier_str |
oai:repositorio.ul.pt:10451/8836 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
Refinamento de testes para localização de faltasTestesJavaFaltasConGuTeses de mestrado - 2012Tese de mestrado em Engenharia Informática, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2012Este 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.Nunes, Maria Isabel Batalha Reis da Gama, 1961-Repositório da Universidade de LisboaLuís, Filipe Miguel Martins Serra, 1989-2013-07-19T10:02:54Z20122012-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10451/8836porinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-08T15:52:50Zoai:repositorio.ul.pt:10451/8836Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:33:12.836442Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
Refinamento de testes para localização de faltas |
title |
Refinamento de testes para localização de faltas |
spellingShingle |
Refinamento de testes para localização de faltas Luís, Filipe Miguel Martins Serra, 1989- Testes Java Faltas ConGu Teses de mestrado - 2012 |
title_short |
Refinamento de testes para localização de faltas |
title_full |
Refinamento de testes para localização de faltas |
title_fullStr |
Refinamento de testes para localização de faltas |
title_full_unstemmed |
Refinamento de testes para localização de faltas |
title_sort |
Refinamento de testes para localização de faltas |
author |
Luís, Filipe Miguel Martins Serra, 1989- |
author_facet |
Luís, Filipe Miguel Martins Serra, 1989- |
author_role |
author |
dc.contributor.none.fl_str_mv |
Nunes, Maria Isabel Batalha Reis da Gama, 1961- Repositório da Universidade de Lisboa |
dc.contributor.author.fl_str_mv |
Luís, Filipe Miguel Martins Serra, 1989- |
dc.subject.por.fl_str_mv |
Testes Java Faltas ConGu Teses de mestrado - 2012 |
topic |
Testes Java Faltas ConGu Teses de mestrado - 2012 |
description |
Tese de mestrado em Engenharia Informática, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2012 |
publishDate |
2012 |
dc.date.none.fl_str_mv |
2012 2012-01-01T00:00:00Z 2013-07-19T10:02:54Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/10451/8836 |
url |
http://hdl.handle.net/10451/8836 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799134226377867264 |