Techniques for testing Ada 95
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.
KeywordsAda 95 Testing Controlled Types Protected Objects Hierarchical Libraries
Unable to display preview. Download preview PDF.
- A. Burns and A. Wellings, “Concurrency in Ada”, Cambridge University Press, 1995.Google Scholar
- Intermetrics Inc., “Annotated Ada 95 Reference Manual”, International Standard ANSI/ISO/IEC-8652(E):1995, January 1995.Google Scholar
- Intermetrics Inc., “Ada 95 Rationale”, Department of Defense Ada Joint Program Office, 1995.Google Scholar
- J. Liddiard, “Achieving Testability when Using Ada Packaging and Data Hiding Methods”, Ada User, 14(1), March 1993.Google Scholar
- J. Barnes, “Programming in Ada 95”, Addison-Wesley Publishers Ltd., 1996.Google Scholar
- “Ada 95 Quality and Style: Guidelines for Professional Programmers”, Department of Defense Ada Joint Program Office, 1995.Google Scholar
- S. Barbey, “Testing Ada 95 Object-Oriented Programs”, Springer, Lecture Notes in Computer Science vol. 1031, Marcel Toussaint (Ed.)Google Scholar
- S. Barbey, “Ada 95 as Implementation Language for Object-Oriented Designs”, Ada Europe News issue 23, April 1996.Google Scholar
- J. Jørgensen and R. Ellis, “A Comparison of the Object Oriented Features of Ada 95 and C++”, Ada UK.Google Scholar
- M. Harrold and J. McGregor, “Incremental Testing of Object-Oriented Class Structures”, International Conference on Software Engineering, May 1992, ACM Inc.Google Scholar
- I. Gilchrist and J. Liddiard, “A General Purpose Ada Test Harness”, Ada User issue 13, 1992.Google Scholar
- IPL Technical Paper, “Why Bother to Unit Test?”, IPL Information Processing Limited, August 1996.Google Scholar