Files:DescriptionFile size FormatBrowse
Fulltext0.31 MBPDF (requires Acrobat Reader)Previous | Next
PostScript
  
Authors:Thomas Gross: ETH Zürich, Switzerland \ Carnegie Mellon University, USA
Publication title:Bisection Debugging
Conference:Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)
Publication type: Abstract and Fulltext
Issue:001
Article No.:015
Abstract:This paper introduces the bisection debugging model. The key idea is to use a debugger to identify the semantic differences between two versions of the same program. The debugger leads the user (programmer) to the region of the source code that is different between the versions and effects erroneous behavior. To implement bisection debugging; a debugger must insert checkpoints around regions of the program that are determined to be different (by; e.g.; a file differencing program). To compare the state of both computations; it is necessary that there are no constraints on where a breakpoint can be set; and the debugger must be able to solve all data value problems at this breakpoint. The quality of the file differencing program has an influence on the execution speed of the debugged program; but not on the correctness of the method. This debugging model is useful if there exists already a correct version of a program (in the sense that its output is acceptable) and subsequent changes have modified this program so that the output is no longer correct.
Language:English
Year:1997
No. of pages:7
Pages:185-191
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ea/cis/1997/009/15/cis9700915.pdf
Available:1997-09-10
Publisher:Linköping University Electronic Press; Linköpings universitet

REFERENCE TO THIS PAGE
Thomas Gross (1997). Bisection Debugging, Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97) http://www.ep.liu.se/ecp_article/index.en.aspx?issue=001;article=015 (accessed 10/31/2014)