Dependency-Directed Localization of Software Bugs

Title: en_US Dependency-Directed Localization of Software Bugs
Creator: en_US Kuper, Ron I.
Date: 2004-10-20T20:00:58Z
Date Available: 2004-10-20T20:00:58Z
Date Issued: en_US 1989-05-01
Identifier: en_US AITR-1053
uri: http://hdl.handle.net/1721.1/6838
Abstract: en_US Software bugs are violated specifications. Debugging is the process that culminates in repairing a program so that it satisfies its specification. An important part of debugging is localization, whereby the smallest region of the program that manifests the bug is found. The Debugging Assistant (DEBUSSI) localizes bugs by reasoning about logical dependencies. DEBUSSI manipulates the assumptions that underlie a bug manifestation, eventually localizing the bug to one particular assumption. At the same time, DEBUSSI acquires specification information, thereby extending its understanding of the buggy program. The techniques used for debugging fully implemented code are also appropriate for validating partial designs.
Extent: en_US 74 p.; 9511143 bytes; 3558711 bytes
Format: application/postscript; application/pdf
Language: en_US
Relation: en_US AITR-1053
Subject: en_US debugging; en_US programmer's apprentice