Publication | Closed Access
Development of a debugger for a concurrent language
73
Citations
0
References
1986
Year
EngineeringSoftware EngineeringProgram DebuggingConcurrent SystemSoftware AnalysisFormal VerificationStatic CheckingConcurrent LanguageConcurrent ProgrammingComputer EngineeringComputer ScienceDebuggerStatic Program AnalysisSoftware DesignConcurrent ProgramsProgram AnalysisSoftware TestingFormal MethodsParallel ProgrammingSystem Software
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.