Saltar para:
Logótipo
Você está em: Início » Publicações » Visualização » A dynamic code coverage approach to maximize fault localization efficiency

A dynamic code coverage approach to maximize fault localization efficiency

Título
A dynamic code coverage approach to maximize fault localization efficiency
Tipo
Artigo em Revista Científica Internacional
Ano
2014
Autores
Rui Abreu
(Autor)
FEUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Ver página do Authenticus Sem ORCID
Andre Riboira
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID
Revista
Vol. 90
Páginas: 18-28
ISSN: 0164-1212
Editora: Elsevier
Classificação Científica
FOS: Ciências exactas e naturais > Ciências da computação e da informação
Outras Informações
ID Authenticus: P-009-6K3
Abstract (EN): Spectrum-based fault localization is amongst the most effective techniques for automatic fault localization. However, abstractions of program execution traces, one of the required inputs for this technique, require instrumentation of the software under test at a statement level of granularity in order to compute a list of potential faulty statements. This introduces a considerable overhead in the fault localization process, which can even become prohibitive in, e.g., resource constrained environments. To counter this problem, we propose a new approach, coined dynamic code coverage (DCC), aimed at reducing this instrumentation overhead. This technique, by means of using coarser instrumentation, starts by analyzing coverage traces for large components of the system under test. It then progressively increases the instrumentation detail for faulty components, until the statement level of detail is reached. To assess the validity of our proposed approach, an empirical evaluation was performed, injecting faults in six real-world software projects. The empirical evaluation demonstrates that the dynamic code coverage approach reduces the execution overhead that exists in spectrum-based fault localization, and even presents,a more concise potential fault ranking to the user. We have observed execution time reductions of 27% on average and diagnostic report size reductions of 77% on average.
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Nº de páginas: 11
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Relacionadas

Dos mesmos autores

GZoltar: An Eclipse Plug-In for Testing and Debugging (2012)
Artigo em Livro de Atas de Conferência Internacional
José Campos; Andre Riboira; Alexandre Perez; Rui Abreu
A Topology-based Model for Estimating the Diagnostic Efficiency of Statistics-based Approaches (2012)
Artigo em Livro de Atas de Conferência Internacional
Alexandre Perez; Andre Riboira; Rui Abreu

Da mesma revista

WASMICO: Micro-containers in microcontrollers with WebAssembly (2024)
Artigo em Revista Científica Internacional
Ribeiro, E; André Restivo; Hugo Sereno Ferreira; Dias, JP
SPELLing out energy leaks: Aiding developers locate energy inefficient code (2020)
Artigo em Revista Científica Internacional
Pereira, R; Carcao, T; Couto, M; Cunha, J; Joao Paulo Fernandes; Saraiva, J
Simultaneous debugging of software faults (2011)
Artigo em Revista Científica Internacional
Rui Abreu; Peter Zoeteweij; Arjan J C van Gemund
On scaling dynamic programming problems with a multithreaded tabling, Prolog system (2017)
Artigo em Revista Científica Internacional
Miguel Areias; Ricardo Rocha
On Haskell and energy efficiency (2019)
Artigo em Revista Científica Internacional
Lima, LG; Soares Neto, F; Lieuthier, P; Castor, F; Melfe, G; Joao Paulo Fernandes

Ver todas (7)

Recomendar Página Voltar ao Topo
Copyright 1996-2024 © Faculdade de Medicina da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2024-11-03 às 05:41:26
Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias | Política de Captação e Difusão da Imagem Pessoal em Suporte Digital