I REPORT DOCUMENTATION PAGE -A248 0 AD 563 cuma,.n,.u o 1.AG ENCY USE ONLY (L.a 3.R EPORT TYPE AND DATES COVERED Final: 30 Jan 1991 to 01 June 1993 4. TITLE AND SUBTITLE 5. FUNDING NUMBERS Validation Summary Report: SD-SCicon UK Limited, XD Ada MC68040 Version 1.2, Local Area VAX cluster (Host) to MC68040 processor on a Motorla MVME165 (Target), 911128N1.11230 6. AUTHOR(S) National Computing Centre Limited Manchester, UNITED KINGDOM 7. PERFORMING ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION National Computing Centre Limited REPORT NUMBER Oxford Road AVF-VSR-90502/80 Manchester MI 7ED UNITED KINGDOM 9. SPONSORING/MONITORING AGENCY NAME(S) AND ADDRESS(ES) 10. SPONSORINGNMONITORING AGENCY Ada Joint Program Office REPORT NUMBER United States Department of Defense Washington, D.C. 20301-3081 11. SUPPLEMENTARY NOTES 12a. DISTRIBUTIONIAVAJLABILITY STATEMENT 12b. DISTRIBUTION CODE Approved for public release; distribution unlimited. 13. ABSTRACT (Maximum 200 words) : SD-SCicon UK Limited, XD Ada MC68040 Version 1.2, Wright-Patterson AFB, Local Area VAX cluster (comprising a VAX server 36000.2 MicroVAX 2000's and MicroVAX II machines)(Host) to MC68040 processor on a Motorla MVME165 board(Target), ACVC 1.11. DTI IIAPRI131991 a-CT,i 192 14. SUBJECT TERMS I 5-NMBE OF PAGES Ada programming language, Ada Compiler Val. Summary Report, Ada Compiler Val. 16._PRICECODE Capability, Val. Testing, Ada Val. Office, Ada Val. Facility, ANSI/MIL-STD-1815A, AJPO. 16. PRICE CODE 17. SECURITY CLASSIFICATION 18. SECURITY CLASSIFICATION 19. SECURITY CLASSIFICATION 20. UMITATION OF ABSTRACT OF REPORT OF ABSTRACT UNCLASSIFIED UNCLASSIFED UNCLASSIFIED NSN 7540-01-280-550 Standard Form 296. (Rev. 2-69) P..scrlbd by ANSI Sid. 239-128 Certificate Information The following Ada implementation was tested and determined to pass ACVC 1.11. Testing was completed on 28 November 1991. Compiler Name and Version: XD Ada MC68040 Version 1.2 Host Computer System: Local Area VAX cluster (comprising a VAXserver 3600, 2 MicroVAX 2000's and MicroVAX 11 machines (under VMS 5.4) Target Computer System: MC68040 processor on a Motorola MVME165 board (bare machine) See section 3.1 for any additional information about the testing environment. As a result of this validation effort, Validation Certificate # 911128N1. 11230 is awarded to SD-Scicon UK Limited. This certificate expires on 1 March 1993. This report has been reviewed and is approved. Jon LeW - Manager, System Software Testing The National Computing Centre Limited Oxford Road Manchester NTIS GPAS I M1 7ED DIC TAB I England DtICTA 0 -- , By____ Direct ter and Software Engineering Division Dystribu, Instit te foY1Defense Analyses D-tr--" Ada Validation Organization codes Alexandria VA 22311 ht AvS Peoelaa'IaO- Program Office Dr. John Solomond, Director Department of Defense Washington DC 20301 Vat Idt Ink nry RelPt AWVImy90502/0 W-clcan UK Limited X Ad WASM Vwruian 1.2 AVF Control Number: AVFVSR-90502/80 920130 Ada COMPILER VALIDATION SUMMARY REPORT: - Certificate Number: # 911128N1.11230 SD-Scicon UK Limited XD Ada MC68040 Version 1.2 Local Area VAX cluster (comprising a VAXserver 3600, 2 MicroVAX 2000's and MicroVAX II machines) Host and MC68040 processor on a Motorola MVME165 board target. Prepared By: Testing Services The National Computing Centre Limited Oxford Road Manchester M1 7ED England Template Version 91-05-08 92-09335 22 4 10 o 5 3 IlIlA Ili 1i IiIII Validation Saimry Report AVF VSI 90502/80 W-Scicon UK Limited X Ada NC680/0 Version 1.2 TESTING No. 0=1Q~ DECLARATION OF CONFORMANCE The following declaration of conformance was supplied by the customer. Declaration of Conformance Customer: SD-Scicon UK Limited Ada Validation Facility: The National Computing Centre Limited - - ACVC Version: 1.11 Ada Implementation: Ada Compiler Name and Version: XD Ada MC68040 Version 1.2 Host Computer System: Local Area VAX cluster (comprising a VAXserver 3600, 2 MicroVAX 2000's and MicroVAX II machines) (under VMS 5.4) Target Computer System: MC68040 processor on a Motorola MVME165 board (bare machine) Declaration: [lweI, the undersigned, declare that JI/wej have no knowledge of deliberate deviations from the Ada Language Standard ANSI/MIL-STD-1815A ISO 8652-1987 in the implementation listed above. Vatidtion S~mry Report AWWYS90502/80 SD-Scicon UK Limited XD Ad C6u8W Version 1.2 TABLE OF CONTENTS TABLE OF CONTENTS CHAPTER 1 ........................................................... 1 INTRODUCTION ....................................................... 1 1.1 USE OF THIS VALIDATION SUMMARY REPORT ................. 1 1.2 REFERENCES .............................................. 1 1.3 ACVC TEST CLASSES ........................................ 2 1.4 DEFINITION OF TERMS ..................................... 3 CHAPTER 2 ........................................................... 1 IMPLEMENTATION DEPENDENCIES ....................................... 1 2.1 WITHDRAWN TESTS .................................. ..... 1 2.2 INAPPLICABLE TESTS ....................................... 1 2.3 TEST MODIFICATIONS ...................................... 3 CH APTER 3 ........................................................... 1 PROCESSING INFORMATION ............................................. 1 3.1 TESTING ENVIRONMENT .................................... 1 3.2 SUMMARY OF TEST RESULTS ................................ 2 3.3 TEST EXECUTION .......................................... 3 APPEND IX A .......................................................... 1 MACRO PARAMETERS .................................................. 1 APPEND IX B .......................................................... 1 COMPILATION SYSTEM OPTIONS ......................................... 1 APPEND IX C .......................................................... 1 APPENDIX F OF THE Ada STANDARD ..................................... 1 Validation Sumry RI wt AVFYSR90502/80 -Scicon LK Limited TabLe of Contents - Pqge I of 1 30 Ada CA)O Version 1.2 INTRODUCTION CHAPTER 1 INTRODUCTION The Ada implementation described above was tested according to the Ada Validation Procedures [Pro9O] against the Ada Standard [Ada83] using the current Ada Compiler Validation Capability (ACVC). This Validation Summary Report (VSR) gives an account of the testing of this Ada implementation. For any technical terms used in this report, the reader is referred to [Pro90]. A detailed description of the ACVC may be found in the current ACVC User's Guide [UG891. 1.1 USE OF THIS VALIDATION SUMMARY REPORT Consistent with the national laws of the originating country, the Ada Certification Body may make full and free public disclosure of this report. In the United States, this is provided in accordance with the "Freedom of Information Act" (5 U.S.C. #552). The results of this validation apply only to the computers, operating systems, and compiler versions identified in this report. The organizations represented on the signature page of this report do not represent or warrant that all statements set forth in this report are accurate and complete, or that the subject implementation has no nonconformities to the Ada Standard other than those presented. Copies of this report are available to the public from the AVF which performed this validation or from: National Technical Information Service 5285 Port Royal Road Springfield VA 22161 Questions regarding this report or the validation test results should be directed to the AVF which performed this validation or to: A d Validation Organization Computer and Software Engineering Division Institute for Defense Analyses 1801 North Beauregard Street Alexandria VA 22311-1772 1.2 REFERENCES [Ada83] Reference Manual for the Ada Programming Lanuaie ANSI/MIL-STD-1815A, February 1983 and ISO 8652-1987. [Pro90] Ada Compiler Validation Procedures, Version 2.1, Ada Joint Program Office, August 1990. Vatidmtion Smry eport AW_YV905013 U-Sccan WK Limited Chapter I - Pqp I of 4 xD A wCM040 version 1.2 INTRODUCTION [UG89] Ada Compiler Validation Capability User's Guide 21 June 1989. 1.3 ACVC TEST CLASSES Compliance of Ada implementations is tested by means of the ACVC. The ACVC contains a collection of test programs structured into six test classes: A, B, C, D, E, and L. The first letter of a test name identifies the class to which it belongs. Class A, C, D, and E tests are executable. Class B and class L tests are expected to produce errors at compile time and link time, respectively. The executable tests are written in a self-checking manner and produce a PASSED, FAILED, or NOT APPLICABLE message indicating the result when they are executed. Three Ada library units, the packages REPORT and SPPRT13, and the procedure CHECKFILE are used for this purpose. The package REPORT also provides a set of identity functions used to defeat some compiler optimizations allowed by the Ada Standard that would circumvent a test objective. The package SPPRT13 is used by many tests for Chapter 13 of the Ada Standard. The procedure CHECK FILE is used to check the contents of text files written by some of the Class C tests for Chapter 14 of the Ada Standard. The operation of REPORT and CHECK-FILE is checked by a set of executable tests. If these units are not operating correctly, validation testing is discontinued. Class B tests check that a compiler detects illegal language usage. Class B tests are not executable. Each test in this class is compiled and the resulting compilation listing is examined to verify that all violations of the Ada Standard are detected. Some of the class B tests contain legal Ada code which must not be flagged illegal by the compiler. This behaviour is also verified. Class L tests check that an Ada implementation correctly detects violation of the Ada Standard involving multiple, separately compiled units. Errors are expected at link time, and execution is attempted. In some tests of the ACVC, certain macro strings have to be replaced by implementation-specific values -- for example, the largest integer. A list of the values used for this implementation is provided in Appendix A. In addition to these anticipated test modifications, additional changes may be required to rembvd unforeseen conflicts between the tests and implementation-dependent characteristics. The modifications required for this implementation are described in section 2.3. For each Ada implementation, a customized test suite is produced by the AVF. This customization consists of making the modifications described in the preceding paragraph, removing withdrawn tests (see section 2.1), and possibly removing some inapplicable tests (see section 2.2 and [UG89]). In order to pass an ACVC an Ada implementation must process each test of the customized test suite according to the Ada Standard. Vatidatfon Samry nport AVF-VSK 90502/80 U-Scfean UK Limited Omptor I - Piu 2 of 4 XD Ada C684 Veruion 1.2 INTRODUCTION 1.4 DEFINITION OF TERMS Ada Compiler The software and any needed hardware that have to be added to a given host and target computer system to allow transformation of Ada programs into executable form and execution thereof. A d a C o m p i l e r The means for testing compliance of Ada implementations, consisting of Validation Capability the test suite, the support programs, the ACVC user's guide and the (ACVC) template for the validation summary report. Ada Implementation An Ada compiler with its host computer system and its target computer system. Ada Joint Program The part of the certification body which provides policy and guidance for Office (AJPO) the Ada certification system. _ Ada Validation Facility The part of the certification body which carries out the procedures (AVF) required to establish the compliance of an Ada implementation. A d a V a Ii d a t i o n The part of the certification body that provides technical guidance for Organization (AVO) operations of the Ada certification system. Compliance of an Ada The ability of the implementation to pass an ACVC version. Implementation Computer System A functional unit, consisting of one or more computers and associated software, that uses common storage for all or part of a program and also for all or part of the data necessary for the execution of the program; executes user-written or user-designated programs; performs user- designated date manipulation, including arithmetic operations and logic operations; and that can execute programs that modify themselves during execution. A computer system may be a stand-alone unit or may consist of several inter-connected units. Conform'ity Fulfilment of a product, process or service of all requirements specified. Customer An individual or corporate entity who enters into an agreement with an AVF which specifies the terms and conditions for AVF services (of any kind) to be performed. D e c I a r a t i o n o f A formal statement from a customer assuring that conformity is realized Conformance or attainable on the Ada implementation for which validation status is realized. Host Computer System A computer system where Ada source programs are transformed into executable form. Vatfdatfcn S ry Report AVFIE_90502/80 W-Scicn LK Limited Chapter 1 - Pag 3 of 4 UAd NC684 Version 1.2 INTRODUCTION Inapplicable test A test that contains one or more test objectives found to be irrelevant for the given Ada implementation. ISO International Organization for Standardization. LRM The Ada standard, or Language Reference Manual, published as ANSI/MIL-STD-1815A-1983 AND ISO 8652-1987. Citations from the LRM take the form "<section>. <subsection>:<paragraph>." Operating System Software that controls the execution of programs and that provides services such as resource allocation, scheduling, input/output control and data management. Usually, operating systems are predominantly software, but partial or complete hardware implementations are possible. Target Computer A computer system where the executable form of Ada -rograms are System executed. Validated Ada Compiler The compiler of a validated Ada implementation. V a 1 i d a t e d A d a An Ada implementation that has been validated successfully either by Implementation AVF testing or by registration [Pro90]. Validation The process of checking the conformity of an Ada compiler to the Ada programming language and of issuing a certificate for this implementation. Withdrawn test A test found to be incorrect and not used in conformity testing. A test may be incorrect because it has an invalid test objective, fails to meet its test objective, or contains erroneous or illegal use of the Ada programming language. Vatidotion summry Report AVFVSR_90502/ 10-Scican W Limited Chapter 1 - Pqe 4 of 4 X0 ANC6840 Ve vion 1.2 IMPLEMENTATION DEPENDENCIES CHAPTER 2 IMPLEMENTATION DEPENDENCIES 2.1 WITHDRAWN TESTS The following tests have been withdrawn by the AVO. The rationale for withdrawing each test is available from either the AVO or the AVF. The publication date for this list of withdrawn tests is 2 August 1991. E28005C B28006C C32203A C34006D C35508I C35508J C35508M C35508N C35702A C35702B B41308B C43004A C45114A C45346A C45612A C45612B C45612C C45651A. C46022A B49008A B49008B A74006A C74308A B83022B B83022H B83025B B83025D C83026A B83026B C83041A B85001L C86001F C94021A C97116A C98003B BA2011A CB7001A CB7001B CB7004A CC1223A BC1226A CC1226B BC3009B BD1B02B BD1B06A AD1B08A BD2A02A CD2A21E CD2A23F CD2A32A CD2A41A CD2A41E CD2A87A CD2B15C BD3006A BD4008A CD4022A CD4022D CD4024B CD4024C CD4024D CD4031A CD4051D CD5111A CD7004C ED7005D CD7005E AD7006A CD7006E AD7201A AD7201E CD7204B AD7206A BD8002A BD8004C CD9005A CD9005B CDA201E CE2107I CE2117A CE2117B CE2119B CE2205B CE2405A CE3111C CE3116A CE3118A CE3411B CE3412B CE3607B CE3607C CE3607D CE3812A CE3814A CE3902B 2.2 INAPPLICABLE TESTS A test is inapplicable if it contains test objectives which are irrelevant for a given Ada implemeitation. Reasons for a test's inapplicability may be supported by documents issued by the ISO and the AJPO known as Ada Commentaries and commonly referenced in the format AI-ddddd. For this implementation, the following tests were determined to be inapplicable for the reasons indicated; references to Ada Commentaries are included as appropriate. The following 159 tests have floating-point type declarations requiring more digits than SYSTEM.MAX DIGITS: C241130..Y (11 tests) C357050..Y (11 tests) C357060..Y (11 tests) C357070..Y (11 tests) C357080..Y (11 tests) C358020..Z (12 tests) C452410..Y (11 tests) C453210..Y (11 tests) C454210..Y (11 tests) C455210..Z (12 tests) Vatidstion s ry Report AVFM O9Z5O2/80 -Scican I Limited Chapter 2 - Page 1 of X30 Ads NC6840 Version 1.2