分散マルチプロセスのテストにおけるイベント系列制御方式
スポンサーリンク
概要
- 論文の詳細を見る
一般に、分散システム全体の動作は、そのシステム下で並行に動作している各プロセスの動作およびその順序に左右される。分散システムでは一般にプロセスの動作順序に非決定性が存在するため、この非決定性をもつ部分に関わる設計と実現が正しくなされているかどうかをテストで確認する必要がある。このテストを行うためには、非決定的な部分を自在に制御する機構が不可欠となる。本論文では、分散システムのテストを目的とし、その非決定的な部分を制御する方式について提案する。
- 一般社団法人情報処理学会の論文
- 1991-02-25
著者
-
橋本 辰範
NTTソフトウェア研究所
-
堀田 博文
Nttソフトウェア研究所
-
生沼 守英
NTTソフトウェア研究所
-
橋本 辰範
Nttソフトウエア研究所
-
生沼 守英
NTTソフトウェアイノベーションセンタ
関連論文
- WWWページ群を用いた協調学習のコミュニケーションモデル
- ネットワーク上における共有情報協調編集方式の提案
- 外部イベント駆動型システムの試験系列生成手法
- 画面インタフェースをもつ会話型ソフトウェアの試験方式の検討
- DIPS C言語処理系の開発 (プログラム言語処理系)
- マルチメディア情報流通システム(infoKet)
- SETを用いた情報流通プラットフォーム
- CD-ROM情報流通サ-ビスの構成と評価 (マルチメディア情報流通技術)
- 可変構造を持つワークフロー管理モデル「PowerFlow」の提案
- 分散マルチプロセスのテストにおけるイベント系列制御方式
- Adaプログラムの変更に伴う再コンパイル削減方式
- 2G-4 動的に変化する3次元共有空間の実現方式
- 汎用言語処理系の適合性試験プログラム設計法
- 言語処理系に対する適合性試醗プログラムの設計法
- プログラムの移植条件試験法
- Prologによる仕様記述を利用したプログラム自動テスト方式
- Prologによるコンパイラテストデータの自動生成方式
- SGML
- モデルベーステストにおけるトレーサピリティの確保と活用