Abstract
Today, it is possible to ensure that an Ada compiler conforms to the Ada programming language, but it is not possible to verify the Ada aspects of a symbolic Ada debugger. This paper presents a number of Ada related debugging features, and shows thereby that a symbolic Ada debugger may contain quite a lot of Ada functionality. In fact, one can conclude that the debugger functionality must grow with the number of language constructions available. As Ada is a complex programming language, it is necessary with a verification of the Ada related debugging facilities. A check list and a test suite are suggested as possible tools for Ada debugger evaluations. Finally, it is concluded that an Ada compiler system without a symbolic Ada debugger is not a full featured development environment.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Symbolic Debugging of Ada in Embedded Environments, B. Berland and H.J.H. Larsen, DDC International A/S, 1991
DACS VAX/VMS to 680x0 Bare Symbolic Ada Cross Debugger, User's Guide, DDC International A/S, September 1991
DACS VAX/VMS to 80x86 Bare Symbolic Ada Cross Debugger, User's Guide, DDC International A/S, June 1991
DACS VAX/VMS to 80860 Bare Symbolic Ada Cross Debugger, User's Guide, DDC International A/s, September 1991
Symbolic Debugging System for MIPS R3000, User's Guide, DDC-Inter, Inc., October 1991
Developing Ada Programs on VAX/VMS, Digital Equipment Corporation, 1985 Ada Evaluation, Reader's Guide, BSI Quality Assurance, 1989
Technical Operating Report, User's & Reader's Guides, Ada Compiler Evaluation Capability (ACEC), Release 2.0, 1990
Reference Manual for the Ada Programming Language, ANSI/MIL-STD 1815A, January 1983
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Silberg, S. (1992). Considerations with regard to validation of Ada debuggers. In: van Katwijk, J. (eds) Ada: Moving Towards 2000. Ada-Europe 1992. Lecture Notes in Computer Science, vol 603. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55585-4_17
Download citation
DOI: https://doi.org/10.1007/3-540-55585-4_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55585-8
Online ISBN: 978-3-540-47240-7
eBook Packages: Springer Book Archive