Abstract
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
Abbreviations
- ACVC:
-
Ada Compiler Validation Capability
- AVF:
-
Ada Validation Facility
- AJPO:
-
Ada Joint Program Office
- AVO:
-
Ada Validation Organisation
- AMO:
-
ACVC Maintenance Organisation
References
Reference Manual for the Ada Programming Language, ANSI/-MIL-STD 1815A, Washington D.C., 1983.
Ada Compiler Validation Procedures, Version 3.1. Ada Joint Program Office, US Department of Defense, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tonndorf, M. (1993). An efficient compiler validation method for Ada 9X. In: Gauthier, M. (eds) Ada - Europe '93. Ada-Europe 1993. Lecture Notes in Computer Science, vol 688. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56802-6_8
Download citation
DOI: https://doi.org/10.1007/3-540-56802-6_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56802-5
Online ISBN: 978-3-540-47748-8
eBook Packages: Springer Book Archive