この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
0. はじめに
プログラミング言語の分野は生きたトピックです。新しい言語が開発され、古い言語が改訂されています。これら 2 つのケースでは、適合要件を忘れてはなりません。したがって、テストに関する考慮事項は、言語標準の開発とその改訂に含める必要があります。
この文書の目的は、一連の試験プログラムに基づいた試験方法の開発に関するガイドラインと、試験方法が ISO から正式な承認を得るために必要な正確な手順を提供することです。これらのガイドラインは、プログラミング言語プロセッサの特定のテスト方法を作成するために、特定の言語標準と併せて読む必要があります。
これらのガイドラインは、テスト方法の開発者、および ISO でこれらのテスト方法を承認する人向けに書かれています。特定のテスト方法が利用できることは、実装者が標準準拠の言語プロセッサを作成するのに役立ち、それによってエンド ユーザーに利益をもたらします。
これらのガイドラインを読むときは、プログラミング言語標準は、プログラミング言語標準で記述されている言語のあらゆる側面と機能について適合性テストを作成できるレベルの精度と完全性にまだ達していないことに留意する必要があります。テストの問題が標準化委員会の主な目的になることはめったになく、これにより、これらのガイドラインを特定のプログラミング言語標準に厳密に適用する際に問題が発生する可能性があります。
1. 適用範囲と適用分野
これらのガイドラインでは、プログラミング言語プロセッサが、対象となる特定のプログラミング言語の国際標準に規定されている必要な特性を備えているかどうかを判断するための方法論について説明しています。
言語プロセッサの適合性の評価は、「テスト スイート方法論」で実行できます。他の方法論は除外されませんが、ここでは説明しません。
2. 定義
これらのガイドラインの目的のために、次の用語が適用されます。
2.1
構成
ホストおよびターゲット コンピューター、プロセッサの操作に使用されるオペレーティング システムおよびソフトウェア。
2.2
拡張機能
言語標準では提供されていないが、言語標準に追加されたときにあいまいさや矛盾を引き起こさない、実装された言語の機能 (ただし、一部の言語では、制限を解除するのに役立つ場合があります)
2.3
実装の定義
プロセッサに依存しますが、実装者によって定義および文書化される言語標準によって必要とされます。
2.4
プロセッサー
構成と組み合わせて動作するコンパイラ、トランスレータ、またはインタプリタ。
2.5
テスト
指定された手順に従って、特定の製品、プロセス、またはサービスの 1 つまたは複数の特性を決定することからなる技術操作。 (ISO/IEC Guide 2-1986)
2.6
試験方法
テストを実行するための指定された技術的手順。 (ISO/IEC Guide 2-1986)
2.7
テストプログラム
このプロセッサが特定のプロパティの特定のインスタンスを示すかどうかを判断するために、プロセッサに送信されることを意図した一連の文字。
2.8
試験報告書
テスト結果およびテストに関連するその他の情報を提示する文書。 (ISO/IEC Guide 2-1986)
2.9
テストスイート
プロセッサが言語規格に適合しているかどうかを評価するために設計されたテスト プログラムの参照セット。
2.10
テストツール
テストのさまざまなフェーズの効率、信頼性、および使いやすさを改善できる追加の手段 (たとえば、テスト スイートの実装、完全性の確保、テスト スイートの処理、テスト結果の収集、テスト結果の分析、試験報告書）。
2.11
必要書類
プログラミング言語標準で必要とされる一連のドキュメント。
2.12
サブセット
- も L のプログラムであり、
- は、S と L で同じ意味を持ちます。
0. INTRODUCTION
The programming language area is a living topic: new languages are developed, old ones are revised. In those two cases, conformity requirements should not be forgotten; therefore, test considerations should be included in the development of language standards and their revisions.
The aim of this document is to provide guidelines for the development of a test method based on a set of test programs and precise steps that should be taken in order for a test method to get formal approval from ISO. These guidelines should be read in conjunction with a given language standard so as to produce a specific test method for programming language processors.
These guidelines are written for test method developers and for those who will approve these test methods in ISO. The availability of specific test methods will help implementors in producing standard conforming language processors, thereby benefiting end users.
When reading these guidelines, it should be borne in mind that programming language standards have not yet reached a level of precision and completeness to allow conformity tests to be produced for every aspect and feature of a language described in a progamming language standard. Testing issues are rarely the primary objective of standardization committees, and this may cause problems in applying these guidelines strictly to any given programming language standard.
1. SCOPE AND FIELD OF APPLICATION
These guidelines describe a methodology for determining whether a programming language processor possesses the required characteristics stated in the International Standard for the particular programming language for which it is intended.
Assessment of conformity of a language processor can be carried out with the"Test Suite Methodology". Other methodologies are not excluded but are not described here.
2. DEFINITIONS
For the purpose of these guidelines, the following terms apply.
2.1
CONFIGURATION
host and target computers, any operating system(s) and software used to operate a processor.
2.2
EXTENSION
a facility in the implemented language that is not given in the language standard but that does not cause any ambiguity or contradiction when added to the language standard (although, in some languages, it may serve to lift a restriction).
2.3
IMPLEMENTATION DEFINED
dependent on the processor but required by the language standard to be defined and documented by the implementor.
2.4
PROCESSOR
a compiler, translator or interpreter working in combination with a configuration.
2.5
TEST
technical operation that consists of the determination of one or more characteristics of a given product, process or service according to a specified procedure. (ISO/IEC Guide 2-1986)
2.6
TEST METHOD
specified technical procedure for performing a test. (ISO/IEC Guide 2-1986)
2.7
TEST PROGRAM
a sequence of characters intended to be submitted to a processor in order to determine whether or not this processor exhibits a specific instance of a certain property.
2.8
TEST REPORT
document that presents test results and other information relevant to a test. (ISO/IEC Guide 2-1986)
2.9
TEST SUITE
a reference set of test programs that is designed to assess conformity of a processor with a language standard.
2.10
TEST TOOLS
any additional means that can improve the efficiency, the reliability and the ease of use of the different phases of testing (e.g. implementation of the test suite, ensuring integrity, processing of the test suite, collecting test results, analysis of test results, producing a test report).
2.11
REQUIRED DOCUMENTS
the set of documents required by the programming language standard.
2.12
SUBSET
- is also a program in L and
- has the same meaning in S as it has in L.