ISO IEC 18009-1999 Information technology - Programming languages - Ada Conformity assessment of a language processor《信息技术 程序设计语言 Ada 语言处理器的一致性评价》.pdf

《ISO IEC 18009-1999 Information technology - Programming languages - Ada Conformity assessment of a language processor《信息技术 程序设计语言 Ada 语言处理器的一致性评价》.pdf》由会员分享，可在线阅读，更多相关《ISO IEC 18009-1999 Information technology - Programming languages - Ada Conformity assessment of a language processor《信息技术 程序设计语言 Ada 语言处理器的一致性评价》.pdf（34页珍藏版）》请在麦多课文档分享上搜索。

1、Reference number ISO/IEC 18009:1999(E) ISO/IEC 1999 INTERNATIONAL STANDARD ISO/IEC 18009 First edition 1999-12-01 Information technology Programming languages Ada: Conformity assessment of a language processor Technologies de linformation Langages de programmation Ada: valuation de conformit dun pro

2、cesseur de langageISO/IEC 18009:1999(E) PDF disclaimer This PDF file may contain embedded typefaces. In accordance with Adobes 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

3、 the editing. In downloading this file, parties accept therein the responsibility of not infringing Adobes 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 fil

4、e 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 Secret

5、ariat 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

6、address below or ISOs 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 copyrightiso.ch Web www.iso.ch Printed in Switzerland ii ISO/IEC 1999 All rights reservedISO/IEC 18009:1999(E) ISO/IEC 1999 Al

7、l rights reserved iii Contents Page 1 Scope1 2 Conformity .1 3 Normative reference2 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 docu

8、ments4 4.7 Conformity assessment in general .5 4.8 Determination of characteristics .6 4.9 Conformity evaluation 7 4.10 Assurance of conformity7 4.11 Approval and recognition arrangements8 4.12 Accreditation of conformity assessment bodies and persons 8 4.13 Programming language processor test metho

9、ds 9 4.14 Miscellaneous10 4.15 Terms and definitions of this International Standard10 5 General.11 6 Ada Conformity Assessment Laboratory (ACAL)11 6.1 General requirements .11 6.1.1 Organization and management12 6.1.2 Quality system and review .12 6.1.3 Personnel.13 6.1.4 Handling of test items.13 6

10、.1.5 Records13ISO/IEC 18009:1999(E) iv ISO/IEC 1999 All rights reserved 6.1.6 Certificates and reports 13 6.1.7 Sub-contracting of testing15 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 Conform

11、ity 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

12、 Witness testing19 8.2.5 Documentation of test results19 8.2.6 Issuing the certificate of conformity .19 8.2.7 Certification of closely related processors.20 8.3 Test issue management21 8.4 Marks of conformity 21 9 Ada Conformity Assessment Procedure (ACAP).21 9.1 General requirements .21 10 Ada Con

13、formity 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 suite23 Bibliography 25ISO/IEC 18009:1999(E) ISO/IEC 1999 All rights reserved v Foreword ISO (the International Organ

14、ization 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 res

15、pective 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

16、 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

17、 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 responsibl

18、e 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 18009:1999(E) vi ISO/IEC 1999 Al

19、l rights reserved 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 condi

20、tion 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” result

21、ing 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 ex

22、isting 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

23、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.T

24、 h eACAA 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”

25、 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 a

26、ny 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. Co

27、ntinuity 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 metho

28、d. 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 interf

29、aces) 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 co

30、mpiler “validation.” The co-operation of the U.S. DoD in contributing the appropriate documents is gratefully acknowledged. ISO, IEC, JTC1 and SC22 have already prepared a number of documents related to conformity assessment. Rather than make normative references to these documents,t h i sInternatio

31、nal Standard incorporates appropriate excerpts of their text, in some cases paraphrasing the text, changing the normative strength, or adapting the provision to the specific circumstances. In each case, the original source of the provision is noted in brackets. Therefore, these documents are listed

32、in the bibliography of this International Standard, rather than in Clause 3, Normative reference.ISO/IEC 18009:1999(E) ISO/IEC 1999 All rights reserved vii In order to relate better to the large body of existing work, particular attention has been paid to terminology. Terms defined in this Internati

33、onal Standard have been presented in bold typeface.INTERNATIONAL STANDARD ISO/IEC 18009:1999(E) ISO/IEC 1999 All rights reserved 1 Information technology Programming languages Ada: Conformity assessment of a language processor 1 Scope 1.1 This International Standard establishes requirements for cert

34、ifying an assessment that an Ada language processor conforms to the requirements of the Ada language standard, ISO/IEC 8652. It places requirements on the organization that performs the assessment, the assessment procedures, and the test suite used in the assessment. Finally, it places requirements

35、on the form for the certificate of conformity. 1.2 This International Standard concerns only the assessment of conformity to the language requirements of ISO/IEC 8652. It does not concern the assessment of any other characteristics of a language processor or of the construction process used by the m

36、anufacturer of the language processor. NOTE In the sense of ISO/IEC Guide 23, the Ada language standard, ISO/IEC 8652, is to be regarded as a standard for a specific property rather than a comprehensive product standard. 1.3 This International Standard is intended to be primarily suitable for use by

37、 a third party authority although portions of it may also be applied by a supplier (first party) or by a user or purchaser (second party). 1.4 An Ada language processor may be claimed to conform to the requirements of ISO/IEC 8652 regardless of the application of this International Standard.T h i sI

38、nternational Standard prescribes the method for obtaining a certification that an Ada language processor conforms to ISO/IEC 8652. Customers desiring to acquire a language processor certified as conforming should explicitly require that certification by citing this International Standard. 1.5 Certif

39、ication should not be construed as guaranteeing that the certified product is free of non-conformities or defects; it only certifies that no evidence of non-conformity was found during the certification process. 2 Conformity 2.1 An Ada language processor is said to be “certified as conforming” if so

40、 assessed by an Ada Conformity Assessment Laboratory (ACAL) and the Ada Conformity Assessment Authority (ACAA). In performing this certification,t h eACAL and the ACAA shall consider the results of testing performed by the ACAL.T h eACAL testing shall be performed in accordance with the Ada Conformi

41、ty Assessment Procedure (ACAP)u s i n gt h e Ada Conformity Assessment Test Suite (ACATS). 2.2 This International Standard places requirements upon the ACAL, ACAA, ACAP and ACATS. NOTES 1 Conformity of an “implementation” of the Ada language standard is defined by subclause 1.1.3 of ISO/IEC 8652. Th

42、e term “language processor” or “compiler” in this International Standard is to be regarded as synonymous with the term “implementation” as used in ISO/IEC 8652. This International Standard prescribes requirements for the assessment that a language processor conforms to the requirements of ISO/IEC 86

43、52. 2A n International Standard on test methods, such as this one, does not imply any obligation to carry out any kind of test. It merely states the method by which the assessment, if required and referred to (for example, in the same or another standard,orinaregulation, or in contract documents), s

44、hould be carried out. ISO/IEC Directives, Part 2, subclause 6.5ISO/IEC 18009:1999(E) 2 ISO/IEC 1999 All rights reserved 3 Normative reference The following normative documents contain provisions which, through reference in this text, constitute provisions of this International Standard. For dated re

45、ferences, subsequent amendments to, or revisions of, any of these publications do not apply. However, parties to agreements based on this International Standard are encouraged to investigate the possibility of applying the most recent editions of the normative documents indicated below. For undated

46、references, the latest edition of the normative document referred to applies. Members of ISO and IEC maintain registers of currently valid International Standards. ISO/IEC 8652, Information technology Programming languages Ada. 4 Terms and definitions For the purposes of this International Standard,

47、 the following terms and definitions apply. 4.1 Standardization 4.1.1 consensus general agreement, characterized by the absence of sustained opposition to substantial issues by any important part of the concerned interests and by a process that involves seeking to take into account the views of all

48、parties concerned and to reconcile any conflicting arguments NOTE Consensus need not imply unanimity. ISO/IEC Guide 2, 1.7 4.2 Aims of standardization 4.2.1 fitness for purpose ability of a product, process or service to serve a defined purpose under specific conditions ISO/IEC Guide 2, 2.1 4.3 Norm

49、ative documents 4.3.1 document any medium with information recorded on or in it ISO/IEC Guide 2, 3.1 4.3.2 normative document document that provides rules, guidelines or characteristics for activities or their results NOTES 1T h e t e r m “ normative document” is a generic term that covers such documents as standards, technical specifications, codes of practice and regulations. 2 The terms for different kinds of normative documents are defined considering the document and its content as a single entity. ISO/IEC Guid