Go to:
Logótipo
Você está em: Start » Publications » View » A dynamic code coverage approach to maximize fault localization efficiency
Publication

A dynamic code coverage approach to maximize fault localization efficiency

Title
A dynamic code coverage approach to maximize fault localization efficiency
Type
Article in International Scientific Journal
Year
2014
Authors
Rui Abreu
(Author)
FEUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page Without ORCID
Andre Riboira
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID
Journal
Vol. 90
Pages: 18-28
ISSN: 0164-1212
Publisher: Elsevier
Scientific classification
FOS: Natural sciences > Computer and information sciences
Other information
Authenticus ID: 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.
Language: English
Type (Professor's evaluation): Scientific
No. of pages: 11
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

GZoltar: An Eclipse Plug-In for Testing and Debugging (2012)
Article in International Conference Proceedings Book
José Campos; Andre Riboira; Alexandre Perez; Rui Abreu
A Topology-based Model for Estimating the Diagnostic Efficiency of Statistics-based Approaches (2012)
Article in International Conference Proceedings Book
Alexandre Perez; Andre Riboira; Rui Abreu

Of the same journal

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

See all (7)

Recommend this page Top
Copyright 1996-2024 © Faculdade de Medicina da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2024-10-01 at 23:29:36
Acceptable Use Policy | Data Protection Policy | Complaint Portal | Política de Captação e Difusão da Imagem Pessoal em Suporte Digital