This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Development of a debugger for a concurrent language
April 1986 (vol. 12 no. 4)
pp. 547-553
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.
Index Terms:
Debugging,Radiation detectors,Delay,Process control,Runtime,Semantics,Parallel processing,tool transparency,Concurrent programming,debugging,programming environment,program specifications
Citation:
Fabrizio Baiardi, Nicoletta De Francesco, 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
Usage of this product signifies your acceptance of the Terms of Use.