Accession Number : ADA190358

Title :   Ada (Trade Name) Compiler Validation Summary Report: Verdix Corporation. VADS VAda-010-03405, Version 5.41 MicroVAX II-to-Fairchild 9450.

Corporate Author : INFORMATION SYSTEMS AND TECHNOLOGY CENTER W-P AFB OH ADA VALIDATION FACILITY

PDF Url : ADA190358

Report Date : 20 Dec 1986

Pagination or Media Count : 40

Abstract : This report summarizes the results and conclusions of validation testing performed on the Verdix Ada Development System, VADS VAda-010-03405, Version 5.41, using Version 1.8 of the Ada Compiler Validation Capability. VADS is hosted on a MicroVAX II operating under MicroVMS, Version 4.2. Programs processed by this compiler may be executed on a Fairchild 9450 implementation of MIL-STD-1750A. On-site testing was performed at Verdix Corp. under the direction of the Ada Validation Facility (AVF). The AVF identified 2138 of the 2399 tests in ACVC Version 1.8 to be processed during on-site testing of the compiler. After the 2138 tests were processed, results for Class A,C,D, and E tests were examined for correct execution. Compilation listings for Class B tests were analyzed for correct diagnosis of syntax and semantic errors. Compilation and link results for Class L tests were analyzed for correct detection of errors. There were 22 of the processed tests determined to be inapplicable. The remaining 2116 tests were passed.

Descriptors :   *COMPILERS, DETECTION, DIAGNOSIS(GENERAL), ERRORS, SEMANTICS, SYNTAX, TEST AND EVALUATION, VALIDATION, HIGH LEVEL LANGUAGES, FLOATING POINT OPERATION

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE