Issue No.04 - April (1986 vol.12)
Gigliola Vaglini , Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56100 Pisa, Italy
This work deals with some issues concerned in the debugging of concurrent programs. A set of desirable characteristics for a debugger for concurrent languages is deduced from a review of the differences between the debugging of concurrent programs and that of sequential ones. A debugger for a concurrent language, based upon CSP, is then described. The debugger makes it possible to compare a description of the expected program behavior to the actual behavior. The description of the behavior is given in terms of expressions composed by events and/or assertions on the process state. The developed formalism is able to describe behaviors at various levels of abstraction. Lastly, some guidelines for the implementation of the debugger are given and a detailed example of program debugging is analyzed.
Debugging, Radiation detectors, Delay, Process control, Runtime, Semantics, Parallel processing, tool transparency, Concurrent programming, debugging, programming environment, program specifications
Gigliola Vaglini, "Development of a debugger for a concurrent language", IEEE Transactions on Software Engineering, vol.12, no. 4, pp. 547-553, April 1986, doi:10.1109/TSE.1986.6312902