Techniques for testing Ada 95

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1251, Issue , 1997, Pages 278-291

  Waterman, S R ^a  

^a IPL   (United Kingdom)

Author keywords

Ada 95; Controlled types; Hierarchical libraries; Protected objects; Testing

Indexed keywords

COMPUTATIONAL LINGUISTICS; SAFETY TESTING; TESTING;

ADA 95; CONTROLLED TYPES; HIERARCHICAL LIBRARIES; PROTECTED OBJECT; SAFETY-RELATED SYSTEMS; TESTABILITY;

ADA (PROGRAMMING LANGUAGE);

EID: 84957709892     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63114-3_25     Document Type: Conference Paper

References (12)

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