A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Saving traces for Ada debugging
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
INCENSE: A system for displaying data structures
SIGGRAPH '83 Proceedings of the 10th annual conference on Computer graphics and interactive techniques
ICSE '84 Proceedings of the 7th international conference on Software engineering
Development of a debugger for a concurrent language
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Interactive debugging of concurrent programs (Extended Abstract)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Arcturus: A prototype advanced Ada@@@@ programming environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The design and implementation of a run-time analysis and interactive debugging environment.
The design and implementation of a run-time analysis and interactive debugging environment.
The SNOBOL4 programming language
The SNOBOL4 programming language
The contour model of block structured processes
ACM SIGPLAN Notices
Deterministic execution testing of concurrent Ada programs
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Debugging Concurrent Ada Programs by Deterministic Execution
IEEE Transactions on Software Engineering
A bibliography of parallel debuggers, 1990 edition
ACM SIGPLAN Notices
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
A visual execution model for Ada tasking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Task dependence and termination in Ada
ACM Transactions on Software Engineering and Methodology (TOSEM)
Replay and Testing for Concurrent Programs
IEEE Software
| Hi-index | 0.01 |
The capabilities needed in an Ada debugger are discussed in light of the language's tasking constructs, and the design for a debugger is presented which operates in concert with a single-processor Ada interpreter. This debugger design demonstrates the extensions to sequential debugging techniques that are necessary to handle concurrency, and shows that significant debugging functionality can be provided even without the inclusion of automatic error diagnosis methods. The issues considered include isolation of effects and display of the full dynamic execution status, both of which are essential to diagnosis of concurrent programs.