Advertisement

Techniques for testing Ada 95

  • S. R. Waterman
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1251)

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.

Keywords

Ada 95 Testing Controlled Types Protected Objects Hierarchical Libraries 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    A. Burns and A. Wellings, “Concurrency in Ada”, Cambridge University Press, 1995.Google Scholar
  2. [2]
    Intermetrics Inc., “Annotated Ada 95 Reference Manual”, International Standard ANSI/ISO/IEC-8652(E):1995, January 1995.Google Scholar
  3. [3]
    Intermetrics Inc., “Ada 95 Rationale”, Department of Defense Ada Joint Program Office, 1995.Google Scholar
  4. [4]
    J. Liddiard, “Achieving Testability when Using Ada Packaging and Data Hiding Methods”, Ada User, 14(1), March 1993.Google Scholar
  5. [5]
    J. Barnes, “Programming in Ada 95”, Addison-Wesley Publishers Ltd., 1996.Google Scholar
  6. [6]
    “Ada 95 Quality and Style: Guidelines for Professional Programmers”, Department of Defense Ada Joint Program Office, 1995.Google Scholar
  7. [7]
    S. Barbey, “Testing Ada 95 Object-Oriented Programs”, Springer, Lecture Notes in Computer Science vol. 1031, Marcel Toussaint (Ed.)Google Scholar
  8. [8]
    S. Barbey, “Ada 95 as Implementation Language for Object-Oriented Designs”, Ada Europe News issue 23, April 1996.Google Scholar
  9. [9]
    J. Jørgensen and R. Ellis, “A Comparison of the Object Oriented Features of Ada 95 and C++”, Ada UK.Google Scholar
  10. [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. [11]
    I. Gilchrist and J. Liddiard, “A General Purpose Ada Test Harness”, Ada User issue 13, 1992.Google Scholar
  12. [12]
    IPL Technical Paper, “Why Bother to Unit Test?”, IPL Information Processing Limited, August 1996.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • S. R. Waterman
    • 1
  1. 1.Eveleigh HouseIPLBathUK

Personalised recommendations