形式手法による通信ソフトウェア試験データの生成とその試験法
スポンサーリンク
概要
- 論文の詳細を見る
通信ソフトウェアのプロトコル規格に対する適合性を確認する手段として,ブラックボックス法に基づいた試験方法が通常用いられている.この場合,プロトコルが複雑になるにつれて,試験データの仕様を作成し,その仕様をもとに試験を行うことが困難となり,通信ソフトウェアの開発に要するコストや時間を増大させる原因となっている.我々は,この問題点を解決するために,形式手法に基づき,通信プロトコル試験データの仕様を記述するための専用言語PSL.1を開発した.PSL.1を用いることによって,既存の試験記述法であるTTCNでは困難であった試験データ仕様におけるパラメータの検査箇所や検査範囲を形式的に記述可能となった.さらに,このPSL.1で記述された試験データ仕様をもとに,試験データの生成とその試験を行うための,試験データ生成ツールtdgenおよび試験データ解析ツールtdanaを開発した.これらのツールを利用することによって,プロトコル仕様で決められている抽象的な仕様から実際に試験に用いる試験データを,試験の網羅性を考慮しつつ自動的に作成し,かつ通信ソフトウェアの適合性判定を自動的に行うことが可能となった.ここで示した方法をOSI分散トランザクション処理に適用し,実際に適用可能であることを実証した.
- 社団法人情報処理学会の論文
- 1993-06-15
著者
-
佐藤 文明
三菱電機(株)情報電子研究所
-
勝山 光太郎
三菱電機(株)情報電子研究所
-
水野 忠則
三菱電機(株)情報電子研究所
-
水野 忠則
三菱電機(株)
-
勝山 光太郎
三菱電機(株)情報技術総合研究所
-
辻 宏郷
三菱電機(株)情報システム研究所
-
佐藤 文明
静岡大学情報学部
-
辻 宏郷
三菱電機(株)情報電子研究所
-
曽我 正和
三菱電機(株)情報電子研究所
-
曽我 正和
Department Of Computer Science Faculty Ofcomputer Works Mitsubishi Electric Corpora-information &
-
辻 宏郷
静岡大学大学院理工学研究科|三菱電機株式会社情報技術総合研究所
-
曽我 正和
静岡大学情報学部情報科学科
関連論文
- 通信システムの段階的な試験のための試験系列自動生成手法とその実現
- 国際標準仕様記述言語SDLを用いたオフィス情報システム記述支援環境の実現
- SDLプログラマの提案
- 試験仕様記述へのSDLの適用性について
- 通信システムにおけるペトリネットに基づいたSDLの実行可能仕様への拡張についての一考察
- 状態遷移モデルから通信ソフトウェアへの写像方法についての一考察
- SDLグラフィックエディタの設計と製作
- SDLグラフィックエディタ : 高速入力方法
- SDLグラフィックエディタ : 機能の特徴
- SDLグラフィックエディタ : 概要
- オフィスシステムの形式的記述へのアプローチ
- プロトコルの形式的記述によるプログラム自動生成システムの設計と作成
- 2段階送信キューをもつタイムクリティカル通信プロトコルの提案とその評価
- Timed Token Protocolを用いたタイムクリティカル通信方式における帯域管理方式
- 平衡点解析によるトークンバスプロトコルの解析
- Mini-MAPオブジェクトディクショナリの性能評価
- OSI-TPにおけるプロトコル記述方法に関する一考察
- 放送機能を利用した2相コミットメント制御プロトコル
- ミニMAPオブジェクトディクショナリシステムの性能評価
- オブジェクト指向言語superCの改良
- 通信ソフトウェア生成ツールSERIOUSの開発とOSI分散トランザクション処理への適用
- OSI上位層通信ソフトウェア生成ツールSERIOUS
- CTRON拡張OS適合性試験の検討
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(3) : 抽象データ記述の処理[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(2) : 中間言語 Arbalotos[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 国際標準に基づく形式的仕様記述LOTOSの支援環境(1) : 設計概要[INTAP研究開発委員会プロトコル形式記述WG]
- 分散C/SシステムにおけるPC-クライアントの機能分担における一考察
- 分散システムにおけるディレクトリサービスのセキュリティへの適用
- 形式手法による通信ソフトウェア試験データの生成とその試験法
- OSIディレクトリ規格に基づくアドレス検索システム(2) : アプリケーションへの応用
- OSIディレクトリ規格に基づくアドレス検索システム(1) : システム概要とプロトコル
- OSIディレクトリサービス仕様の実現上の課題
- SDLに基づく通信ソフトウェア開発環境
- LOTOS Serverとモジュール仕様記述
- セキュア携帯電話システム (特集 情報セキュリティ技術)
- 携帯電話スマートキーを活用した車操作権限の貸与方式の提案(セッション5-C : 認証・アクセス制御(1))
- 携帯電話スマートキーを活用した車操作権限の貸与方式の提案
- 情報セキュリティ技術 セキュリティライブラリ (特集 情報セキュリティ)
- 不正侵入検出手法に関する一考察
- PL/Iの形式的定義について(4)
- PL/Iの形式的定義について(2)
- PL/Iの形式的定義について(1)
- サーバ・クライアントの依存関係を用いた分散システム障害管理方式
- リソース指向分散環境 RODS の提案と実現
- リソース指向分散処理環境の実装及び評価
- 分散処理環境におけるオブジェクト実現方式
- 適用形態を考慮した分散処理システムのモデル化
- 高位プロトコルを含めたLANシステムの試作
- マイクロコンピュータ用言語 PL/Iμの設計と作成
- 電子データ配送システムにおける分散データ管理の1手法
- 技術文書管理システムにおける複合ブラウジング方式の実現
- 自律協調分散システム開発環境 : 協調作業支援への適用
- 自律協調分散システム開発環境Noahの通信機構
- 自律協調分散システムNoahにおける協調機構
- 自律協調分散システムNoahの通信機構の実現
- 自律協調分散システムNoahにおけるエージェントの制御機構
- IDS回避攻撃への対策手法について
- 情報セキュリティ技術 不正アクセス対策技術 (特集 情報セキュリティ)
- 1Z-7 ネットワークの不正アクセス検知方式の検討
- 4T-8 プラントネットワークにおける侵入検知方式の検討
- 三菱電機情報セキュリティア-キテクチャ (特集 暗号・セキュリティ技術及びその応用) -- (情報セキュリティ)
- ハイパーメディア情報に対するデジタル署名方式の提案
- 分散計算機管理システムの設計
- 分散システムにおける柔軟な構成情報による障害復旧方式
- 電子データ配送システムにおける配送経路管理方式について
- ネットワーク管理における適合性試験に関する一検討
- 粒度に着目した異機種計算機間での最適負荷分散方式の提案
- パソコンシステムにおける分散処理効率について
- 小規模システムにおけるメッセージ通信
- unixのリアルタイム性向上へのアプローチ[2]
- unixのリアルタイム性向上へのアプローチ[1]
- 同一機種分散システムにおける負荷分散方式
- 日本語文章推敲支援ツール「推敲」と文書処理システムとの結合方式に対する検討
- 標準仕様記述言語の概観 (通信システムの形式記述技法の標準化)
- 特集「通信システムの形式記述技法の標準化」の編集にあたって
- 通信プロトコルの仕様記述言語は何に役立つか
- ネットワークアーキテクチャの標準化動向 6. プロトコルの形式記述とコンフォーマンス試験
- PL/I の形式的定義について(3)
- 試験仕様記述用言語TTCNの特質と処理系の現状と動向 (通信システムの形式記述技法の標準化)
- 通信ソフトウェア開発支援環境 (ソフトウェア生産技術特集)
- 光スタ-ネットワ-クによる電子メ-ルシステム (ディジタル通信特集)
- 有限オ-トマトンに基づくシステムの試験系列自動生成手法の提案--単一遷移検査系列法
- フロー単位に順序制御を行うSelective-Repeat ARQの遅延時間解析(EthernetのOAM・QoS, ブロードバンドアクセス,電灯線通信,ホームネットワーク,一般)
- SDLプログラマの改良項目の検討
- 通信プロトコル試験系列生成手法に関する一考察
- マルチパーティテスタの設計
- 図式言語定義法の一検討
- 国際標準形式記述技法に基づく体系的試験支援環境FORESTの提案と実現
- 仕様記述言語LOTOSの図式表現
- 通信システム試験系列生成手法と仕様の特性に関する一考察
- 通信プロトコルに対する段階的な試験系列の生成方法
- 通信ソフトウェア向けオブジェクト指向言語superC
- OSIディレクトリシステムにおけるDIB(ディレクトリ情報ベース)のオブジェクト指向アプローチによる実現
- 分散処理環境へのネットワーク管理の適用に関する一検討
- OSIネットワーク管理ソフトウェアの設計
- OSI-TPにおけるコミット制御手順の最適化に関するー考察
- OSI通信ソフトウェアにおける性能測定方法の検討
- 統合ネットワーク管理システムにおける管理情報/プロトコルの変換方式
- ディレクトリプロトコルの拡張提案と運用上の検討課題について
- OSI管理情報支援ツールMINTの設計