相互接続試験システムAICTSの開発 : プロトタイプの開発
スポンサーリンク
概要
- 論文の詳細を見る
情報通信システム間の相互運用性の確立のためには、適合性試験の他に相互接続試験が不可欠である。そこで我々は、試験の自動化と汎用化をめざしたアーキテクチャをもつ相互接続試験システムAICTS(AIC Inter-connection Test System)の開発を進めている。開発の第1ステップとして着手したプロトタイプシステムの機能は適合性試験のみであるが、AICTSの主要な構成要素を含み相互接続試験システムへの拡張を考慮したものとなってる。本稿では、AICTSの開発構想とプロトタイプシステムの試験アーキテクチャについて述べる。
- 一般社団法人情報処理学会の論文
- 1992-02-24
著者
-
高橋 薫
東北大学
-
高橋 薫
高度通信システム研究所(aic)
-
高橋 薫
東北大学電気通信研究所
-
後藤 憲
Aic
-
高橋 健一
高度通信システム研究所(aic)
-
後藤 憲一
Aic
-
似内 聡
AIC
-
高橋 健一
AIC
-
石幡 吉則
AIC
-
似内 聡
高度通信システム研究所(aic)
-
石幡 吉則
高度通信システム研究所(aic)
関連論文
- 睾丸腫瘍及び膀胱癌の腫瘍組織内リンパ球 Subpopulation
- 先天性水腎症における尿輸送能の定量的評価法の研究
- 両側異時発生セミノーマの3例 : 第188回東北地方会
- 比較的まれな副腎腫瘍の5例(偽嚢腫,リンパ管腫性嚢腫,骨髄脂肪腫,脂肪腫,神経鞘腫)(第197回東北地方会)
- 上部尿路の低流量Pressure-Flow Study : 第74回日本泌尿器科学会総会
- 経口剤による尿酸結石溶解症例について : 第194回東北地方会
- モノクローナル抗体,レクチンを用いた膀胱腫瘍の研究
- 仕様の段階的詳細化とグラフ表現に基づく統合型記述支援
- 時制論理に基づくプロトコルの LOTOS 仕様の合成
- LOTOSに基づいたプロトコルの論理検証支援システムの実現
- LOTOS仕様の分割支援システム
- 相互接続試験スイートの開発
- 相互接続試験システムの機能検討
- 基本相互接続試験システムの開発
- 相互接続試験システムAICTSにおける試験スイートの検討
- 相互接続試験システムAICTSにおける試験スイートの検討
- 相互接続試験システムAICTSの機能検討
- 相互接続試験への拡張性を考慮した適合性システムの開発
- 適合性試験システムの開発 : IUTシミュレータの開発
- 相互接続試験システムAICTSの開発 : 試験スイートの検討
- 相互接続試験システムAICTSの開発 : プロトタイプの開発
- 傍膀胱肉腫の1例 : 第185回東北地方会
- LOTOSによるCCRサービス定義の形式記述 : データ型部 : INTAP研究開発委貝会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : プロセス部 : INTAP研究開発委員会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : 全体報告 : INTAP研究開発委員会プロトコル形式記述WG
- 並列性を考慮した通信システムの相互接続度験系列生成法
- 並列性を考慮した通信システムの相互接続試験系列生成法
- プロセスの独立性を考慮した通信システムの相互接続試験系列生成法
- 並列試験系列記述法PTSNを用いた試験の効率に関する一考察
- 並列性を考慮した通信システムにおける相互接続試験系列生成法
- 並列動作を含む相互接続試験系列記述法の提案
- 胎便性腹膜炎に合併した陰嚢壊死の1例 : 第186回東北地方会
- シーケンス図を基本とした通信システム用仕様記述法MSCの提案
- 相互接続性試験構成法の一検討
- Prune-Belly症候群の4例 : 第195回東北地方会
- 尿道弁の6例 : 第187回東北地方会
- 上位インタフェースに着目したOSI相互接続試験システムの開発と評価
- ASN.1からLOTOS ADTへの変換
- 尿路腫瘍の腫瘍マーカーの検討 : 特にTPAについて : 第188回東北地方会
- LOTOSプロセスによる試験支援系の考察と実現
- 経腹的後腹膜リンパ節吸引生検法 : 第48回東部連合総会
- システム要求と形式仕様のやわらかい設計支援環境とその試作
- プロセス仕様の検証のための模倣性判定法
- シミュレーション関係に基づくLOTOS仕様の検証アルゴリズム
- SDLからLOTOSへの変換
- LOTOSによる交換サービス仕様の記述
- GLOER : G-LOTOSエディタの試作
- LOTOSによる交換ソフトウェア仕様検証について
- 相互運用性試験アーキテクチャに関する一考察
- SDL仕様のLOTOSによる解釈
- 通信ソフトウェア設計支援環境 : ITECS(2) : 仕様作成支援
- 通信ソフトウェア設計支援環境 : ITECS(1) : 全体構成
- LOTOSの図式支援環境について
- SAL : LOTOS仕様の意味解析支援システム : 実現方式
- SAL : LOTOS仕様の意味解析支援システム : 目的と概要
- 通信ソフトウェア設計支援環境 : ITECS(4) : 試験仕様生成支援
- 通信ソフトウェア設計支援環境 : ITECS(3) : 仕様検証支援
- LOTOS検証システムMetisII
- ASN.1データ定義支援環境の構成
- LOTOS仕様からの効率的な試験系列の自動生成
- LOTOS言語の特質と処理系の現状と動向 (通信システムの形式記述技法の標準化)
- LOTOSの状態遷移的解釈に関する一考察
- LOTOSに基づいたプロトコル論理検証支援
- NESDEL : プロトコル向き仕様記述言語とその応用
- 通信ソフトウェア向き超高級プログラミング言語IDLとその適用
- 計算機ネットワークにおける画像・文章統合型メールシステムの設計と実現