Ada (Tradename) Compiler Validation Summary Report. Systems Designers plc, SD Ada-Plus VAX/VMS x MC68020 Version 2B.00. Host: VAX 8600. Target: Motorola MC68020.

Abstract

This Validation Summary Report (VSR) summarizes the results and conclusions of validation testing performed on the SD Ada-Plus VAX/VMS x MC68020, 2B.00, using Version 1.8 of the Ada* Compiler Validation Capability (ACVC). The SD Ada-Plus VAX/VMS x MC68020 is hosted on a VAX 8600 operating under VMS, 4.2. Programs processed by this compiler may be executed on a Motorola MC68020. The National Computing Centre 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, 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 184 of the processed tests determined to be inapplicable; The remaining 1918 tests were passed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1986
Accession Number
ADA180064

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

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

Readers

  • Software Verification and Validation.