Issue No. 04 - April (1986 vol. 12)
Fabrizio Baiardi , Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56100 Pisa, Italy
Nicoletta De Francesco , Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56100 Pisa, Italy
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
F. Baiardi, N. De Francesco and G. Vaglini, "Development of a debugger for a concurrent language," in IEEE Transactions on Software Engineering, vol. 12, no. , pp. 547-553, 1986.