ISO/IEC 14515-1:2000/Amd 1:2003 情報技術—ポータブルオペレーティングシステムインターフェイス(POSIX®)— POSIXへの準拠を測定するためのテスト方法—パート1:システムインターフェイス—修正1:リアルタイム拡張(C言語) | ページ 2

この規格 プレビューページの目次

※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。

序章

(この概要は、IEEE Std 2003.1b-2000, IEEE Standard for Information Technology-Test Methods Specifications for Measuring Conformance to POSIX- Part 1: System Application Program Interface (API)-Amendment 1: Realtime Extension [C Language] の規範的な部分ではありません。 ]))

この規格は、IEEE Std 1003.1b-1993 (IEEE Std 1003.1-1990 と IEEE Std 1003.1b-1993 の合併に対応するドキュメントに基づく) のテスト方法の仕様を定義します。テスト方法の仕様は、テスト対象のアサーションと関連するテスト手順で構成されます。 IEEE Std 1003.1-1990 の修正として、この規格は、IEEE Std. 2003.1-1992{4} (IEEE Std 1003.1-1990 の試験方法仕様) の一部を修正するように構成されており、IEEE Std 1003.1 の修正部分に対応しています。 -1990年。この規格は、主に IEEE Std 1003.1b-1993 のテスト方法の提供者と IEEE Std 1003.1b-1993 の実装者を対象としています。

この規格の構成

このドキュメントは、次の 5 つのパートで構成されています。

  • (1)適用範囲、規範的参照、適合要件、および試験方法の記述 (セクション 1)
  • (2)規約と定義 (第 2 節)
  • (3) POSIX.1b{3} をテストするためのアサーション (セクション 2 から 15)
  • (4)適合試験結果(附属書 A)
  • (5)参考文献(附属書 B)

この導入部、脚注、テストに付随する注記、および有益な付属書は、この規格の一部とは見なされません。附属書 A は規定です。附属書 B は参考情報です。

この規格の読み方

このドキュメントは、POSIX.1b{3} の特定の要素のテスト要件を見つけやすくするために、POSIX.1b{3} と同じセクション番号を使用して編成されています。セクションの番号付けを POSIX.1b{3} と一致させ、テスト メソッドに関連する機能を説明する場所を提供するために、1.4 節がこのドキュメントに追加されました。読者は、1.1, 1.2, およびこの紹介を読んだ後に 1.4 を確認することを強くお勧めします。可能な場合、このドキュメントでは、IEEE Std 2003.1-1992{4} として使用されたのと同じアサーションの番号付けを使用しようとします。このドキュメントでは、IEEE Std 2003.1-1992{4} のアサーションに対応するアサーションがない場合、アサーション番号をスキップします。アサーションには、IEEE Std 2003.1-1992{4} で複数のアサーションが単一のアサーションに取って代わる小数部分で番号が付けられています。

関連規格活動

追加の要件に対処するためにこの規格を拡張する活動が進行中であり、同様の取り組みが将来予想される可能性があります。

現在、次の分野が活発に検討されているか、近い将来に活発になることが予想されます: 1)

  • (1)本規格の言語非依存サービス記述
  • (2) (1)への C, Ada, および FORTRAN 言語バインディング
  • (3)シェルおよびユーティリティー施設
  • (4)検証試験方法
  • (5)マルチスレッド処理機能
  • (6)安全で信頼できるシステムに関する考慮事項
  • (7)ネットワークインタフェース設備
  • (8)システム管理
  • (9)グラフィカルユーザーインターフェース
  • (10)スーパーコンピューティング、マルチプロセッサ、およびバッチ拡張のためのオープン システム標準のアプリケーションまたはユーザー固有の組み合わせを記述するプロファイル。トランザクション処理;リアルタイムシステム;および歴史的モデルに基づくマルチユーザー システム
  • (11) POSIX ベースまたは関連するオープン システムの標準とプロファイルの全体的なガイド。

拡張は、IEEE 標準手順に従って、このドキュメントの「修正」または「改訂」として承認されます。

承認された修正は、文書全体が再版されるまで個別に公開されます。そのような修正は、適切な位置に組み込まれます。

これらの問題に対処する PASC ワーキング グループへの参加に関心がある場合は、氏名、住所、電話番号を IEEE Standards Board, Institute of Electrical and Electronics Engineers, Inc., PO Box 1331, 445 Hoes までお送りください。 Lane, Piscataway, NJ 08855-1331 に連絡し、適切な PASC ワーキング グループの議長にこれを転送するよう依頼してください。この作業に国際レベルで参加することに関心がある場合は、ISO/IEC の国内団体に連絡してください。

IEEE Std 2003.1b-2000 は、IEEE Computer Society の Portable Applications Standards Committee が後援する、IEEE 2003.1b 標準の開発に焦点を当てた 2003 ワーキング グループのブレークアウト グループによって作成されました。この規格が承認された時点で、IEEE 2003.1b ブレイクアウト グループのメンバーは次のとおりでした。

ポータブル アプリケーション標準委員会
椅子:ローウェル・ジョンソン
副議長:ジョー・グウィン
秘書:ニック・ストートン
機能的な椅子:アンドリュー・ジョジー
ジェイ・アシュフォード
カーティス・ロイスター
ジェイソン・ザイオンズ
2003年作業部会役員
椅子:バリー・ヘドクイスト
ロジャー・マーティン (引退)
副議長:ジョン・デイビス (2003)
ケン・トーマス (2003.1b)
編集者:ブルース・ワイナー (プライマリー)
Jeffrey S. Haemer (サポート)
バリー・ヘドクイスト
秘書:キース・ストビー (1994)
テクニカルレビュアー
テッド・ベイカージョン・デイビスバリー・ヘドクイスト
ジェフリー・ハマーケン・トーマスブルース・ワイナー
2003.1b ワーキング グループ
ジョン・デイビスレオ・ハンセンケン・トーマス
ジェフリー・ハマーカーティス・ロイスターブルース・ワイナー

投票委員会の次のメンバーがこの基準に投票しました。

カレド・アル・アリバリー・ヘドクイストウィリアム・R・スミス
アンディ・ビハインローウェル・ジョンソンケネス・G・トーマス
スーザン・コービンロジャー・マーティンブルース・ワイナー
スティーブン・J・ドヴィッチジェラルド・パウエルアンドリュー・E・ウィーラー
ミシェル・P・ジエンカーティス・ロイスターアレックス・ホワイト
パトリック・エベールジョン・ゾノフスキー

IEEE-SA 規格委員会が 2000 年 3 月 30 日にこの規格を承認したとき、次のメンバーシップがありました。

ドナルド・N・ハイアマン、 議長
James T. Carlo, 副議長
ジュディス・ゴーマン、 秘書
サティシュ・K・アガルワルリチャード・J・ホールマンロバート・F・マンズナー
マーク・D・ボウマンローウェル・G・ジョンソンロナルド・C・ピーターセン
ゲイリー・R・イングマンロバート・J・ケネリージェラルド・H・ピーターソン
ハロルド・エプスタインジョセフ・L・ケプフィンガー*ジョン・B・ポージー
H・ランディス・フロイドピーター・H・リップスゲイリー・ロビンソン
ジェイ・フォースター*L・ブルース・マクラング東条昭夫
ハワード・M・フレイジャーダリープ・C・モーラドナルド・W・ジプス
ルーベン・D・ガーゾンジェームズ・W・ムーア
ジェームズ・H・ガーニー

また、次の投票権のないIEEE-SA標準化委員会のリエゾンも含まれています。

アラン・クックソン、 NIST代表
ドナルド R. ボルツカ、 TAB 代表
イヴェット・ホー・サン
IEEE 標準プロジェクト編集者

Introduction

(This Introduction is not a normative part of IEEE Std 2003.1b-2000, IEEE Standard for Information Technology-Test Methods Specifications for Measuring Conformance to POSIX-Part 1: System Application Program Interface(API)-Amendment 1: Realtime Extension [C Language]).

This standard defines the test method specifications for IEEE Std 1003.1b-1993 (based on the document corresponding to the merger of IEEE Std 1003.1-1990 and IEEE Std 1003.1b-1993). The test method specifications consist of assertions to be tested and related test procedures. As an amendment to IEEE Std 1003.1-1990, this standard is structured to amend those portions of IEEE Std. 2003.1-1992{4} (the test method specification for IEEE Std 1003.1-1990) that correspond to the amended parts of IEEE Std 1003.1-1990. This standard is aimed primarily at providers of test methods for IEEE Std 1003.1b-1993 and at implementors of IEEE Std 1003.1b-1993.

Organization of This Standard

This document is organized into five parts, as follows:

  • (1) Statement of scope, normative references, conformance requirements, and test methods (Section 1)
  • (2) Conventions and definitions (Section 2)
  • (3) Assertions to test POSIX.1b{3} (Sections 2 through 15)
  • (4) Conforming test results (Annex A)
  • (5) Bibliography (Annex B)

This introduction, any footnotes, notes accompanying the test, and the informative annexes are not considered part of this standard. Annex A is normative. Annex B is informative.

How to Read This Standard

This document is organized using the same section numbering as POSIX.1b{3}, in order to facilitate finding the testing requirements for a particular element of POSIX.1b{3}. Subclause 1.4 has been added to this document to keep the section numbering consistent with POSIX.1b{3} and to provide a place to describe features relevant to the test methods. It is strongly recommended that the reader review 1.4 after reading 1.1, 1.2, and this introduction. Where possible, this document tries to use the same assertion numbering that was used as IEEE Std 2003.1-1992{4}. This document skips over the assertion numbers where there are no assertions that correspond to an assertion in IEEE Std 2003.1-1992{4}. The assertions have been numbered with a fractional part where more than one assertion takes the place of a single assertion in IEEE Std 2003.1-1992{4}.

Related Standards Activities

Activities to extend this standard to address additional requirements are in progress, and similar efforts can be anticipated in the future.

The following areas are under active consideration at this time, or are expected to become active in the near future: 1)

  • (1) Language-independent service descriptions of this standard
  • (2) C, Ada, and FORTRAN language bindings to (1)
  • (3) Shell and utility facilities
  • (4) Verification testing methods
  • (5) Multithreaded process facilities
  • (6) Secure/trusted system considerations
  • (7) Network interface facilities
  • (8) System administration
  • (9) Graphical user interfaces
  • (10) Profiles describing application or user-specific combinations of Open Systems standards for: supercomputing, multiprocessor, and batch extensions; transaction processing; realtime systems; and multiuser systems based on historical models
  • (11) An overall guide to POSIX-based or related Open Systems standards and profiles.

Extensions are approved as"amendments" or"revisions" to this document, following IEEEStandards procedures.

Approved amendments are published separately until the full document is reprinted; such amendments are then incorporated in their proper positions.

If you have an interest in participating in the PASC Working Groups addressing these issues, please send your name, address, and phone number to the Secretary, IEEE Standards Board, Institute of Electrical and Electronics Engineers, Inc., P.O. Box 1331, 445 Hoes Lane, Piscataway, NJ 08855-1331, and ask to have this forwarded to the chairperson of the appropriate PASC Working Group. If you have an interest in participating in this work at the international level, contact your ISO/IEC national body.

IEEE Std 2003.1b-2000 was prepared by a breakout group in the 2003 Working Group focused on developing the IEEE 2003.1b standard, sponsored by the Portable Applications Standards Committee of the IEEE Computer Society. At the time this standard was approved, the membership of the IEEE 2003.1b breakout groups was as follows:

Portable Applications Standards Committee
Chair:Lowell Johnson
Vice Chair:Joe Gwinn
Secretary:Nick Stoughton
Functional Chairs:Andrew Josey
Jay Ashford
Curtis Royster
Jason Zions
2003 Working Group Officials
Chair:Barry Hedquist
Roger Martin (retired)
Vice Chair:John Davies (2003)
Ken Thomas (2003.1b)
Editors:Bruce Weiner (primary)
Jeffrey S. Haemer (supporting)
Barry Hedquist
Secretary:Keith Stobie (1994)
Technical Reviewers
Ted BakerJohn DaviesBarry Hedquist
Jeffrey HaemerKen ThomasBruce Weiner
2003.1b Working Group
John DaviesLeo HansenKen Thomas
Jeffrey HaemerCurtis RoysterBruce Weiner

The following members of the balloting committee voted on this standard:

Khaled Al-AliBarry HedquistWilliam R. Smith
Andy BihainLowell JohnsonKenneth G. Thomas
Susan CorwinRoger MartinBruce Weiner
Steven J. DovitchGerald PowellAndrew E. Wheeler
Michel P. GienCurtis RoysterAlex White
Patrick HebertJohn Zolnowsky

When the IEEE-SA Standards Board approved this standard on 30 March 2000, it had the following membership:

Donald N. Heirman, Chair
James T. Carlo, Vice Chair
Judith Gorman, Secretary
Satish K. AggarwalRichard J. HollemanRobert F. Munzner
Mark D. BowmanLowell G. JohnsonRonald C. Petersen
Gary R. EngmannRobert J. KennellyGerald H. Peterson
Harold E. EpsteinJoseph L. Koepfinger*John B. Posey
H. Landis FloydPeter H. LipsGary S. Robinson
Jay Forster*L. Bruce McClungAkio Tojo
Howard M. FrazierDaleep C. MohlaDonald W. Zipse
Ruben D. GarzonJames W. Moore
James H. Gurney

Also included is the following nonvoting IEEE-SA Standards Board liaison:

Alan Cookson, NIST Representative
Donald R. Volzka, TAB Representative
Yvette Ho Sang
IEEE Standards Project Editor