An efficient compiler validation method for Ada 9X

  • Michael Tonndorf
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 688)


This paper describes a method which minimises the manual effort that is required to analyse the result of an Ada compiler validation. The method is not dependent on the actual validation policy as issued by the AJPO, but applies to general principles of compiler validation. The essential idea behind any attempt to reduce validation effort is automatic comparison of a new result (candidate) with an already known result (base). This procedure can be optimised by reusing as much informations as possible obtained by previous validations.

Glossary of Terms and Abbreviations


Ada Compiler Validation Capability


Ada Validation Facility


Ada Joint Program Office


Ada Validation Organisation


ACVC Maintenance Organisation


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ARM 83]
    Reference Manual for the Ada Programming Language, ANSI/-MIL-STD 1815A, Washington D.C., 1983.Google Scholar
  2. [Pro 92]
    Ada Compiler Validation Procedures, Version 3.1. Ada Joint Program Office, US Department of Defense, 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Michael Tonndorf
    • 1
  1. 1.Department Software-Technology ITEAda Validation Facility Industrieanlagen-Betriebsgesellschaft mbH (IABG)OttobrunnGermany

Personalised recommendations