A fault-location technique for Java implementations of algebraic specifications
Autor(a) principal: | |
---|---|
Data de Publicação: | 2012 |
Outros Autores: | |
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 |