Ada (Trade Name) Compiler Validation Summary Report: Verdix Corporation. VADS VAda-010-03405, Version 5.41 MicroVAX II-to-Fairchild 9450.

Abstract

This report summarizes the results and conclusions of validation testing performed on the Verdix Ada Development System, VADS VAda-010-03405, Version 5.41, using Version 1.8 of the Ada Compiler Validation Capability. VADS is hosted on a MicroVAX II operating under MicroVMS, Version 4.2. Programs processed by this compiler may be executed on a Fairchild 9450 implementation of MIL-STD-1750A. On-site testing was performed at Verdix Corp. under the direction of the Ada Validation Facility (AVF). The AVF identified 2138 of the 2399 tests in ACVC Version 1.8 to be processed during on-site testing of the compiler. After the 2138 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 for Class L tests were analyzed for correct detection of errors. There were 22 of the processed tests determined to be inapplicable. The remaining 2116 tests were passed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 20, 1986
Accession Number
ADA190358

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

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

Readers

  • Software Verification and Validation.