A fault-location technique for Java implementations of algebraic specifications

Detalhes bibliográficos
Autor(a) principal: Luis, Filipe
Data de Publicação: 2012
Outros Autores: Nunes, Isabel
Tipo de documento: Relatório
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10451/14177
Resumo: Reviewed by Antónia Lopes
id RCAP_15d6f71c4df089a37508d1aaa0e6b104
oai_identifier_str oai:repositorio.ul.pt:10451/14177
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 A fault-location technique for Java implementations of algebraic specificationsModel-basedFault-locationReviewed by Antónia LopesExecuting comprehensive test suits allows programmers to strengthen the confidence on their software systems. However, given some failed test cases, finding the faults' locations is one of the most expensive and time consuming tasks, thereby any technique that makes it easier for the programmer to locate the faulty components is highly desirable. In this paper we focus on finding faults in object-oriented, more precisely Java, implementations of data types that are described by algebraic specifications. We capitalize on the ConGu and GenT approaches, namely on the models for the specification under study and the corresponding generated JUnit test suits that cover all axioms of the specification, and present a collection of techniques and underlying methodology, that give the programmer a means to find the location of a fault that causes the implementation to violate the specification. We propose Flasji, a stepwise process for finding the faulty method, which is transparent to the programmer, that applies the proposed techniques to find a collection of initial suspect candidates and to subsequently decide the prime suspect among them. We carried out an experiment to evaluate Flasji and obtained very encouraging results.Repositório da Universidade de LisboaLuis, FilipeNunes, Isabel2012-06-18T11:55:48Z2012-06-18T11:55:48Z2012-06-18info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportapplication/pdfhttp://hdl.handle.net/10451/14177enginfo: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:59:50Zoai:repositorio.ul.pt:10451/14177Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:36:00.897580Repositó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 A fault-location technique for Java implementations of algebraic specifications
title A fault-location technique for Java implementations of algebraic specifications
spellingShingle A fault-location technique for Java implementations of algebraic specifications
Luis, Filipe
Model-based
Fault-location
title_short A fault-location technique for Java implementations of algebraic specifications
title_full A fault-location technique for Java implementations of algebraic specifications
title_fullStr A fault-location technique for Java implementations of algebraic specifications
title_full_unstemmed A fault-location technique for Java implementations of algebraic specifications
title_sort A fault-location technique for Java implementations of algebraic specifications
author Luis, Filipe
author_facet Luis, Filipe
Nunes, Isabel
author_role author
author2 Nunes, Isabel
author2_role author
dc.contributor.none.fl_str_mv Repositório da Universidade de Lisboa
dc.contributor.author.fl_str_mv Luis, Filipe
Nunes, Isabel
dc.subject.por.fl_str_mv Model-based
Fault-location
topic Model-based
Fault-location
description Reviewed by Antónia Lopes
publishDate 2012
dc.date.none.fl_str_mv 2012-06-18T11:55:48Z
2012-06-18T11:55:48Z
2012-06-18
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10451/14177
url http://hdl.handle.net/10451/14177
dc.language.iso.fl_str_mv eng
language eng
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_ 1799134258599559168

Registros relacionados