Ada (Trade Name) Compiler Validation Summary Report: DDC International. DDC Ada Compiler System, Version 4.1, VAX-11/785, VAX-11/750 MicroVAX II, VAX 8200, VAX 8650.

Abstract

This report summarizes the results and conclusions of validation testing performed on the DDC Ada Compiler System, Version 4.1, using Version 1.8 of the ADA Compiler Validation Capaibility (ACVC). The DDC Ada Compiler System was tested on the following configurations: VAX-11/785 and VAX-11/750 under VMS, Release 4.3; MicroVAX II under MicroVMS, Release 4.4; and VAX 8200 and VAX 8650 under VMS, Release 4.4. On-site testing was performed at DDC International in Lyngby. Denmark under the direction of the Ada Validation Facility (AVF). The AVF identified 2210 of the 2399 tests in ACVC Version 1.8 to be processed during on-site testing of the compiler. 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 31 of the proceeded tests determined to be inapplicable. The remaining 2179 tests were passed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 31, 1986
Accession Number
ADA190360

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

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

Readers

  • Software Verification and Validation.