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

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:IEEE transactions on software engineering Ročník SE-12; číslo 4; s. 547 - 553
Hlavní autori: Baiardi, F., De Francesco, N., Vaglini, G.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: New York, NY IEEE 01.04.1986
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
Bibliografia: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