Refinamento de testes para localização de faltas

Detalhes bibliográficos
Autor(a) principal: Luís, Filipe Miguel Martins Serra, 1989-
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

Registros relacionados