The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - April (1986 vol.12)
pp: 547-553
Gigliola Vaglini , Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56100 Pisa, Italy
ABSTRACT
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.
INDEX TERMS
Debugging, Radiation detectors, Delay, Process control, Runtime, Semantics, Parallel processing, tool transparency, Concurrent programming, debugging, programming environment, program specifications
CITATION
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
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool