通信ソフトウェア仕様の検証に関する課題
スポンサーリンク
概要
- 論文の詳細を見る
通信システムの仕様記述を対象とした検証方法について述べる.最初に,代表的ないくつかの仕様記述方式と,それに対応した検証方法について紹介する.次に,STR(State Transition Rules)による仕様記述の検証方法を述べる.
- 社団法人電子情報通信学会の論文
- 1995-03-27
著者
-
佐藤 正和
Atr通信システム研究所
-
河原崎 裕朗
(株)エイ・ティ・アール通信システム研究所
-
河原崎 裕朗
Atr通信システム研
-
河原崎 裕朗
Atr通信システム研究所
-
河原崎 裕朗
Nttソフトウエア株式会社
-
田倉 昭
ATR通信システム研究所
-
田倉 昭
十文字学園女子大学
関連論文
- ネットワークサービス提供に向けた汎用システムにおけるソフトウェア修正方式(交換)
- B-6-152 同一ドメイン内における SIP-Proxy サーバ配備方法に関する一考察
- 通信サービス仕様記述とビジュアルプログラミング
- B-6-155 SIP-Registrar による効率的な IPv4-IPv6 間接続に関する一考察
- B-6-162 SIP サーバとプレゼンスサーバ連携による受付管理方式の一検討
- B-6-157 DNS-ALG を用いた SIP の IPv4/IPv6 接続方式に関する一考察
- B-6-156 SIP の v4/v6 間接続における変換契機に関する一考察
- 情報流通アプリケーションをサポートするネットワークプラットフォームの提案
- 蓄積サーバを用いた情報配信システムのトラヒック低減効果
- マスユーザ向けマス情報配信システム : ネットワークによる情報流通サービスのサポート
- マスユーザ向けマス情報配信システム : ネットワークによる情報流通サービスのサポート
- ヒューリスティックなカットセット解析によるPSDLコンパイラの処理ネック解決
- 概念モデル上のカーディナリティに着目した仕様の洗練化
- E-Rモデルと制約に基づく仕様部品の合成と制約論理プログラムへの変換
- 連結グラフを考慮するコンカレントシステムの状態生成手法
- サービス仕様検証法の一考察 : サービス競合検出法の効率化
- 離散事象システムにおける可達集合の高速検証方式
- 通信システムサービス仕様における正当性検出と解消方式
- 通信システムサービス仕様におけるデッドロック検出方式(グラフ,ネットワークとアルゴリズムおよび一般)
- 通信サービス要求記述の静的解析手法
- プロダクションシステムにおける詳細優先方式による競合解消戦略の静的解析手法
- E-R モデルを用いた視覚的プログラミング言語 : PSDL-GR とその一実現法
- ネットワークサービス提供に向けたLinuxOSの高可用化ライブパッチ手法(映像通信, コンテンツ配信ネットワーク, マルチキャスト, 一般)
- B-6-51 ネットワークサービスへのTCPフェイルオーバ技術適用検討(B-6. ネットワークシステム, 通信2)
- B-6-48 システムクラッシュ解析のための関連プロセスダンプ(B-6. ネットワークシステム, 通信2)
- ネットワークサービス提供に向けた汎用OSの高可用化ライブパッチ手法(フォトニックネットワークシステム,光ルーチング,一般)
- ネットワークサービス提供に向けた汎用OSの高可用化ライブパッチ手法(フォトニックネットワークシステム,光ルーチング,一般)
- エンドエンドQoSを実現するための自律分散QoS制御技術 (特集 エンドエンドセッション制御技術)
- B-16-4 Priority プロモーション方式のための MF-PHB 検証手法
- 高度INモデルにおける呼とコネクションの分離に関する考察
- B-ISDNにおける高度INの呼・コネクション制御範囲に関する一考察
- マルチコネクションに対応した広帯域高度INコールモデル
- 通信サービスに対する要求理解に関する一検討率
- 広域状態遷移規則を用いた通信サービス仕様記述における可到達解析
- 通信システム仕様の高速検証方式
- 通信ソフトウェア仕様の検証に関する課題
- 広域状態遷移ルールの述語的解釈による可到達判定
- プロダクションシステムを用いた通信ソフトウェア仕様の可到達解析に関する考察
- 概念データモデルで記述された仕様の関数型言語への変換
- B-19-17 CCMからHCMへの自動変換法の提案(B-19.ネットワークソフトウェア,一般セッション)
- ドメインモデルを用いたサービス仕様生成の構想
- 通信サービス仕様生成における要求理解に関する一考察
- 情報流通サービスにおける情報配信の確認方法に関する検討
- 宣言型通信サービス仕様記述言語からSDLへの変換法
- B-ISDNで多者間接続に対応できる高度INコールモデルの提案(ネットワークソフトウェア)
- カスタマ主導のカスタマ-IN間連携サービスに関する考察
- 広帯域高度IN検証システム : INコールモデルの機能検証と性能評価
- 複数サービス論理プログラムインスタンス(SLPI)連携における連携先SLPI決定方式について
- 規則形式の通信サービス仕様からのプロトコル合成
- 通信ソフトウェア自動生成のためのプロトコル整合に関する一考察
- インタフェースの意味対応によるプロトコル整合
- プロダクションルールを用いた通信サービス仕様の詳細化
- 機能分散モデルのアーキテクチャ配置の考察
- 二段階通信サービス仕様記述とプログラム仕様への自動変換
- 通信サービス要求理解方式の一考察
- 任意プロトコル仕様に合わせたネットワーク制御タスク自動配置
- 自動合成プロトコルと標準プロトコルとの整合法に関する一考察
- 通信サービス要求理解に関する一考察
- ドメインモデルとCBRによるハイブリッド型要求理解方式
- グラフ表現可能な通信サービス仕様からソフトウェア仕様への変換法について
- 機能分散モデルのためのソフトウェア構成に関する一考察
- 機能分散モデルにおけるサービス機能展開の考察
- 端末動作記述によるサービス仕様記述の機能分散モデルへの展開
- サービス非依存な競合回避機能を有するプロトコル合成法
- 通信サービス記述からプログラム仕様への自動変換と最適化
- 段階的詳細化による通信サービス仕様記述
- 異常な状態への遷移の検証手法 : 競合検出精度の向上手法の提案
- 通信サービス仕様における異常な状態への遷移の解消支援に関する一考察
- プロダクションルールに基づく通信サービス仕様記述法 : 条件判定記述についての一考察
- プロダクションルールに基づくスクリーニングサービス : 仕様記述法の一考察
- 非専門家を対象とした仕様記述支援法
- 新サービス仕様記述における記述支援環境の一提案
- 図形によるサービス仕様記述支援のための画素データベース
- 仕様記述段階でのサービス競合検出手法の一考察
- サービス競合検出法の一考察
- 通信サービスの意味的競合の検出 : 非決定性によるサービス競合検出の拡張
- 仕様記述時のサービス競合検出手法の評価
- SB-4-1 多地点会議サービスを実現する多地点リアルタイム情報共有プラットフォーム
- B-19-6 状態遷移図のCCMからHCMへの自動変換法(B-19.ネットワークソフトウェア,一般セッション)
- 状態遷移図のCCMからHCMへの自動変換手法 (情報ネットワーク)
- 状態遷移図のCCMからHCMへの自動変換手法(ポストIPネットワーキング,新世代ネットワーク,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- 状態遷移図モデルの自動変換アルゴリズムに関する一考察 (通信方式)
- 状態遷移図モデルの自動変換アルゴリズムに関する一考察(ポストIPネットワーキング,新世代ネットワーク,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)