2026-09-20T12:41:54Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/23074 2023-07-10 col_2142_5131 col_2142_10761 com_2142_5130 com_2142_10755 com_2142_234

Harandi, Mehdi T. Renner, Scott Alexander 2011-05-07T14:01:13Z 2011-05-07T14:01:13Z 10000-01-01 1990 There are almost always differences between the behavior intended by a programmer and the behavior actually implemented by his code. These differences are logical errors. The process of locating the cause of these differences is the logical error diagnosis process. Run-time errors are usually diagnosed through an analysis of the incorrect program's execution behavior. The analysis is divided into two tasks: (1) selection of a segment of the execution history, and (2) determination of the correctness of this segment using an oracle. The objective is to locate a small segment that does not match the programmer's expectations; the error is then known to be in the corresponding piece of source code. This thesis describes techniques which partially automate this diagnosis process for programs written in Pascal. The segment selection task is treated as a search problem in which the objective is to locate the error with a minimum of effort on the part of the oracle. The search algorithm locates errors without requiring any initial information about their location but can also use clues derived from the error symptoms or supplied by the programmer to reduce the search space. The segment verification task is partially automated by the availability of a high-level query language, which permits the programmer to write partial specifications of correct behavior. These specifications are then automatically evaluated by the debugger. The query language is based on Pascal expressions, with extensions for quantification operators, temporal scoping, and knowledge about data structures. Made available in DSpace on 2011-05-07T14:01:13Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9114383.pdf: 3708852 bytes, checksum: 66604a19a6fa107a73fe55900376c33a (MD5) Previous issue date: 1990 Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T15:02:00Z Item is restricted indefinitely. Restriction data tranferred 2014-07-01T11:29:27-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission ETDs are only available to UIUC Users without author permission U of I Only AAI9114383 (UMI)AAI9114383 http://hdl.handle.net/2142/23074 eng Copyright 1990 Renner, Scott Alexander Computer Science Logical error diagnosis text Computer Science Computer Science University of Illinois at Urbana-Champaign Dissertation Ph.D.