To provide high-level graphical support for PVM (Parallel Virtual Machine) based program development, a complex programming environment (GRADE) is being developed. GRADE currently provides tools to construct, execute, debug, monitor and visualise message-passing parallel programs. It ooers high-level graphical programming abstraction mechanism to construct parallel applications by introducing a...

The development of multi-agent programs requires debugging tools and techniques to find and resolve possible defects in such programs. This paper focuses on BDI-based multi-agent programs, discusses some existing debugging approaches that are developed for specific BDI-based multi-agent programming languages, and proposes a generic and systematic approach for debugging BDI-based multi-agent pro...

Interactive programming is a method for implementing programming languages that supports an interactive, exploratory style of program development and debugging. The basic idea is to reify the steps of a computation into a persistent data structure which can be explored interactively, and which reacts to changes to inputs like a spreadsheet. Reifying the computation associates the computed value...

Program debugging is a form of diagnosis that might be referred to as \routine." As such, debugging has similar properties as diagnosis and yet can be solved in a more straightforward manner than many diagnostic problems. Automating the debugging problem is of interest for several reasons. Debugging is a time-consuming process that tends to haunt many programmers from novices to experts. Yet th...

Fault localization is a task in software debugging to identify the set of statements in a program that cause the program to fail. As size and complexity of software grows,and the more developers participate in debugging, fault localization becomes harder than before. Automated fault localization techniques aim to facilitate this task by guiding the developers to a small portion of program that ...

_ N9D is a debugging server with a programmable network interface. NeD is designed to be flexible and extensible enough to support a wide range of debugging needs. Debugging clients communicate with NeD by sending it programs to execute. The programming language, NeDtcl, is tcl[l] extended with 30 debugging specifrc functions. NeD can be useã as a traditional debugger with a textual interface, ...

This paper presents a box-oriented debugging model for the functional logic language ALF. Due to the sophisticated operational semantics of ALF which is based on innermost basic narrowing with simplification, the debugger must reflect the application of the different computation rules during program execution. Hence our debugging model includes not only one box type as in Byrd’s debugging model...

A new style of temporal debugging is proposed. The new URDB debugger can employ such techniques as temporal search for finding an underlying fault that is causing a bug. This improves on the standard iterative debugging style, which iteratively re-executes a program under debugger control in the search for the underlying fault. URDB acts as a meta-debugger, with current support for four widely ...

We present a novel and uniform technique for normal logic program declarative error diagnosis. We lay down the foundations on a general approach to diagnosis using logic programming, and bring out the close relationship between debugging and fault{{nding. Diagnostic debugging can be enacted by contradiction removal methods. It relies on a simple program transformation to provide a contradiction...