Ada (Trade Name) Compiler Validation Summary Report: Gould, Inc. APLEX Ada Compiler, Version 1.0 Gould Powernode Model 9080 Host and 6080 Target.

Abstract

This Validation Summary Report summarizes the results and conclusions of validation testing performed on the APLEX Ada Compiler, Version 1.0, using Version 1.8 of the Ada Compiler Validation Capability (ACVC). The APLEX Ada Compiler is hosted on a Gould PowerNode Model 9080 operating under UTX/32, Version 2.0. Programs processed by this compiler may be executed on a Gould PowerNode Model 6080 having no operating system. On-site testing was performed 18 May 1987 through 21 May 1987 at Gould, Inc. in Ft. Lauderdale FL, under the direction of the Ada Validation Facility (AVF), according to Ada Validation Organization policies and procedures. The AVF identified 2102 of the 2399 tests in ACVC Version 1.8 to be processed during on-site testing of the compiler. The 19 tests withdrawn at the time of validation testing, as well as the 278 executable tests that make use of floating-point precision exceeding that supported by the implementation, were not processed. After the 2102 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 of Class L tests were analyzed for correct detection of errors. There were 63 of the processed tests determined to be inapplicable. The remaining 2039 tests were passed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 21, 1987
Accession Number
ADA191637

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

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

Readers

  • Software Verification and Validation.