《BS-ISO-IEC-18009-1999.pdf》由会员分享,可在线阅读,更多相关《BS-ISO-IEC-18009-1999.pdf(36页珍藏版)》请在三一文库上搜索。
1、| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | BRITISH STANDARD BS ISO/IEC 18009:1999 ICS
2、 35.060 NO COPYING WITHOUT BSI PERMISSION EXCEPT AS PERMITTED BY COPYRIGHT LAW Information technology Programming languages Ada: Conformity assessment of a language processor Licensed Copy: sheffieldun sheffieldun, na, Thu Nov 23 03:44:45 GMT+00:00 2006, Uncontrolled Copy, (c) BSI This British Stand
3、ard, having been prepared under the direction of the DISC Board , was published under the authority of the Standards Committee and comes into effect on 15 December 2000 BSI 12-2000 ISBN 0 580 36726 6 BS ISO/IEC 18009:1999 Amendments issued since publication Amd. No.DateComments National foreword Thi
4、s British Standard reproduces verbatim ISO/IEC 18009:1999 and implements it as the UK national standard. The UK participation in its preparation was entrusted to Technical Committee IST/5, Programming Languages, their Environment and System Software interfaces, which has the responsibility to: aid e
5、nquirers to understand the text; present to the responsible international/European committee any enquiries on the interpretation, or proposals for change, and keep the UK interests informed; monitor related international and European developments and promulgate them in the UK. A list of organization
6、s represented on this committee can be obtained on request to its secretary. Cross-references The British Standards which implement international publications referred to in this document may be found in the BSI Standards Catalogue under the section entitled International Standards Correspondence In
7、dex, or by using the Find facility of the BSI Standards Electronic Catalogue. A British Standard does not purport to include all the necessary provisions of a contract. Users of British Standards are responsible for their correct application. Compliance with a British Standard does not of itself con
8、fer immunity from legal obligations. Summary of pages This document comprises a front cover, an inside front cover, the ISO/IEC title page, pages ii to vii, a blank page, pages 1 to 25 and a back cover. The BSI copyright notice displayed in this document indicates when the document was last issued.
9、Licensed Copy: sheffieldun sheffieldun, na, Thu Nov 23 03:44:45 GMT+00:00 2006, Uncontrolled Copy, (c) BSI Reference number ISO/IEC 18009:1999(E) INTERNATIONAL STANDARD ISO/IEC 18009 First edition 1999-12-01 Information technology Programming languages Ada: Conformity assessment of a language proces
10、sor Technologies de linformation Langages de programmation Ada: valuation de conformit dun processeur de langage Licensed Copy: sheffieldun sheffieldun, na, Thu Nov 23 03:44:45 GMT+00:00 2006, Uncontrolled Copy, (c) BSI ii? BS ISO/IEC18009:1999 Licensed Copy: sheffieldun sheffieldun, na, Thu Nov 23
11、03:44:45 GMT+00:00 2006, Uncontrolled Copy, (c) BSI ?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
12、 .3 4.6?Content of normative documents4 4.7?Conformity assessment in general .5 4.8?Determination of characteristics.6 4.9?Conformity evaluation7 4.10?Assurance of conformity7 4.11?Approval and recognition arrangements8 4.12?Accreditation of conformity assessment bodies and persons 8 4.13?Programmin
13、g language processor test methods9 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
14、?Handling of test items.13 6.1.5?Records13 BS ISO/IEC18009:1999 Licensed Copy: sheffieldun sheffieldun, na, Thu Nov 23 03:44:45 GMT+00:00 2006, Uncontrolled Copy, (c) BSI iv? 6.1.6?Certificates and reports13 6.1.7?Sub-contracting of testing15 6.1.8?Outside support services and supplies15 6.1.9?Compl
15、aints.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 Process17 8.1?General requirements .17 8.2?Conduct of the testing18 8.2.1?General requirements .18 8.2.2?Ob
16、taining a customized test suite and self-testing.18 8.2.3?Evaluation of self-test results18 8.2.4?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 conf
17、ormity21 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 suite23 Bibliography 2
18、5 BS ISO/IEC18009:1999 Licensed Copy: sheffieldun sheffieldun, na, Thu Nov 23 03:44:45 GMT+00:00 2006, Uncontrolled Copy, (c) BSI ?v Foreword ISO (the International Organization for Standardization) and IEC (the International Electrotechnical Commission) form the specialized system for worldwide sta
19、ndardization. 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
20、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
21、 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. At
22、tention 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 IS
23、O/IEC JTC 1,Information technology, Subcommittee SC 22,Programming languages, their environments and system software interfaces. BS ISO/IEC18009:1999 Licensed Copy: sheffieldun sheffieldun, na, Thu Nov 23 03:44:45 GMT+00:00 2006, Uncontrolled Copy, (c) BSI vi? Introduction The Ada language community
24、 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
25、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.
26、 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 genera
27、l 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 ad
28、minister 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 dur
29、ing 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
30、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
31、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 t
32、he 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 gai
33、n 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 t
34、echnology). 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. D
35、oD 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, this International Standard incorporates appropriate excerpts of th
36、eir 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 in the bibliography of this International Standard,
37、rather than in Clause 3, Normative reference. BS ISO/IEC18009:1999 Licensed Copy: sheffieldun sheffieldun, na, Thu Nov 23 03:44:45 GMT+00:00 2006, Uncontrolled Copy, (c) BSI ?vii In order to relate better to the large body of existing work, particular attention has been paid to terminology. Terms de
38、fined in this International Standard have been presented in bold typeface. BS ISO/IEC18009:1999 Licensed Copy: sheffieldun sheffieldun, na, Thu Nov 23 03:44:45 GMT+00:00 2006, Uncontrolled Copy, (c) BSI BS ISO/IEC18009:1999 Licensed Copy: sheffieldun sheffieldun, na, Thu Nov 23 03:44:45 GMT+00:00 20
39、06, Uncontrolled Copy, (c) BSI ?1 Information technology Programming languages Ada: Conformity assessment of a language processor 1 Scope 1.1This International Standard establishes requirements for certifying an assessment that an Ada language processor conforms to the requirements of the Ada langua
40、ge 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 on the form for the certificate of conformity. 1.2This International Standard concerns only the as
41、sessment 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 manufacturer of the language processor. NOTE?In the sense of ISO/IEC Guide 23, the Ada language stan
42、dard, ISO/IEC 8652, is to be regarded as astandard for a specific propertyrather than acomprehensive product standard. 1.3This International Standard is intended to be primarily suitable for use by a third party authority although portions of it may also be applied by a supplier (first party) or by
43、a user or purchaser (second party). 1.4An Ada language processor may be claimed to conform to the requirements of ISO/IEC 8652 regardless of the application of this International Standard. This International Standard prescribes the method for obtaining a certification that an Ada language processor
44、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.5Certification should not be construed as guaranteeing that the certified product is free of non-conformities or
45、defects; it only certifies that no evidence of non-conformity was found during the certification process. 2 Conformity 2.1An Ada language processor is said to be “certified as conforming” if so assessed by an Ada Conformity Assessment Laboratory (ACAL) and the Ada Conformity Assessment Authority (AC
46、AA). In performing this certification, the ACAL and the ACAA shall consider the results of testing performed by the ACAL. The ACAL testing shall be performed in accordance with the Ada Conformity Assessment Procedure (ACAP) using the Ada Conformity Assessment Test Suite (ACATS). 2.2This Internationa
47、l 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. The term “language processor” or “compiler” in this International Standard is to be regarded as synonymous with th
48、e 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 8652. 2An International Standard on test methods, such as this one, does not imply any obligation to carry out any
49、 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, or in a regulation, or in contract documents), should be carried out. ISO/IEC Directives, Part 2, subclause 6.5 BS ISO/IEC18009:1999 Licensed Copy: sheffieldun sheffieldun, na, Thu Nov 23 03:44:45 GMT+00:00 2006, Uncontrolled Copy, (c) BSI 2? 3 Normative reference The following normative documents contain provisions which, through reference in this text, constitute provisions of this International Standard. For date
链接地址:https://www.31doc.com/p-3747545.html