Ada (Trade Name) Compiler Validation Summary Report: Hewlett Packard HP 9000 Series 200/300 Ada Compiler, Revision 1.4 HP 9000 Series 200/300.

Abstract

This report summarizes the results and conclusions of validation testing performed on the HP 9000 Series 200/300 Ada Compiler (Ada/300), Revision 1.4, using Version 1.8 of the Ada Compiler Validation Capability (ACVC). The Ada/300 was tested on the following configurations: HP 9000 Series 200 Model 220 under HP-UX, Rev. 5.141; HP 9000 Series 300 Models 310 and 320 under HP-UX, Rev. 5.141; and HP 9000 Series 300 Models 330 and 350 under HP-UX, Rev. 5.19. On-site testing was performed at Hewlett Packard in Cupertino CA, under the direction of the Ada Validation Facility (AVF). The AVF identified 2102 of the 2399 tests in ACVC Version 1.8 to be processed during on-site testing of the compiler. After the 2102 tests were processed, results for Class A, C, D, or E tests were examined for correct execution. Compilation listings for Class B tests were analyzed for correct diagnosis of syntax and semantic errors. Compilation and link results of Class L tests were analyzed for correct detection for errors. There were 21 of the processed tests determined to be inapplicable. The remaining 2081 tests were passed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 11, 1986
Accession Number
ADA190363

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computers
  • Conformity
  • Department Of Defense
  • Detection
  • Governments
  • High Level Languages
  • Language
  • Law
  • Magnetic Tape
  • Operating Systems
  • Programming Languages
  • Standards
  • Test Methods
  • United States
  • United States Government

Readers

  • Software Verification and Validation.