相互接続試験系列生成システム : TESGEN
スポンサーリンク
概要
- 論文の詳細を見る
分散処理システムの普及拡大に伴い,通信ソフトウェアも大規模化,複雑化する傾向にある.このような状況において,開発された製品に対する試験の重要性がますます高まっている.試験に関する問題の中で主要な部分を占めるものの1つが,試験系列の生成に関する問題である.現在,通信システムを対象とした製品試験は,個々の製品に対して個別に行う適合性試験と,実利用環境のもとで実際に製品同士を接続して行う相互接続試験との組合せで実施されている.本稿では先に我オが提案したnプロセスの場合を対象とした相互接続試験系列生成法(PP法)に基づく試験系列生成システムTESGENの構築について述べる.
- 一般社団法人情報処理学会の論文
- 1993-09-27
著者
-
朴 美娘
(株)高度移動通信セキュリティ技術研究所(AMSL)
-
高橋 薫
東北大
-
高橋 薫
仙台電波工業高等専門学校
-
高橋 薫
(株)高度通信システム研究所
-
高橋 薫
仙台電波工業高等専門学校 情報通信工学科
-
朴 美姫
三菱電機(株)情報技術総合研究所
-
朴 美娘
三菱電機(株)情報技術総合研究所
-
岡崎 直宣
宮崎大学
-
岡崎 直宣
(株)高度通信システム研究所
-
土岐田 義明
(株)高度通信システム研究所
-
朴 美娘
三菱電機
-
Park Mirang
Mitsubishi Electric Corporation
-
朴 美娘
東北大学電気通信研究所(株)
-
三上 節子
高度通信システム研究所
-
三上 節子
(株)高度通信システム研究所
-
Park Mirang
Information Technology R&d Center Mitsubishi Electric Corporation
-
朴 美娘
神奈川工科大学
-
岡崎 直宣
宮崎大 工
関連論文
- 統合型ネットワーク性能評価技術に関する研究(セッション管理,P2P通信,オーバーレイネットワーク,性能解析・評価,信頼性及び一般)
- グループ暗号通信の鍵供託方式に関する一考察
- 睾丸腫瘍及び膀胱癌の腫瘍組織内リンパ球 Subpopulation
- ベイズ学習アルゴリズムのスパムフィルタとウイルスフィルタへの適用の最適化(侵入検出・検知,情報システムを支えるコンピュータセキュリティ技術の再考)
- 変数を用いたWebアプリケーションのモデル化と形式的手法による検査(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- 形式的手法によるWebアプリケーションのモデル化と検証
- 先天性水腎症における尿輸送能の定量的評価法の研究
- 両側異時発生セミノーマの3例 : 第188回東北地方会
- オントロジを利用した健康支援システムの提案とその評価(Webインテリジェンス,情報洪水時代のネットワークサービス)
- データセントリックセンサネットワークにおけるルーティング方式の検討(携帯端末,モバイルアプリケーション,モバイルコンピューティング)
- センサネットワークにおける位置情報を用いないルーティング方式の検討(セッション6:アドホックネットワーク・センサーネットワーク)
- 1B-3 画面遷移を用いたWebアプリケーションのモデル化とSPINによる検証(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- オントロジを利用した健康支援システムの設計と実装
- F_010 オントロジに基づいた健康アドバイス導出システム(F分野:人工知能・ゲーム)
- F_009 健康アドバイス導出のための領域オントロジと推論ルール(F分野:人工知能・ゲーム)
- 比較的まれな副腎腫瘍の5例(偽嚢腫,リンパ管腫性嚢腫,骨髄脂肪腫,脂肪腫,神経鞘腫)(第197回東北地方会)
- 上部尿路の低流量Pressure-Flow Study : 第74回日本泌尿器科学会総会
- 経口剤による尿酸結石溶解症例について : 第194回東北地方会
- モノクローナル抗体,レクチンを用いた膀胱腫瘍の研究
- 形式的仕様記述言語LOTOSの教育支援システムの設計
- 形式的手法によるWebアプリケーションのモデル化と検証
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- センサネットワークにおける位置情報を用いないルーティング方式の検討(セッション6:アドホックネットワーク・センサーネットワーク)
- アドホックネットワークにおける階層型複数経路構築手法の評価(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
- アドホックネットワークにおける階層型複数経路構築手法の評価(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
- イントラネット閉域通信グループの構築に適した安全な鍵配送方式とその運用管理方式
- 傍膀胱肉腫の1例 : 第185回東北地方会
- LOTOSによるCCRサービス定義の形式記述 : データ型部 : INTAP研究開発委貝会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : プロセス部 : INTAP研究開発委員会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : 全体報告 : INTAP研究開発委員会プロトコル形式記述WG
- 動的マーキングを用いた効率的なネットワーク攻撃追跡手法の提案
- GUI-based統合型ネットワーク性能評価手法に関する検討(オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- BS-7-5 高速シミュレーション手法に関する検討(BS-7.ネットワーク性能評価技術の新展開,シンポジウムセッション)
- マルチリングネットワークにおける効率的な光パス設定方式に関する検討(フォトニックネットワーク/制御,光制御(波長変換・スイッチング等),光波/量子通信,GMPLS,一般)
- データセントリックセンサネットワークにおけるルーティング方式の検討(携帯端末,モバイルアプリケーション,モバイルコンピューティング)
- ワイヤレスネットワークシステムにおけるシームレスユーザ認証方法に関する考察(セキュア・ワイヤレスネットワーク,マルチメディア,分散,協調とモバイル(DICOMO2005))
- アドホックネットワークにおける階層型複数経路構築手法の検討
- ダイナミックグループ暗号信号のための鍵更新システムの提案と評価(情報セキュリティ応用)
- サービス不能攻撃の経路追跡手法の効率化に関する検討(ネットワークセキュリティ)
- インタワーキングマルチメディアサービス制御方式
- オブジェクト指向に基づいたマルチメディア・アプリケーションの呼モデルの検討
- 高度INに基づいたマルチメディアサービス制御方式
- 相互接続試験系列生成システム : TESGEN
- An Efficient Method for Private Network Management Using IP Address Translation
- Realization Method of Flexible Private Network System
- Proposal of a Key Sharing Method for Secure Communication Systems
- 2Z-4 プライバシーを考慮した個人・組織情報検索システム(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- F-036 OWLによる個人・組織情報のモデル化とプライバシーの取扱い(人工知能・ゲーム,一般論文)
- 4S-8 通信グループ分散管理手法の一検討
- セキュアマルチキャスト鍵配布方式に関する検討
- 並列性を考慮した通信システムの相互接続度験系列生成法
- 並列性を考慮した通信システムの相互接続試験系列生成法
- プロセスの独立性を考慮した通信システムの相互接続試験系列生成法
- 並列試験系列記述法PTSNを用いた試験の効率に関する一考察
- 並列性を考慮した通信システムにおける相互接続試験系列生成法
- 並列動作を含む相互接続試験系列記述法の提案
- 胎便性腹膜炎に合併した陰嚢壊死の1例 : 第186回東北地方会
- シーケンス図を基本とした通信システム用仕様記述法MSCの提案
- 2Z-6 NuSMVを用いたオントロジ検証(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2P-2 形式的手法と検査ツールによるモデル検査事例と考察(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-015 モデル検査を用いたオントロジの検証(ソフトウェア,一般論文)
- Prune-Belly症候群の4例 : 第195回東北地方会
- 尿道弁の6例 : 第187回東北地方会
- センサネットワークにおける回帰分析を用いたノード位置推定手法の提案(ネットワーク,通信技術の未来を拓く学生論文)
- データセントリックセンサネットワークにおける地理的位置情報を必要としないルーティング方式の提案と評価
- 尿路腫瘍の腫瘍マーカーの検討 : 特にTPAについて : 第188回東北地方会
- 命題論理に基づく要求仕様の詳細化とその支援
- 同期データーの伝送遅滞時間特性を改善する改良型Timed Token Protocolの提案と評価
- 携帯電話向けWWWページ作成の実習授業への導入
- (71)Webページ作成による教育事例 : 携帯電話向けWebページの作成(マルチメディア(I),第17セッション)
- 経腹的後腹膜リンパ節吸引生検法 : 第48回東部連合総会
- ピアエンティティ生成に基づくプロトコル合成法
- 通信システムのサービス仕様の変更に基づくプロトコル仕様の自動変更法とその応用
- コミュニケーションプロトコルの適応性を考慮したやわらかい合成支援環境の構築
- システム要求と形式仕様のやわらかい設計支援環境とその試作
- 通信プロトコルのやわらかい合成法
- 要求と形式仕様のやわらかい設計支援システム
- 形式仕様の開発における機能要求への反映
- A New Light-Path Setup Scheme for Dynamic Traffic in Ring-based Optical Networks
- プロセス仕様の検証のための模倣性判定法
- シミュレーション関係に基づくLOTOS仕様の検証アルゴリズム
- SDLからLOTOSへの変換
- LOTOSによる交換サービス仕様の記述
- GLOER : G-LOTOSエディタの試作
- LOTOSによる交換ソフトウェア仕様検証について
- SDL仕様のLOTOSによる解釈
- 通信ソフトウェア設計支援環境 : ITECS(2) : 仕様作成支援
- 通信ソフトウェア設計支援環境 : ITECS(1) : 全体構成
- LOTOSの図式支援環境について
- 隣接端末数に基づく経路構築手法の提案
- 隣接端末数に基づく経路構築手法の提案
- ゾーンに基づく複数経路構築手法の評価
- ゾーンに基づく複数経路構築手法の評価
- 自学型習熟度別プログラミング教育について
- 通信システム仕様の合成支援環境の設計と実現
- 通信ソフトウェア設計支援環境 : ITECS(4) : 試験仕様生成支援
- 通信ソフトウェア設計支援環境 : ITECS(3) : 仕様検証支援
- P2PストリーミングにおけるNAT越えを考慮した配信木構築手法の検討
- アドホックネットワークにおけるゾーン重複のない複数経路構築手法の提案と評価
- P2PストリーミングにおけるNAT越えを考慮した配信木構築手法の提案