arrow
Return

Effective program debugging based on execution slices and inter-block data dependency

delete2006-07-01
delete68
PRE
AI
W
W. Eric Wong *
Y
Yu Qi
DOI:10.1016/j.jss.2005.06.045delete
deleteOriginal
deleteShare
deleteSave
Abstract

Abstract

En 中文
Localizing a fault in program debugging is a complex and time-consuming process. In this paper we present a novel approach using execution slices and inter-block data dependency to effectively identify the locations of program faults. An execution slice with respect to a given test case is the set of code executed by this test, and two blocks are data dependent if one block contains a definition that is used by another block or vice versa. Not only can our approach reduce the search domain for program debugging, but also prioritize suspicious locations in the reduced domain based on their likelihood of containing faults. More specifically, we use multiple execution slices to prioritize the likelihood of a piece of code containing a specific fault. In addition, the likelihood also depends oil whether this piece of code is data dependent on other suspicious code. A debugging tool, DESiD, was developed to support our method. A case study that shows the effectiveness of our method in locating faults on an application developed for the European Space Agency is also reported. (c) 2005 Elsevier Inc. All rights reserved.
Keywords:
software testing
fault localization
program debugging
execution slice
inter-block data dependency
DESiD

Journal

Journal of Systems and Software cover
Journal of Systems and Software
IF:
4.1
Papers:
5.5K
Citations:
8.4K

Organization

No organization information available
Cited Papers

Cited Papers

Dynamics of Elongation Factor 2 Kinase Regulation in Cortical Neurons in Response to Synaptic Activity
err2015-02-18
err0
errOAAI
errJustin W. Kenney; Oksana Sorokina; Maja Genheden; Anatoly Sorokin; J. Douglas Armstrong; Christopher G. Proud
errShare
errSave
Smart debugging software architectural design in SDL
err2005-04-01
err17
PREAI
errWong, WE; Sugeta, T; Qi, Y; Maldonado, JC
errShare
errSave
Maternal Transmission of Human OGG1 Protects Mice Against Genetically- and Diet-Induced Obesity Through Increased Tissue Mitochondrial Content
err2021-09-15
err0
errOAAI
errNatalie Burchat; Priyanka Sharma; Hong Ye; Sai Santosh Babu Komakula; Agnieszka Dobrzyn; Vladimir Vartanian; R. Stephen Lloyd; Harini Sampath
errShare
errSave
Introducing the index-based ecological condition assessment framework (IBECA)
err2021-05-01
err0
errOAAI
errSimon Jakobsson; Marianne Evju; Erik Framstad; Alexis Imbert; Anders Lyngstad; Hanne Sickel; Anne Sverdrup-Thygeson; Joachim Paul Töpper; Vigdis Vandvik; Liv Guri Velle; Per Arild Aarrestad; Signe Nybø
errShare
errSave
no more