Ada (Trade Name) Compiler Validation Summary Report: SofTech, Inc. AdaVAX Compiler Version 2.47, VAX8600, VAX-11/780, VAX-11/785; and MicroVAX II Using VAX/VMS Version 4.1 and MicroVMS 4.1M.

Abstract

The purpose of this Validation Summary Report is to present the results and conclusions of performing standardized tests on the SofTech-AdaVAX compiler, Version 2.47. On-site testing was performed by the Federal Software Management Support Center (FSMSC)--an Ada Validation Facility--in accordance with current Ada Validation Office policies and procedures. Testing was done on the VAX-11/780, the VAX-11/785, and the VAX 8600. The suite of test known as the Ada Compiler Validation Capability (ACVC), Version 1.6, was used. The ACVC suite of tests is used to validate conformance of the compiler to ANSI/MIL-STD-1815A (Ada). The SofTech Compiler AdaVAX, Version 2.47, using VAX/VMS 4.1 and MicroVMS 4.1M, were tested with version 1.6 of the ACVC validation tests. The SofTech AdaVAX Ada Compiler was also tested.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 30, 1985
Accession Number
ADA166213

Entities

Organizations

  • SofTech, Inc.

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Governments
  • High Level Languages
  • Language
  • Law
  • New Jersey
  • Operating Systems
  • Optimization
  • Programming Languages
  • Software Development
  • Standards
  • United States
  • United States Government

Readers

  • Software Verification and Validation.