ISO/IEC 18009:1999

INTERNATIONAL ISO/IEC
STANDARD 18009
First edition
1999-12-01
Information technology — Programming
languages — Ada: Conformity assessment
of a language processor
Technologies de l'information — Langages de programmation — Ada:
Évaluation de conformité d'un processeur de langage
Reference number
©
ISO/IEC 1999
PDF disclaimer
This PDF file may contain embedded typefaces. In accordance with Adobe's licensing policy, this file may be printed or viewed but shall not
be edited unless the typefaces which are embedded are licensed to and installed on the computer performing the editing. In downloading
this file, parties accept therein the responsibility of not infringing Adobe's licensing policy. The ISO Central Secretariat accepts no liability in
this area.
Adobe is a trademark of Adobe Systems Incorporated.
Details of the software products used to create this PDF file can be found in the General Info relative to the file; the PDF-creation
parameters were optimized for printing. Every care has been taken to ensure that the file is suitable for use by ISO member bodies. In the
unlikely event that a problem relating to it is found, please inform the Central Secretariat at the address given below.
© ISO/IEC 1999
All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, electronic
or mechanical, including photocopying and microfilm, without permission in writing from either ISO at the address below or ISO's member body
in the country of the requester.
ISO copyright office
Case postale 56 � CH-1211 Geneva 20
Tel. + 41 22 749 01 11
Fax + 41 22 734 10 79
E-mail copyright@iso.ch
Web www.iso.ch
Printed in Switzerland
ii © ISO/IEC 1999 – All rights reserved

Contents Page
1 Scope.1
2 Conformity .1
3 Normative reference.2
4 Terms and definitions.2
4.1 Standardization .2
4.2 Aims of standardization .2
4.3 Normative documents .2
4.4 Bodies responsible for standards and regulations .3
4.5 Type of standards .3
4.6 Content of normative documents.4
4.7 Conformity assessment in general .5
4.8 Determination of characteristics .6
4.9 Conformity evaluation .7
4.10 Assurance of conformity.7
4.11 Approval and recognition arrangements.8
4.12 Accreditation of conformity assessment bodies and persons .8
4.13 Programming language processor test methods .9
4.14 Miscellaneous.10
4.15 Terms and definitions of this International Standard.10
5 General.11
6 Ada Conformity Assessment Laboratory (ACAL).11
6.1 General requirements .11
6.1.1 Organization and management.12
6.1.2 Quality system and review .12
6.1.3 Personnel.13
6.1.4 Handling of test items.13
6.1.5 Records.13
© ISO/IEC 1999 – All rights reserved iii

6.1.6 Certificates and reports .13
6.1.7 Sub-contracting of testing.15
6.1.8 Outside support services and supplies .15
6.1.9 Complaints.15
6.2 Specific requirements for Ada Conformity Assessment Laboratories (ACAL) .16
7 Ada Conformity Assessment Authority (ACAA) .16
7.1 General requirements .16
8 Ada Conformity Assessment Process .17
8.1 General requirements .17
8.2 Conduct of the testing .18
8.2.1 General requirements .18
8.2.2 Obtaining a customized test suite and self-testing .18
8.2.3 Evaluation of self-test results .18
8.2.4 Witness testing.19
8.2.5 Documentation of test results.19
8.2.6 Issuing the certificate of conformity .19
8.2.7 Certification of closely related processors.20
8.3 Test issue management.21
8.4 Marks of conformity .21
9 Ada Conformity Assessment Procedure (ACAP).21
9.1 General requirements .21
10 Ada Conformity Assessment Test Suite (ACATS) .22
10.1 General requirements .22
10.2 Design of test suite .22
10.3 Maintenance and revision of the test suite.23
10.4 Availability of the test suite.23
Bibliography .25
iv © ISO/IEC 1999 – All rights reserved

Foreword
ISO (the International Organization for Standardization) and IEC (the International Electrotechnical Commission)
form the specialized system for worldwide standardization. National bodies that are members of ISO or IEC
participate in the development of International Standards through technical committees established by the
respective organization to deal with particular fields of technical activity. ISO and IEC technical committees
collaborate in fields of mutual interest. Other international organizations, governmental and non-governmental, in
liaison with ISO and IEC, also take part in the work.
International Standards are drafted in accordance with the rules given in the ISO/IEC Directives, Part 3.
In the field of information technology, ISO and IEC have established a joint technical committee, ISO/IEC JTC 1.
Draft International Standards adopted by the joint technical committee are circulated to national bodies for voting.
Publication as an International Standard requires approval by at least 75 % of the national bodies casting a vote.
Attention is drawn to the possibility that some of the elements of this International Standard may be the subject of
patent rights. ISO and IEC shall not be held responsible for identifying any or all such patent rights.
International Standard ISO/IEC 18009 was prepared by Joint Technical Committee ISO/IEC JTC 1, Information
technology, Subcommittee SC 22, Programming languages, their environments and system software interfaces.
© ISO/IEC 1999 – All rights reserved v

Introduction
The Ada language community has a strong tradition of “compiler validation,” meaning conformity assessment.
Originally, the validation program was administered under the auspices of the United States Department of Defense,
as the use of “validated” compilers was a condition of usage in defense programs. Three key elements of this
validation program were the conduct of testing by independent testing laboratories, resolution of any test issues
by a single authority (the “Ada Validation Organization”), and world-wide acceptance of the “validation certificates”
resulting from successful conformity testing. In 1998, the U.S. DoD elected to turn the responsibility for
conformity assessment over to the private sector. This International Standard provides the basis for private
sector conformity assessment. It is the intent of this International Standard to ratify existing practices for Ada
conformity assessment.
In general terms, this International Standard states that independent Ada Conformity Assessment Laboratories
(ACAL) would perform the conformity assessment. The various ACALs would collaborate on the formation or
designation of a single Ada Conformity Assessment Authority (ACAA). The ACAA would manage and
administer an Ada Conformity Assessment Test Suite (ACATS). Each ACAL would perform conformity
assessments by applying the ACATS in accordance with an Ada Conformity Assessment Procedure (ACAP).
Each ACAL would issue certificates of conformity.The ACAA would resolve any test issues that may arise
during conformity assessments performed by ACALs and would approve test reports and certificates of
conformity before they are issued to the clients of the ACAL.
The ACAA would act in the role of the current de facto “Ada Validation Organization” and its “Fast Reaction Team”
and would also participate in the work of ISO/IEC JTC1/SC22/WG9 in order to apprise that group of possible defects
discovered in the language standard as a result of conformity assessment.
This International Standard does not reuse an existing test method designed for any other language [as
suggested by ISO/IEC Guide 2, 6.7.1] but instead describes a method that, although new to standardization, has a
long de facto tradition within the Ada community. This method is based upon a well established method that has
already been in uniformly applied usage for 15 years. Continuity with this tradition is considered essential to the
success of the Ada language standard.
This International Standard has the following goals:
�This International Standard should permit a smooth transition from the current de facto method of “Ada
compiler validation” to the standardized method.
�Users of Ada processor certifications should gain the same degree of assurance as is gained with the current
de facto certification mechanism.
This International Standard was prepared by Working Group 9 (Ada) of Subcommittee 22 (Programming
languages, their environments and system software interfaces) of Joint Technical Committee 1 (Information
technology). It establishes requirements for assessing the conformity of Ada language processors to the
requirements of the Ada language standard.
Portions of this International Standard are based upon U.S. Department of Defense procedures for Ada compiler
“validation.” The co-operation of the U.S. DoD in contributing the appropriate docum
...