Ada Compiler Validation Summary Report. Certificate Number: 950615W1.11387, Green Hills Software, Inc., Green Hills Optimizing Ada Compiler, Version 1.8.7B. SPARCstation 10 Under SunSO, Release 4.1.3 -> Heurikon R4600 Laguna Under VxWorks, 5.1.

Abstract

This Ada implementation was tested and determined to pass ACVC 1.11. Testing was completed on 15 June 1995. Host Computer System: SPARCstation 10 (under SunOS, Release 4.1.3) Target Computer System: Heurikon R4600 Laguna (under VxWorks, 5.1) (KAR) P. 2

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 23, 1995
Accession Number
ADA296830

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • High Level Languages
  • Host Computers
  • Language
  • Machine Languages
  • Magnetic Tape
  • Object Code
  • Operating Systems
  • Programming Languages
  • Software Development
  • Specifications
  • Standards
  • Validation

Fields of Study

  • Computer science

Readers

  • Software Verification and Validation.