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.
Preview
Unable to display preview. Download preview PDF.
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