Skip to main content
SpringerLink
Log in
Book cover

Ada-Europe International Conference

Ada-Europe 1992: Ada: Moving Towards 2000 pp 197–213Cite as

Considerations with regard to validation of Ada debuggers

  • Conference paper
  • First Online:

  • 131 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 603))

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.

Preview

Unable to display preview. Download preview PDF.

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

    Google Scholar 

  • DACS VAX/VMS to 680x0 Bare Symbolic Ada Cross Debugger, User's Guide, DDC International A/S, September 1991

    Google Scholar 

  • DACS VAX/VMS to 80x86 Bare Symbolic Ada Cross Debugger, User's Guide, DDC International A/S, June 1991

    Google Scholar 

  • DACS VAX/VMS to 80860 Bare Symbolic Ada Cross Debugger, User's Guide, DDC International A/s, September 1991

    Google Scholar 

  • Symbolic Debugging System for MIPS R3000, User's Guide, DDC-Inter, Inc., October 1991

    Google Scholar 

  • Developing Ada Programs on VAX/VMS, Digital Equipment Corporation, 1985 Ada Evaluation, Reader's Guide, BSI Quality Assurance, 1989

    Google Scholar 

  • Technical Operating Report, User's & Reader's Guides, Ada Compiler Evaluation Capability (ACEC), Release 2.0, 1990

    Google Scholar 

  • Reference Manual for the Ada Programming Language, ANSI/MIL-STD 1815A, January 1983

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DDC International A/S, Gl. Lundtoftevej 1B, DK-2800, Lyngby, Denmark

    Steen Silberg

Authors
  1. Steen Silberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. van Katwijk

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation