Skip to main content
SpringerLink
Log in

Ada compiler validation: An example of software testing theory and practice

  • Conference paper
  • First Online:
System Development and Ada

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

  • 147 Accesses

Abstract

The Ada Compiler Validation Capability is a set of tests used to check the conformity of Ada compilers to the Ada Standard. This paper discusses the philosophy and development of these tests from a “lessons learned” perspective, and points out lessons that apply to the testing of other large software projects. Examples of tests and test outputs are given.

On leave of absence from SofTech, Inc.

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. Reference Manual for the Ada Programming Language MIL-STD-1815 edition, 1980.

    Google Scholar 

  2. Reference Manual for the Ada Programming Language Draft, July 1982 edition, 1982.

    Google Scholar 

  3. Reference Manual for the Ada Programming Language ANSI/MIL-STD-1815A-1983 edition, 1983.

    Google Scholar 

  4. Goodenough, J. B. Ada Compiler Validation Implementers' Guide. Technical Report, SofTech, Inc., October, 1980.

    Google Scholar 

  5. Goodenough, J. B. Ada Compiler Validation Implementers' Guide. Technical Report, SofTech, Inc., December, 1986.

    Google Scholar 

  6. Carlson, W. E. Ada: A promising beginning. COMPUTER 14(6):13–15, June, 1981.

    Google Scholar 

  7. Currit, P. A., Dyer, M., and Mills, H. D. Certifying the reliability of software. IEEE Transactions on Software Engineering SE-12(1):3–11, January, 1986.

    Google Scholar 

  8. Goodenough, J. B. The Ada compiler validation capability. COMPUTER 14(6):57–64, June, 1981.

    Google Scholar 

  9. Hoyt, P. M. The Navy FORTRAN validation system. In AFIPS Conference Proceedings 1977 National Computer Conference, pages 529–537. 1977.

    Google Scholar 

  10. Oliver, P. Experiences in building and using compiler validation systems. In AFIPS Conference Proceedings 1979 National Computer Conference, pages 1051–1057. 1979.

    Google Scholar 

  11. Wichmann, B. A. and Ciechanowicz, Z. J. (editors). Pascal Compiler Validation. John Wiley & Sons, 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Wang Institute of Graduate Studies, USA

    John B. Goodenough

Authors
  1. John B. Goodenough
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

A. Nico Habermann Ugo Montanari

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Goodenough, J.B. (1987). Ada compiler validation: An example of software testing theory and practice. In: Habermann, A.N., Montanari, U. (eds) System Development and Ada. Lecture Notes in Computer Science, vol 275. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18341-8_22

Download citation

  • DOI: https://doi.org/10.1007/3-540-18341-8_22

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-47885-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation