並列試験系列記述法PTSNを用いた試験の効率に関する一考察
スポンサーリンク
概要
- 論文の詳細を見る
分散処理システムの普及拡大に伴い,通信ソフトウェアに対する試験の重要性が高まっている.試験に関する問題の中で主要な部分を占めるものの1つが,試験系列の記述法に関する問題である.現在,通信システムを対象とした製品試験は,個々の製品に対して個別に行う"適合性試験"と,実利用環境のもとで実際に製品同士を接続して行う"相互接続試験"との組合せで実施されている.このうち,適合性試験については,試験系列の記述法としてTTCNや形式記述言語により表す方法等が提案されている.我々は,相互接続試験の高信頼化と実施時間の短縮による試験の効率化を目的として,相互接続試験の試験系列記述法PTSN及びPTSNを用いた効率的な試験系列生成法であるPP法を提案した.本稿では,PTSNに基づいた試験系列を用いた試験の実施時間について検討を行う.
- 一般社団法人情報処理学会の論文
- 1993-03-01
著者
-
白鳥 則郎
東北大学情報科学研究科
-
高橋 薫
東北大
-
白鳥 則郎
東北大学
-
高橋 薫
仙台電波工業高等専門学校
-
高橋 薫
東北大学
-
高橋 薫
仙台電波工業高等専門学校 情報通信工学科
-
朴 美姫
三菱電機(株)情報技術総合研究所
-
朴 美娘
東北大学
-
岡崎 直宣
宮崎大学
-
高橋 薫
東北大学電気通信研究所
-
野口 正一
東北大学 電気通信研究所
-
朴 美娘
三菱電機
-
岡崎 直宣
AIC
-
Park Mirang
Information Technology R&d Center Mitsubishi Electric Corporation
-
朴 美娘
神奈川工科大学
-
岡崎 直宣
宮崎大 工
関連論文
- 学会の次の50年 : プロ棋士から学ぶ(情報処理学会が日本将棋連盟に「コンピュータ将棋」で挑戦状,トピックス,50周年記念特集号)
- 1.情報処理技術と学会の未来(情報処理技術の未来地図,50周年記念特集号)
- 公開鍵分散管理を目的としたオーバーレイネットワーク適応型構成法の設計(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- ネットワークモビリティ環境における監視トラフィックの流量制御方式(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- モバイルネットワークにおける監視トラフィックの流量制御方式(モバイル/放送融合アプリケーション,モバイルコンテンツ,モバイル映像配信,一般)
- モバイルネットワークにおける監視トラフィックの流量制御方式(学生特別セッション,モバイル/放送融合アプリケーション,モバイルコンテンツ,モバイル映像配信,一般)
- 睾丸腫瘍及び膀胱癌の腫瘍組織内リンパ球 Subpopulation
- 変数を用いたWebアプリケーションのモデル化と形式的手法による検査(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- 形式的手法によるWebアプリケーションのモデル化と検証
- 先天性水腎症における尿輸送能の定量的評価法の研究
- 両側異時発生セミノーマの3例 : 第188回東北地方会
- オントロジを利用した健康支援システムの提案とその評価(Webインテリジェンス,情報洪水時代のネットワークサービス)
- 共生コンピューティングに基づく利用者にやさしい見守り支援システムの提案(ユビキタスネットワーク,VPN,NAT,ネットワークセキュリティ,DDoS,P2P及び一般)
- 1B-3 画面遷移を用いたWebアプリケーションのモデル化とSPINによる検証(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- オントロジを利用した健康支援システムの設計と実装
- F_010 オントロジに基づいた健康アドバイス導出システム(F分野:人工知能・ゲーム)
- F_009 健康アドバイス導出のための領域オントロジと推論ルール(F分野:人工知能・ゲーム)
- 比較的まれな副腎腫瘍の5例(偽嚢腫,リンパ管腫性嚢腫,骨髄脂肪腫,脂肪腫,神経鞘腫)(第197回東北地方会)
- 上部尿路の低流量Pressure-Flow Study : 第74回日本泌尿器科学会総会
- 経口剤による尿酸結石溶解症例について : 第194回東北地方会
- モノクローナル抗体,レクチンを用いた膀胱腫瘍の研究
- 特集「マルチメディアコミュニケーションシステム」の編集にあたって
- 「マルチメディアコミュニケーションシステム」の編集にあたって
- 未来社会とIT(情報技術の新時代に向けて)
- A Decentralized Coordinator for Committee Coordination Problem
- 形式的仕様記述言語LOTOSの教育支援システムの設計
- 50周年と新たな旅たち : 会長就任にあたって
- ネットワークモビリティ環境におけるモバイルデバイス監視技術の開発(モバイル/放送融合技術・システム・アプリケーション,モバイルコンテンツ,モバイル映像配信)
- 共生型協働作業支援のための開放型三次元ディジタル空間構成法(情報社会のデザイン:Inter Societyと実世界アプリケーション)
- オブジェクトのインタラクションに基づく3次元仮想協調作業環境のためのアプリケーション間連携方式の提案(ヘルスケアとコミュニケーション支援,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- 通信・放送機構 ギガビットネットワーク研究開発プロジェクト直轄研究の紹介 : アプリケーション研究を中心として
- ホームエジェントヘバッファリング機能の追加によりモバリルIPのマクロモビリティパフォーマンス向上に関する研究(セッションA-3)(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信及び一般)
- 形式的手法によるWebアプリケーションのモデル化と検証
- 新たな50年へ向けて-心に木を植える-
- 移動ネットワークにおける効率的な管理情報の収集制御方式
- WEB時代のイノベーションに向けた"技術的・社会的"課題
- WEB時代のイノベーションに向けた"技術的・社会的"課題
- 動的ネットワーキングにおけるメディア配送機能の設計
- ネットワークモビリティ環境における管理情報の効率的な収集手法(モバイル/放送融合技術・システム・アプリケーション,モバイルコンテンツ,モバイル映像配信)
- ネットワークモビリティ環境における管理情報の効率的な収集手法(モバイル/放送融合技術・システム・アプリケーション,モバイルコンテンツ,モバイル映像配信)
- ネットワークにおける侵入検知モデルの提案
- ネットワークにおける侵入検知モデルの提案
- WEB時代のイノベーションに向けた"技術的・社会的"課題
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- B-7-118 ストレス耐性ワイヤレスサービスにおける基地局選択法 (2) : 実証システムの構成
- B-7-117 ストレス耐性ワイヤレスサービスにおける基地局選択法 (1) : マルチエージェントに基づく端末間協調
- ネットワークモビリティ環境におけるモバイルデバイス監視技術の開発(モバイル/放送融合技術・システム・アプリケーション,モバイルコンテンツ,モバイル映像配信)
- MobileIPv6ネットワーク管理における移動端末情報の監視手法(無線ネットワーク,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- K-042 3D作業空間のためのモデル集約によるスケーラブルな知覚品質制御法(教育工学・福祉工学・マルチメディア応用,一般論文)
- ホームエジェントヘバッファリング機能の追加によりモバリルIPのマクロモビリティパフォーマンス向上に関する研究(セッションA-3)(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信及び一般)
- ホームエジェントヘバッファリング機能の追加によりモバリルIPのマクロモビリティパフォーマンス向上に関する研究(セッションA-3)(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信及び一般)
- 傍膀胱肉腫の1例 : 第185回東北地方会
- LOTOSによるCCRサービス定義の形式記述 : データ型部 : INTAP研究開発委貝会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : プロセス部 : INTAP研究開発委員会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : 全体報告 : INTAP研究開発委員会プロトコル形式記述WG
- 相互接続試験系列生成システム : TESGEN
- 2Z-4 プライバシーを考慮した個人・組織情報検索システム(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- F-036 OWLによる個人・組織情報のモデル化とプライバシーの取扱い(人工知能・ゲーム,一般論文)
- 並列性を考慮した通信システムの相互接続度験系列生成法
- 並列性を考慮した通信システムの相互接続試験系列生成法
- プロセスの独立性を考慮した通信システムの相互接続試験系列生成法
- 並列試験系列記述法PTSNを用いた試験の効率に関する一考察
- 並列性を考慮した通信システムにおける相互接続試験系列生成法
- 並列動作を含む相互接続試験系列記述法の提案
- 胎便性腹膜炎に合併した陰嚢壊死の1例 : 第186回東北地方会
- シーケンス図を基本とした通信システム用仕様記述法MSCの提案
- L-013 モバイルIPネットワークにおけるフロー挙動に基づくトラフィック分類手法(ネットワーク・セキュリティ,一般論文)
- 6D-2 エージェント間協調によるレストランガイドシステムに関する一考察(人工知能一般(2),一般セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- Wide-area Group Communication Protocols : International Experiment
- マルチメディア会議システムにおけるメディア同期制御機能の実装と評価
- 2Z-6 NuSMVを用いたオントロジ検証(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2P-2 形式的手法と検査ツールによるモデル検査事例と考察(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-015 モデル検査を用いたオントロジの検証(ソフトウェア,一般論文)
- MobileIPv6ネットワーク管理におけるMobileIPv6-MIBの応用(モバイル・アドホックネットワーク,VPN,NAT,ネットワークセキュリティ,DDoS,P2P及び一般)
- フロー解析に基づくネットワーク障害箇所推定手法(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- フロー解析に基づくネットワーク障害箇所推定手法(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- フロー解析に基づくネットワーク障害箇所推定手法(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- Prune-Belly症候群の4例 : 第195回東北地方会
- 尿道弁の6例 : 第187回東北地方会
- Extension of Synthesis Algorithm of Recursive Processes to $\mu$-calculus
- 次世代ネットワークの監視技術に関する研究
- 尿路腫瘍の腫瘍マーカーの検討 : 特にTPAについて : 第188回東北地方会
- 命題論理に基づく要求仕様の詳細化とその支援
- RDB 処理の分散コンポーネント構築支援方式
- RDB 処理の分散コンポーネント構築支援方式
- 次世代ネットワークの監視技術に関する研究
- VisuMotion : コミュニケーションのための情報の内容の構造化方式の一考察
- Reliable Total Dominant Pruning : MANETのための部分的ユニキャスト : 再送による高信頼フラッディング方式(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- Reliable Total Dominant Pruning : MANETのための部分的ユニキャスト : 再送による高信頼フラッディング方式(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- Reliable Total Dominant Pruning : MANETのための部分的ユニキャスト : 再送による高信頼フラッディング方式(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- RDB処理の3階層コンポーネント構築の一方式
- 同期データーの伝送遅滞時間特性を改善する改良型Timed Token Protocolの提案と評価
- やわらかいシステムの適応性に関する一考察
- 02 JGNを用いたTAO直轄研究(JGN発足時のTAOリサーチセンター)(ジャパンギガビットネットワーク)
- 分散エージェントとマルチメディアコミュニケーション
- 通信システムとその仕様記述の学習支援システムの構成について
- 携帯電話向けWWWページ作成の実習授業への導入
- ネットワークトラフィッタの監視について(インターネットの測定・性能評価技術,及び一般)
- Graphical Interface for Representation of LTS
- 通信プロトコルの機構に関する一考察