Ada (Tradename) Compiler Validation Summary Report. CAP Industry Ltd. CAPTACS-E286, V1.0. Host: DEC VAX 8800. Target: INTEL 80286.

Abstract

This Validation Summary Report (VSR) summarizes the results and conclusions of validation testing performed on the CAPTACS-E286, V1.0 using Version 1.8 of the Ada* Compiler Validation Capability (ACVC). The CAPTACS-E286 hosted on a DEC VAX 8800 operating under VMS, V4.4. Programs processed by this compiler may be executed on an INTEL 80286. The National Computing Center 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 88 of the processed tests determined to be inapplicable; The remaining 2122 tests were passed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 11, 1986
Accession Number
ADA180062

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

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

Readers

  • Software Verification and Validation.