Ada Compiler Validation Summary Report. Alliant Computer Systems Corporation. Alliant FX/Ada Compiler, Version 1.0 Alliant FX/8 Host and Target.

Abstract

This Validation Summary Report (VSR) summarizes the results and conclusions of validation testing performed on the Alliant FX/Ada Compiler, Version 1.0, using Version 1.8 of the Ada Complier Validation Capability (ACVC). The Alliant FX/Ada Compiler is hosted on an Alliant FX/8 operating under Concentrix, Release 3.0 Programs processed by this complier may be executed on an Alliant FX/8 operating under Concentrix, Release 3.0. On site testing was performed 8 June 1987 through 9 June 1987 at Alliant Computer Systems Corporation, Littleton MA, under the direction of the Ada Validation Facility (AVF), according to Ada Validation Organization (AVO) policies and procedures. The AVF identified 2210 of the 2399 tests in ACVC Version 1.8 to be processed during on-site testing of the complier. The 19 tests withdrawn at the time of validation testing, as well as the 170 executable tests that make use of floating-point precision exceeding that supported by the implementation, were not processed. After the 2210 tests were processed, results for Class A, C, D, and E tests were analyzed for correct diagnosis of syntax and semantic errors. Compilation and link results of Class L tests were analyzed for correct detection of errors. There were 8 of the processed tests determined to be inapplicable. The remaining 2202 tests were passed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 09, 1987
Accession Number
ADA190465

Tags

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Conformity
  • Corporations
  • Department Of Defense
  • Detection
  • Governments
  • High Level Languages
  • Language
  • Law
  • Machine Languages
  • Operating Systems
  • Standards
  • Test Methods
  • United States Government

Readers

  • Software Verification and Validation.