Development of a debugger for a concurrent language

The authors discuss issues related to 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 concurrent langu...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering Vol. SE-12; no. 4; pp. 547 - 553
Main Authors: Baiardi, F., De Francesco, N., Vaglini, G.
Format: Journal Article
Language:English
Published: New York, NY IEEE 01.04.1986
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Subjects:
Applied sciences
Computer programming
Computer science; control theory; systems
Concurrent programming
Debugging
Delay
Design
Exact sciences and technology
Parallel processing
Process control
program specifications
programming environment
Programming languages
Programs
Radiation detectors
Runtime
Semantics
Software
tool transparency
Utility programs
Software tool
Distributed system
Concurrent language
Program specification
Concurrent
Debugging
ISSN:0098-5589, 1939-3520
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The authors discuss issues related to 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 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 behaviour. 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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.1986.6312902