Ada Validation Summary Report. ALS AdaVAX Version 1.1 VAX-11/780 using VAX/VMS Release 3.6.

Abstract

Under U.S. Army Contract DAAK80-C-0507, SofTech, Incorporated has developed an Ada compilation system for the Department of the Army, Headquarters USA, Communications Electronic Command. The compiler, ALS AdaVAX version 1.25, was tested against version 1.4 of the Ada Compiler Validation Capability (ACVC) test suite on a VAX-11/780 operating under VAX/VMS version 3.6. Version 1.4 of the testsuite contained 2185 tests, of which 1943 were applicable to this implementation. Of the applicable tests, 74 were withdrawn due to errors in the tests. Of the remaining applicable correct tests, all (1875) passed, and no anomaly was discovered. Keywords include: Ada Compiler Validation Summary Report, VSR, Ada Language System, ALS, Validation Testing, Ada Compiler Validation Capability, ACVC, FSTC, Ada Validation Office, AVO, AVF, Ada Validation Facility, AJPO, U.S. Army CECOM, SofTech, ALS AdaVAX, VMS3.6, ANSI MIL/SDT Ada and ACVC Version 1.4.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 31, 1984
Accession Number
ADA153684

Tags

Communities of Interest

  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Contracts
  • Electronics
  • Governments
  • High Level Languages
  • Information Systems
  • Language
  • Law
  • Operating Systems
  • Software Development
  • Software Testing
  • Standards
  • United States Government
  • Validation

Fields of Study

  • Engineering

Readers

  • Software Verification and Validation.

Technology Areas

  • Microelectronics
  • Microelectronics - Microelectromechanical Systems