Ada (Trade Name) Compiler Validation Summary Report: Intermetrics, Inc. Intermetrics 1750A Ada Real-Time Compiler, Version 201.16c IBM 3083 Host, Hughes JOVIAL/1750A Debugger, Release 004D Target

摘要

This report summarizes results and conclusions of validation testing performed on the Intermetrics 1750A Ada Real-Time Compiler, Version 201.16c, using Version 1.8 of the Ada Compiler Validation Capability (ACVC). The Intermetrics 1750A Ada Real-Time Compiler is hosted on an IBM 3083 operating under VM/HPO using CMS), Release 4.2. Programs processed by this compiler may be executed on a Hughes JOVIAL/1750A Debugger, Release 004D having no operating system. The Hughes JOVIAL/1750A Debugger simulates a MIL-STD-1750A Instruction Set Architecture with console I/O and no other optional features. On-site testing was performed at Cambridge, MA, under the direction of the Ada Validation Facility (AVF). The AVF identified 1938 of the 2399 tests in ACVC Version 1.8 to be processed during on-site testing of the compiler. After the 1938 tests were processed, results for Class A, C, D, and 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 for Class L tests were analyzed for correct detection of errors. There were 29 of the processed tests determined to be inapplicable. The remaining 1909 test were passed.