Combining Slicing and Constraint Solving for Better Debugging : The CONBAS Approach
Joint Authors
Source
Advances in Software Engineering
Issue
Vol. 2012, Issue 2012 (31 Dec. 2012), pp.1-18, 18 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2012-12-31
Country of Publication
Egypt
No. of Pages
18
Main Subjects
Abstract EN
Although slices provide a good basis for analyzing programs during debugging, they lack in their capabilities providing precise information regarding the most likely root causes of faults.
Hence, a lot of work is left to the programmer during fault localization.
In this paper, we present an approach that combines an advanced dynamic slicing method with constraint solving in order to reduce the number of delivered fault candidates.
The approach is called Constraints Based Slicing (CONBAS).
The idea behind CONBAS is to convert an execution trace of a failing test case into its constraint representation and to check if it is possible to find values for all variables in the execution trace so that there is no contradiction with the test case.
For doing so, we make use of the correctness and incorrectness assumptions behind a diagnosis, the given failing test case.
Beside the theoretical foundations and the algorithm, we present empirical results and discuss future research.
The obtained empirical results indicate an improvement of about 28% for the single fault and 50% for the double-fault case compared to dynamic slicing approaches.
American Psychological Association (APA)
Hofer, Birgit& Wotawa, Franz. 2012. Combining Slicing and Constraint Solving for Better Debugging : The CONBAS Approach. Advances in Software Engineering،Vol. 2012, no. 2012, pp.1-18.
https://search.emarefa.net/detail/BIM-486399
Modern Language Association (MLA)
Hofer, Birgit& Wotawa, Franz. Combining Slicing and Constraint Solving for Better Debugging : The CONBAS Approach. Advances in Software Engineering No. 2012 (2012), pp.1-18.
https://search.emarefa.net/detail/BIM-486399
American Medical Association (AMA)
Hofer, Birgit& Wotawa, Franz. Combining Slicing and Constraint Solving for Better Debugging : The CONBAS Approach. Advances in Software Engineering. 2012. Vol. 2012, no. 2012, pp.1-18.
https://search.emarefa.net/detail/BIM-486399
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-486399