到達可能性解析に基づく通信ソフト検証方法の提案
スポンサーリンク
概要
- 論文の詳細を見る
通信系ソフトは状態遷移表を中心に設計されており、その正当性を確認する作業が重要である。本稿では、複数の状態遷移モデル間の仕様にデッドロック、無限ループなどの論理的誤りが発生しないかどうかを調べるプロトコル検証技法(到達可能性解析)を拡張して、実装環境を考慮して作成された状態遷移表にも適用可能な検証方法を提案する。さらに、状態遷移仕様データを表形式のまま入力できることを特徴とする検証ツールプロトタイプの概要を述べる。
- 一般社団法人情報処理学会の論文
- 1992-02-24
著者
-
宮崎 聡
株式会社日立製作所システム開発研究所
-
西木 健哉
(株)日立製作所システム開発研究所
-
西木 健哉
株式会社日立製作所
-
馬嶋 宏
(株)日立製作所ソフトウェア開発本部
-
宮崎 聡
(株)日立製作所システム開発研究所
-
柳生 和男
(株)日立製作所
-
熱海 史郎
(株)日立ソフトウェアエンジニアリング
-
馬嶋 宏
(株)日立製作所
関連論文
- Webシステムにおけるセキュリティ検査手法の検討(セキュリティ)
- 買物支援サービス実証実験を通したユビキタスサービス合成技術の検証(ネットワーク・インターネット応用,産学連携論文)
- 職制に基づいたワークフロー制御方式について
- ユビキタス環境におけるP2Pエージェントプラットフォームを用いた情報推薦機構の提案と実装(セッション4 : P2P)
- Webブラウザを用いたネットワーク管理システムにおける監視端末別構成表示方式
- ネットワーク管理/デスクトップ管理連携の一方式
- B-20-18 ユビキタス認証プラットフォームの街案内サービスへの適用(B-20.ユビキタス・センサネットワーク,一般セッション)
- Wonder発見・共有の為の体感的ナビゲーション(UBI1:情報保障・ユーザ支援)
- Wonder発見・共有の為の体感的ナビゲーション(UBI1:情報保障・ユーザ支援)
- 位置関係に基づく動体認証及びアクセス制御機構(セッション4 : システム/アプリケーション)(議題 : ユビキタスコンピューティング,情報家電,スマート情報環境,都市の情報インフラ設計,他)
- 通信ソフトウェアの設計仕様変換における一貫性維持支援方式の提案
- オブジェクト指向設計によるCASEツールの開発
- 状態遷移表設計支援のためのシーケンス図ジェネレータの提案
- 到達可能性解析に基づく通信ソフト検証方法の提案
- Webシステムにおけるセキュリティ検査手法の検討(セキュリティ)
- インターネットコンテンツ配信技術の最新動向
- IP Usage情報管理におけるXMLデータ連携方式の検討
- IP Usage情報管理におけるXMLデータ連携方式の検討
- IPネットワーク時代のオペレーションサポートシステムソリューション (特集 21世紀のビジネスソリューションを実現する通信インフラストラクチャー)
- CORBAベース統合アーキテクチャと基地局管理システムへの適用
- CORBAベース統合アーキテクチャと基地局管理システムへの適用
- CORBAベース統合アーキテクチャと基地局管理システムへの適用
- 次世代情報・通信サービスを支えるテレコム管理システム (特集 IPネットワーク時代を支える情報・通信システムソリューション) -- (ネットワーク・ソフトウェア・システム)
- ワークフロー管理システム「Flowmate」(2) : ビジネスプロセスモデル
- ディレクトリサービスを用いたネットワーク/システム統合運用管理方式の提案
- ディレクトリサービスを用いたネットワーク/システム統合運用管理方式の提案
- コンピュータネットワークにおけるルート定義動的変更方式の提案
- ネットワ-クコンピュ-ティング環境でのト-タルシステム運用管理 (特集 ネットワ-クコンピュ-ティング時代の新情報システム--Network Objectplazaを中心とした取組み)
- 分散環境におけるセキュリティ証跡解析方式の検討
- 複数リンクを用いた高効率データ転送方式の提案
- 汎用大型コンピュータを中心とした情報ネットワーク高信頼化技術
- 通信制御処理装置の高速予備切替方式の提案
- 多層論理ネットワーク管理コンセプトの提案 : バーチャルLAN管理への適用
- コンピュータネットワークにおけるルート状態通知方式の提案
- ISDNパケット交換利用時の通信制御処理装置のチャネル選択方式
- 拡張HNA(HNA/EX)の開発(2) : 通信管理XNFの基本仕様
- 状態遷移図表に基づくプロトコル設計とその支援機能
- ワークフロー管理システム「Flowmate」の履歴情報取得方式について
- ワークフロー管理システム「Flowmate」(5) : マルチサーバ
- プロセスの入出力動作に着目したソフトウェア機能設計法
- ISDNのユーザ情報利用法の一提案
- LAN-WAN相互接続網におけるネットワークレイヤプロトコルの提案
- ワークフロー管理システムの動向
- ワークフロー管理システム「Flowmate」(3) : 実現方式