| No | 58804 |
|---|---|
| 標題（和） | リアルタイムシステムにおける機能検定手法 |
| 標題（英） | Function validation in Real time system |
| 研究会名（和） | 交換システム; 情報ネットワ-ク; 通信方式 |
| 研究会名（英） | Switching Systems Engineering; Information Networks; Communication Systems |
| 開催年月日 | 1994-09-01 |
| 終了年月日 | 1994-09-02 |
| 会議種別コード | 2 |
| 共催団体名（和） | |
| 資料番号 | SSE94-103 // IN94-71 // CS94-102 |
| 抄録（和） | 本論文では、i)ベンダプラットフォ-ムの正常性を確認するための機能検定ツ-ル、ii)機能検定ツ-ルの開発期間の短縮、開発コストの削減を目的とした機能検定ツ-ルの開発支援ツ-ル、の実現技術について述べる。 |
| 抄録（英） | The establishment of multivendor-oriented platforms is a growing trend in realtime systems.One aim of multivendor platform provision is to achieve application portability,uniform development environments,and system interoperability across different vendors.To realize a multivendor platform,a hierarchical system configuration is adopted,with standard interfaces specified between layers.In order to ensure application program portability across different implementations of the same platform,each implementation must be shown to support the interface specifications with no additions or deficiencies.The present paper deals with function validation.It describes technologies used for implementing the function validation tools,which confirm the normal functioning of a vendor′s platform.It further describes support tools for reducing the time and cost needed to develop the function validation tools. |
| 収録資料名（和） | 電子情報通信学会技術研究報告 |
| 収録資料の巻号 | Vol.94 No.207〜212 |
| ページ開始 | 75 |
| ページ終了 | 80 |
| キーワード（和） | 論理モデル |
| キーワード（英） | logical model |
| 本文の言語 | JPN |
| 著者（和） | 星合隆成 |
| 著者（ヨミ） | ホシアイタカシゲ |
| 著者（英） | Hoshiai Takashige |
| 所属機関（和） | NTTネットワ-クサ-ビスシステム研究所 |
| 所属機関（英） | NTT Network Service System Laboratories |
| 著者（和） | 片山穣 |
| 著者（ヨミ） | カタヤマミノル |
| 著者（英） | Katayama Minoru |
| 所属機関（和） | NTTネットワ-クサ-ビスシステム研究所 |
| 所属機関（英） | NTT Network Service System Laboratories |