Ada Compiler Validation Summary Report: Certificate Number: 940305W1. 11335 TLD Systems, Ltd. TLD Comanche VAX/1960 Ada Compiler System, Version 4.1.1 VAX Cluster under VMS 5.5 => Tronix JIAWG Execution Vehicle (i960MX) under TLD Real Time Executive, Version 4.1.1

Abstract

Contents: Use of this validation summary report; ACVC test classes; Definition of terms; Implementation dependencies; Withdrawn tests; Inapplicable tests; Test modification; Processing information; Testing environment; Summary of test results; Test execution

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 14, 1994
Accession Number
ADA278080

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Application Software
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Debugging
  • Foreign Languages
  • High Level Languages
  • Host Computers
  • Language
  • Law
  • Machine Languages
  • Magnetic Tape
  • Object Code
  • Operating Systems
  • Programming Languages
  • Software Development

Fields of Study

  • Computer science
  • Engineering

Readers

  • Aerospace Test and Evaluation
  • Software Verification and Validation.