Accession Number : ADA303743

Title :   Ada Compiler Validation Summary Report: Certificate Number: 951017W2.O-OOl Intermetrics Inc. AdaMagic, Version 2.0 SPARCstation 5 under SUNOS, 4.1.4 => Raytheon Extended Weapons Control Computer (EWCC) (Bare Machine).

Descriptive Note : Final rept.,

Corporate Author : AERONAUTICAL SYSTEMS DIV WRIGHT-PATTERSON AFB OH ADA VALIDATION FACILITY

PDF Url : ADA303743

Report Date : 15 DEC 1995

Pagination or Media Count : 42

Abstract : This report documents the validation testing of an Ada 95 implementation. This testing was conducted according to the Ada Compiler Validation Procedures Version 4.0, using Ada Compiler Validation Capability test suite version 2.0, and completed 17 October 1995.

Descriptors :   *COMPILERS, *ADA PROGRAMMING LANGUAGE, TEST AND EVALUATION, VALIDATION, COMPUTERS, WEAPON CONTROL.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE