通信ソフトウエア設計支援環境:lTECS(5) : 試験系列生成支援(TESGEN)
スポンサーリンク
概要
- 論文の詳細を見る
我々は,大規模化,複雑化している通信ソフトウェアを高信頼なものにするために総合的な支援環境(ITECS)を提案した.ITECSは仕様記述,仕様検証,試験系列生成の3つの支援系から構成されている.本報告では,その中の試験系列生成支援系(TESGEN)について述べ,適用例を紹介する.我々は,試験対象となる複数プロセスの動作をFSM(Finite State Machine)で記述し,複数プロセス全体の動作グラフ(SSG:SystemStateGraph)を生成,そのグラフをもとに試験系列の生成を行う方法を提案した.それらの方法をもとに必要とされる試験の厳密さに応じて複数のレベルの試験系列が生成できる支援系TESGENを構築した.
- 一般社団法人情報処理学会の論文
- 1994-03-07
著者
関連論文
- 中継サーバを設けたセキュアな遠隔支援システムの開発と展開(ネットワーク・インターネット基礎,産学連携論文)
- 光波長多重リングネットワークにおけるトークンを用いた光パス設定方式の提案
- センサネットワークにおけるホップベースルーティング手法の精度に関する検討(セッション2:アドホックネットワーク)
- 光波長多重ネットワークにおけるリング管理トークンを用いた光パス設定方式の一検討
- RM-004 センサネットワークにおけるHop-Vectorに基づくノード位置推定手法の検討(ユビキタス・モバイルコンピューティング,査読付き論文)
- センサネットワークにおけるホップ数に基づくルーティング方式の提案
- データセントリックセンサネットワークにおけるルーティング方式の検討(携帯端末,モバイルアプリケーション,モバイルコンピューティング)
- センサネットワークにおける位置情報を用いないルーティング方式の検討(セッション6:アドホックネットワーク・センサーネットワーク)
- 広域回線データ暗号化に関する一検討
- 広域網における暗号鍵の共有方法の検討
- 広域網接続用データ圧縮装置の試作と評価
- 広域網中継データの圧縮特性評価
- ダミーアドレスを用いた電子メール型ワームの感染源特定支援手法の検討
- 初心者ユーザ遠隔支援システムにおけるユーザ管理手法に関する検討
- WWW システムにおけるブログスパム検知手法に関する研究
- P2Pにおけるバックボーンネットワーク資源利用の効率化手法の検討
- センサネットワークにおける位置情報を用いないルーティング方式の検討(セッション6:アドホックネットワーク・センサーネットワーク)
- アドホックネットワークにおける階層型複数経路構築手法の評価(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
- アドホックネットワークにおける階層型複数経路構築手法の評価(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
- イントラネット閉域通信グループの構築に適した安全な鍵配送方式とその運用管理方式
- サイトの移動判定によるフィッシングサイト検知手法の提案
- RL-002 サイトの移動判定によるフィッシングサイト検知手法の検討(ネットワーク・セキュリティ,査読付き論文)
- 3Z-9 アドホックネットワークにおけるゾーンを用いた複数経路構築手法の評価(アドホックネットワーク(1),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- コネクションベース方式による踏み台攻撃検出手法の提案(ネットワークセキュリティ,シームレスコンピューティングとその応用技術)
- NATやファイアウォールと共存できる暗号通信方式PCCOMの提案と実装(ネットワークセキュリティ)
- 3Z-8 アドホックネットワークにおける近隣端末数に基づく経路構築手法の検討(アドホックネットワーク(1),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 3Z-7 クラスタの再構築を利用したクラスタヘッドの循環手法の検討(アドホックネットワーク(1),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 動的マーキングを用いた効率的なネットワーク攻撃追跡手法の提案
- マルチリングネットワークにおける効率的な光パス設定方式に関する検討(フォトニックネットワーク/制御,光制御(波長変換・スイッチング等),光波/量子通信,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
- 4S-8 通信グループ分散管理手法の一検討
- セキュアマルチキャスト鍵配布方式に関する検討
- 並列性を考慮した通信システムの相互接続度験系列生成法
- 並列性を考慮した通信システムの相互接続試験系列生成法
- プロセスの独立性を考慮した通信システムの相互接続試験系列生成法
- 並列試験系列記述法PTSNを用いた試験の効率に関する一考察
- 並列性を考慮した通信システムにおける相互接続試験系列生成法
- 並列動作を含む相互接続試験系列記述法の提案
- ネットワークアドレス変換を用いたIP移動透過性の検討
- An Examination of a Method for Private Network Management Using Address Translations
- 応答時間を考慮したタイムクリティカル通信プロトコル
- P2Pにおける安全なコンテンツ流通システムの提案
- センサネットワークにおける回帰分析を用いたノード位置推定手法の提案(ネットワーク,通信技術の未来を拓く学生論文)
- アドホックネットワークにおける階層型複数経路構築手法の提案と評価
- 地域通貨を用いたコミュニティ活性化支援システムの試作
- モバイルアドホックネットワーク上の Peer to Peer システムにおける情報検索手法の一検討
- アドホックネットワークにおける階層型複数経路構築手法の提案(セッション3)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- アドホックネットワークにおける階層型複数経路構築手法の提案(セッション3)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- ゾーンに基づく複数経路構築手法の評価 (アドホックネットワーク)
- 隣接端末数に基づく経路構築手法の提案 (アドホックネットワーク)
- B-7-47 プロセスバスにおける管理通信方式
- データセントリックセンサネットワークにおける地理的位置情報を必要としないルーティング方式の提案と評価
- リモートアクセスによる初心者ユーザ支援の安全に関する検討
- 再帰的NURBS処理手法を用いたモーバイル通信での3次元仮想空間内での自由曲面の圧縮転送方法の検討
- 同期データーの伝送遅滞時間特性を改善する改良型Timed Token Protocolの提案と評価
- トラフィック監視を用いたネットワーク攻撃の追跡手法の提案と評価
- 分散型ネットワークサービス不能攻撃の追跡手法の評価に関する検討
- 通信ソフトウエア設計支援環境:lTECS(5) : 試験系列生成支援(TESGEN)
- 動的マーキングを用いた効率的なネットワーク攻撃追跡手法の提案
- 分散DoS攻撃追跡手法の効率化に関する検討
- 階層型ネットワークアドレス変換を用いたIP移動透過性の実現手法における安全な通信方式の検討
- 階層型ネットワークアドレス変換を用いたIP移動透過性の検討
- 広域網上における圧縮アルゴリズムの最適な適用に関する検討
- A New Light-Path Setup Scheme for Dynamic Traffic in Ring-based Optical Networks
- 通信ソフトウェア設計支援環境 : ITECS(1) : 全体構成
- アドホックネットワークにおけるゾーンを用いた複数経路構築手法の提案
- 隣接端末数に基づく経路構築手法の提案
- 隣接端末数に基づく経路構築手法の提案
- ゾーンに基づく複数経路構築手法の評価
- ゾーンに基づく複数経路構築手法の評価
- ダミーアドレスを用いた電子メール型ワームの感染源特定支援手法の検討
- 通信ソフトウェア設計支援環境 : ITECS(4) : 試験仕様生成支援
- CORBAベースネットワークにおけるフレシキブルグルーピング
- B-7-10 CORBAベースネットワークにおけるフレシキブルグルーピング
- P2PストリーミングにおけるNAT越えを考慮した配信木構築手法の検討
- WWW システムにおけるブログスパム検知手法に関する研究
- ネットワークサービス不能攻撃の追跡手法の評価に関する検討
- ネットワークサービス不能攻撃の追跡手法に関する一検討
- ネットワークサービス不能攻撃に対する追跡手法の実装と評価(セッション6)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- ネットワークサービス不能攻撃に対する追跡手法の実装と評価(セッション6)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- センサネットワークにおけるメッセージ認証方式の提案
- Peer-to-peerシステムにおける匿名通信方式の提案
- P2Pにおける安全なコンテンツ流通システムの提案
- P2Pにおけるバックボーンネットワーク資源利用の効率化手法の検討
- 車々間通信を用いた位置情報共有システムの提案
- センサネットワークにおける回帰分析を用いた位置測定手法に関する研究
- Peer-to-peerシステムの安全な通信手法に関する検討
- LOTOS仕様からの効率的な試験系列の生成法
- LOTOS仕様からの効率的な試験系列の自動生成
- LOTOS仕様からのTTCN表現によるテストシーケンスの自動生成
- アドホックネットワークにおけるゾーン重複のない複数経路構築手法の提案と評価