A methodology and distributed tool for debugging dataflow programs

A distributed debugging methodology for data-flow architectures is presented. A graphical debugging simulator for a data-flow machine is being developed to debug compiled high-level data-flow programs. The ideas of the debugging methodology are outlined and the debugging simulator is described. Special emphasis is paid to the multipass feature of the debugging simulator, which solves the nonreproducibility problem of distributed debuggers and allows the user to execute the program more than once with the identical instruction sequence to be sure that a fault has been removed