この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
序章
Ada 言語コミュニティには、 適合性評価 を意味する「コンパイラ検証」の強い伝統があります。当初、検証プログラムは、「検証済み」コンパイラの使用が防衛プログラムでの使用の条件であったため、米国国防総省の後援の下で管理されていました。この検証プログラムの 3 つの重要な要素は、独立した 試験所 による 試験 の実施、単一の 機関 (「Ada 検証機関」) による 試験問題 の解決、および 適合 の成功による「検証証明書」の世界的な受け入れでした。 テスト 。 1998 年、米国国防総省は、 適合性評価 の責任を民間部門に委ねることを選択しました。この 国際規格 は、民間部門の 適合性評価 の基礎を提供します。この 国際規格 の意図は、Ada 評価の適合性に関する 既存の慣行を承認することです。
一般論として、この 国際規格 は、独立した Ada 適合性評価研究所 (ACAL) が 適合性評価 を実施すると述べています。さまざまな ACAL が協力して、単一の Ada 適合性評価機関 (ACAA) を設立または指定します。 ACAA は、 Ada 適合性評価テスト スイート (ACATS) を管理します。各 ACAL は、 Ada 適合性評価手順 (ACAP) に従って ACATS を適用することにより、 適合性評価 を実行します。各 ACAL は 適合証明書を 発行します。 ACAA は、 ACAL によって実行される 適合性評価 中に発生する可能性のある テストの問題 を解決し、 ACAL の クライアント に発行される前に、 テスト レポート と 適合証明書を 承認します。
ACAA は、現在の事実上の「Ada Validation Organization」とその「Fast Reaction Team」の役割を果たし、ISO/IEC JTC1/SC22/WG9 の作業にも参加して、発見された可能性のある欠陥のグループを通知します。 適合性評価 の結果としての言語 標準 。
この 国際規格 は、[ISO/IEC Guide 2, 6.7.1 で提案されているように] 他の言語用に設計された既存の 試験方法 を再利用するのではなく、標準化には新しいものの、Ada 内で長い事実上の伝統を持つ方法を記述しています。コミュニティ。この方法は、すでに15年間均一に適用されている確立された方法に基づいています。この伝統の継続は、Ada 言語 標準 の成功に不可欠であると考えられています。
この 国際規格 には次の目標があります。
- □この 国際規格 は、「Ada コンパイラ検証」という現在の事実上の方法から標準化された方法へのスムーズな移行を可能にするものでなければなりません。
- □ Ada プロセッサ認証 のユーザーは、現在の事実上の 認証 メカニズムで得られるのと同じ程度の保証を得る必要があります。
この 国際規格 は、合同技術委員会 1 (情報技術) の小委員会 22 (プログラミング言語、その環境、およびシステム ソフトウェア インターフェイス)のワーキング グループ 9 ( Ada ) によって作成されました。 Ada 言語 プロセッサ の Ada 言語 標準 の 要件 への 適合性 を評価するための 要件 を確立します。
この 国際規格 の一部は、Ada コンパイラの「検証」に関する米国国防総省の手順に基づいています。適切な文書の寄稿における米国国防総省の協力に感謝します。
ISO, IEC, JTC1, および SC22 は、 適合性評価 に関連する多くの 文書 をすでに作成しています。これらの 文書 を規範的に参照するのではなく、この 国際規格 は、文書の適切な抜粋を組み込み、場合によっては文書を言い換えたり、規範の強さを変更したり、特定の状況に 規定 を適合させたりします。いずれの場合も、 条項 の元の出典は括弧内に記載されています。したがって、これらの 文書 は、箇条 3 の引用規格ではなく、この 国際規格 の参考文献に記載されています。
既存の作品の大部分との関連性を高めるために、用語には特に注意が払われています。この 国際規格 で定義されている用語は、太字で示されています。
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 (Programminglanguages, their environments and system software interfaces) of Joint Technical Committee 1 (Informationtechnology). 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 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 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 in the bibliography of this International Standard , rather than in Clause 3, Normative reference.
In order to relate better to the large body of existing work, particular attention has been paid to terminology. Terms defined in this International Standard have been presented in bold typeface.