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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on software engineering Jg. SE-12; H. 4; S. 547 - 553
Hauptverfasser: Baiardi, F., De Francesco, N., Vaglini, G.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York, NY IEEE 01.04.1986
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Bibliographie: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