Development of a debugger for a concurrent language
Discusses some issues in the debugging of concurrent programs. A set of desirable characteristics of a debugger for concurrent languages is deduced from an examination of the differences between the debugging of concurrent programs and that of sequential ones. A debugger for a concurrent language, derived from CSP, is then presented. It is based upon a semantic model of the supported language. The debugger enables one to compare a description of the program behaviour to the actual behaviour as well as to evaluate assertions on the process state. The description of the behaviour is given by a formalism whose semantics is also specified. The formalism can specify program behaviours at various abstraction levels. Lastly some guidelines for the implementation of the debugger are shown and a detailed example of program description is analyzed. 12 references.
- Research Organization:
- Univ. di Pisa, Italy
- OSTI ID:
- 5084214
- Report Number(s):
- CONF-8303202-
- Journal Information:
- SIGPLAN Not.; (United States), Journal Name: SIGPLAN Not.; (United States) Vol. 8; ISSN ASINB
- Country of Publication:
- United States
- Language:
- English
Similar Records
AdaTAD: a debugger for the Ada multi-task environment
A knowledge-based system for debugging concurrent software