Ada Compiler Validation Summary Report. Certificate Number: 950622I1.11392, Tartan, Inc., Tartan Ada SPARC/C3x, Version 5.1, Sun SPARCstation 5=> Texas Instruments TMS320C30.

Abstract

This Ada implementation was tested and determined to pass ACVC 1.11. Testing was completed on 22 June 1995. Host Computer System: Sun SPARCstation 5 under SunOS, Release 4.1.4 Target Computer System: Texas Instruments TMS320C30 Application Board (bare machine)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 28, 1995
Accession Number
ADA298077

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • High Level Languages
  • Host Computers
  • Language
  • Machine Languages
  • Object Code
  • Operating Systems
  • Plastic Explosives
  • Programming Languages
  • Side Effects
  • Software Development
  • Standards
  • Validation
  • Wounds And Injuries

Readers

  • Software Verification and Validation.