Skip to main content
SpringerLink
Log in

Techniques for testing Ada 95

  • Conference paper
  • First Online:
Reliable Software Technologies — Ada-Europe '97 (Ada-Europe 1997)

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

Included in the following conference series:

  • 128 Accesses

Abstract

The Ada language is widely accepted as the language of choice for the implementation of safety related systems, and as a result much effort has been put into the identification of successful techniques for its testing. In this paper we discuss the impact of the new Ada standard upon the testability of safety related systems, and describe techniques which can be utilised to improve the likelihood of achieving testing success.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Burns and A. Wellings, “Concurrency in Ada”, Cambridge University Press, 1995.

    Google Scholar 

  2. Intermetrics Inc., “Annotated Ada 95 Reference Manual”, International Standard ANSI/ISO/IEC-8652(E):1995, January 1995.

    Google Scholar 

  3. Intermetrics Inc., “Ada 95 Rationale”, Department of Defense Ada Joint Program Office, 1995.

    Google Scholar 

  4. J. Liddiard, “Achieving Testability when Using Ada Packaging and Data Hiding Methods”, Ada User, 14(1), March 1993.

    Google Scholar 

  5. J. Barnes, “Programming in Ada 95”, Addison-Wesley Publishers Ltd., 1996.

    Google Scholar 

  6. “Ada 95 Quality and Style: Guidelines for Professional Programmers”, Department of Defense Ada Joint Program Office, 1995.

    Google Scholar 

  7. S. Barbey, “Testing Ada 95 Object-Oriented Programs”, Springer, Lecture Notes in Computer Science vol. 1031, Marcel Toussaint (Ed.)

    Google Scholar 

  8. S. Barbey, “Ada 95 as Implementation Language for Object-Oriented Designs”, Ada Europe News issue 23, April 1996.

    Google Scholar 

  9. J. Jørgensen and R. Ellis, “A Comparison of the Object Oriented Features of Ada 95 and C++”, Ada UK.

    Google Scholar 

  10. M. Harrold and J. McGregor, “Incremental Testing of Object-Oriented Class Structures”, International Conference on Software Engineering, May 1992, ACM Inc.

    Google Scholar 

  11. I. Gilchrist and J. Liddiard, “A General Purpose Ada Test Harness”, Ada User issue 13, 1992.

    Google Scholar 

  12. IPL Technical Paper, “Why Bother to Unit Test?”, IPL Information Processing Limited, August 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Eveleigh House, IPL, Grove Street, BA1 5LR, Bath, UK

    S. R. Waterman

Authors
  1. S. R. Waterman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Keith Hardy Jim Briggs

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Waterman, S.R. (1997). Techniques for testing Ada 95. In: Hardy, K., Briggs, J. (eds) Reliable Software Technologies — Ada-Europe '97. Ada-Europe 1997. Lecture Notes in Computer Science, vol 1251. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63114-3_25

Download citation

  • DOI: https://doi.org/10.1007/3-540-63114-3_25

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63114-9

  • Online ISBN: 978-3-540-69150-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation