| Files: |
Description |
File size |
Format |
| Fulltext |
|
PDF (requires Acrobat Reader) |
| Fulltext |
|
PostScript (requires a PostScript Reader) |
| |
|
| Author: |
Thomas Gross |
| Article title: |
Bisection Debugging |
| Conference: |
AADEBUG'97. Proceedings of the Third International Workshop
on Automatic Debugging: Linköping, Sweden, May 26-27, 1997 |
| Publ. type: |
Article |
| Article No: |
15 |
| Language: |
English |
| Abstract [en]: |
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. |
| PDF |
| Publisher: |
Linköping University Electronic Press |
| Year: |
1997 |
| Available: |
1997-09-10 |
| No. of pages: |
7 |
| Pages: |
185-191 |
| Series: |
Linköping Electronic Articles in Computer and Information Science |
| ISSN: |
1401-9841 |
| Volume: |
2 |
| No: |
009 |
| Series: |
Linköping Electronic Conference
Proceedings |
| ISSN (print): |
1650-3686 |
| ISSN (online): |
1650-3740 |
| Issue: |
1 |
| REFERENCE TO THIS PAGE:
|