Accession Number : ADA191636

Title :   Ada (Trade Name) Compiler, Validation Summary Report: TLD Systems Ltd. TLD VAX/1750A Ada Compiler System. Version 1.0.0., MicroVAX II Host and TLD 1750A Instruction.

Corporate Author : AERONAUTICAL SYSTEMS DIV WRIGHT-PATTERSON AFB OH ADA VALIDATION FACILITY

PDF Url : ADA191636

Report Date : 22 Jun 1987

Pagination or Media Count : 37

Abstract : This Validation Summary Report summarizes the results and conclusions of validation testing performed on the TLD VAX/1750A Ada Compiler System, Version 1.0.0, using Version 1.8 of the Ada Compiler Validation Capability (ACVC). The TLD VAX/1750A Ada Compiler System is hosted on a MicroVAX II operating under MicroVMS, Version 4.5. Programs processed by this compiler may be executed on a TLD 1750A Instruction Level Simulator, Version 0.4.4 running the TLD 1750A Single Program Kernel. On-site testing was performed 19 June 1987 through 22 June 1987 at TLD Systems Ltd., Torrance CA, under the direction of the Ada Validation Facility (AVF), according to Ada Validation Organization policies and procedures. The AVF identified 2102 of the 2399 tests in ACVC Version 1.8 to be processed during on-site testing of the compiler. The 19 tests withdrawn at the time of validation testing, as well as the 278 executable tests that make use of floating-point precision exceeding that supported by the implementation, were not processed. After the 2102 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 of Class L tests were analyzed for correct detection of errors. There were 185 of the processed tests determined to be inapplicable. The remaining 1917 tests were passed.

Descriptors :   *COMPILERS, *COMPUTER PROGRAM VERIFICATION, DETECTION, DIAGNOSIS(GENERAL), ERRORS, POLICIES, SEMANTICS, SYNTAX, TEST AND EVALUATION, TIME, VALIDATION, PROGRAMMING LANGUAGES

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE