※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
序文
ISO（国際標準化機構）とIEC（国際電気標準会議）は、全体として世界標準化のためのシステムを形成しています。 ISO または IEC のメンバーである国家機関は、技術活動の特定の分野を扱うために、それぞれの組織によって設立された技術委員会を通じて、国際規格の開発に参加しています。 ISO と IEC の技術委員会は、相互に関心のある分野で協力しています。 ISO および IEC と連携して、政府および非政府の他の国際機関もこの作業に参加しています。
情報技術の分野では、ISO と IEC が合同技術委員会 ISO/IEC JTC 1 を設立しました。
技術委員会の主な任務は、国際規格を作成することですが、例外的な状況では、次のいずれかのタイプの技術レポートの発行が提案される場合があります。
- タイプ 1, 繰り返しの努力にもかかわらず、国際規格の発行のために技術委員会内で必要なサポートが得られない場合。
- タイプ 2, 主題がまだ技術開発中である場合、またはその他の理由により、国際規格に関する合意の可能性はあるが、すぐには実現できない場合。
- タイプ 3 は、技術委員会が、国際規格として通常公開されているものとは異なる種類のデータを収集した場合 (たとえば、「最新技術」)
タイプ 1 およびタイプ 2 のテクニカル レポートは、発行から 3 年以内に審査され、国際規格に変換できるかどうかが決定されます。タイプ 3 のテクニカル レポートは、それらが提供するデータがもはや有効または有用でないと見なされるまで、必ずしもレビューする必要はありません。
タイプ 3 のテクニカル レポートである ISO/IEC/TR 10034 は、ISO/IEC JTC 1, 情報技術によって作成されました。
このテクニカル レポートは、ISO/IEC/TR 10176プログラミング言語標準の準備に関するガイドライン を補完するものであり、適合条項の準備に関するガイドラインが含まれています。このテクニカル レポートでは、トピックに関するより詳細な情報を提供します。
標準への準拠の重要な側面は、標準のテスト方法です。これは、ISO/IEC/TR 9547, プログラミング言語プロセッサ — テスト方法 — 開発と受容性のためのガイドライン で扱われています。
1 はじめに
準拠条項は言語標準に含まれており、言語標準への準拠についてプロセッサとプログラムの適合性を評価する際に標準のユーザーを支援します。適合要件が不正確である場合、準拠のテストが困難になり、言語標準の大部分が不可能になる可能性があります。したがって、これらのガイドラインは、プログラミング言語標準に適合条項を含めることを奨励し、言語標準が、プロセッサまたはプログラムが言語標準に準拠しているという有効な主張を行うために満たす必要がある基準を正確に特定することを推奨しています。 .
2 スコープ
さまざまな言語標準の相違点を認識した上で、このテクニカル レポートの目的は、言語標準におけるプロセッサの適合条項およびプログラムの適合条項の作成に関するガイドラインを、この作成を支援するためのチェックリストを含む付属書と共に提供することです。すべての言語標準に含めるのに適したモデル ステートメントを提供することは、現実的ではないと考えられていました。したがって、対処すべき問題の種類を説明するために例が示されています。これらは、必要に応じて、特定の言語標準に含めるために適応されることが予想されます。
このドキュメントを読むときは、すべての概念がすべての言語に適用できるわけではないことに注意してください。例として、言語標準のすべてがサブセットを指定したり拡張を許可したりするわけではなく、ある言語標準で完全に指定されている要素が別の言語標準のプロセッサに依存している場合があります。
Foreword
ISO (the International Organization for Standardization) and IEC (the International Electrotechnical Commission) together form a system for worldwide standardization as a whole. 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.
In the field of information technology, ISO and IEC have established a joint technical committee, ISO/IEC JTC 1.
The main task of a technical committee is to prepare International Standards but in exceptional circumstances, the publication of a Technical Report of one of the following types may be proposed:
- type 1, when the required support within the technical committee cannot be obtained for the publication of an International Standard, despite repeated efforts;
- type 2, when the subject is still under technical development or where for any other reason there is the future but not immediate possibility of an agreement on an International Standard;
- type 3, when a technical committee has collected data of a different kind from that which is normally published as an International Standard ("state of the art", for example).
Technical Reports of types 1 and 2 are subject to review within three years of publication, to decide whether they can be transformed into International Standards. Technical Reports of type 3 do not necessarily have to be reviewed until the data they provide are considered to be no longer valid or useful.
ISO/IEC/TR 10034, which is a Technical Report of type 3, was prepared by ISO/IEC JTC 1, Information technology.
This Technical Report is complementary to ISO/IEC/TR 10176, Guidelines for the preparation of programming language standards, which includes guidelines for the preparation of conformity clauses. This Technical Report provides more detailed information on the topic.
An important aspect of conformity with a standard is the methods of testing for it, and this is dealt with in ISO/IEC/TR 9547, Programming language processors — Test methods — Guidelines for their development and acceptability.
1 INTRODUCTION
Conformity clauses are included within the language standard to aid the User of the standard in assessing conformity of processors and programs for adherence to the language standard. If conformity requirements are imprecise, testing for compliance can be difficult and potentially impossible for large portions of the language standard. Therefore, these guidelines seek to encourage the inclusion of conformity clauses in programming language standards, and recommend that the language standard precisely identify the criteria that must be met in order that a valid claim may be made that a processor or program conforms to the language standard.
2 SCOPE
Recognizing the dissimilarity of various language standards, the objective of this Technical Report is to provide guidelines for the preparation of conformity clauses for processors and conformity clauses for programs in language standards, together with an annex containing a checklist to aid in this preparation. It was not considered practical to provide model statements that would be suitable for inclusion in all language standards. Therefore, examples have been given to illustrate the type of issues that should be addressed and it is anticipated that these will be adapted, where appropriate, for inclusion in a particular language standard.
It should be borne in mind when reading this document that not all concepts will be applicable to all languages. As examples, language standards do not all specify subsets or permit extensions, and elements that are fully specified by one language standard may be dependent on the processor in another.