Ada (Tradename) Compiler Validation Summary Report. Intermetrics Inc. Intermetrics 370/UTS Ada Compiler, Version 201.16c. IBM 3083 and IBM 4341.

Abstract

This Validation Summary Report (VSR) summarizes the results and conclusions of validation testing performed on the Intermetrics 370/UTS Ada Compiler, Version 201.16c, using Version 1.8 of the Ada Compiler Validation Capability (ACVC). The Intermetrics 370/UTS Ada Compiler is hosted on an IBM 3083 and an IBM 4341 operating under UTS, Version 2.3. Programs processed by this compiler may be executed on an IBM 3083 or an IBM 4341 operating under UTS, Version 2.3. The Ada Validation Facility identified 2210 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 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, or 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 29 of the processed tests determined to be inapplicable; the remaining 2181 tests were passed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 26, 1986
Accession Number
ADA180069

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

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

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Verification and Validation.