An efficient compiler validation method for Ada 9X
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.