WEKO3
アイテム
分散システムの網羅的なテストとデバッグを支援するためのフレームワークの提案
https://ipsj.ixsq.nii.ac.jp/records/91664
https://ipsj.ixsq.nii.ac.jp/records/91664d778e25f-989a-4248-a96e-737e6e5d5307
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-OS13125011.pdf (257.0 kB)
|
Copyright (c) 2013 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2013-04-18 | |||||||
| タイトル | ||||||||
| タイトル | 分散システムの網羅的なテストとデバッグを支援するためのフレームワークの提案 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Towards debugging framework for exhaustive testing of distributed systems | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | ディペンダビリティ | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| NTTソフトウェアイノベーションセンタ | ||||||||
| 著者所属 | ||||||||
| NTTソフトウェアイノベーションセンタ | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT Software Innovation Center | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT Software Innovation Center | ||||||||
| 著者名 |
三嶽, 仁
× 三嶽, 仁
|
|||||||
| 著者名(英) |
Hitoshi, Mitake
× Hitoshi, Mitake
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | クラウドコンピューティングの広まりにより，分散システムの重要性が高まる一方，分散システムを効率的にテスト，デバッグすることは現在でも困難である．その理由として，複数台の計算機に跨ったプロセス群を制御し，決定的な進行を強制することが困難であるため，分散システムの実装が開発者の意図した仕様を満たしていることを示す現実的な手段が無いことが挙げられる．本研究は，この課題を解決することを目的としている．この目的を達成するため，複数の計算機に分散したプロセス全体のメモリ上での状態遷移を監視するメカニズムを提案する．これにより，分散システム全体の状態遷移を監視する実装レベルモデル検査器を実現することを目指している． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Although distributed systems are becoming more important technologies because of the today's trend of cloud computing, effective testing and debugging targeting on them are still difficult. The main reason is a difficulty of controlling processes spread on multiple computers to make their execution deterministic. This leads to a lack of a method for checking that distributed systems implementations satisfy their specifications which implementers intended. This research is focusing on solving this problem. We propose a mechanism for monitoring global state transitions of distributed processes executed by multiple computers. With this mechanism, we are planning to establish an implementation level model checker which monitors actual global state of distributed systems. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10444176 | |||||||
| 書誌情報 |
研究報告システムソフトウェアとオペレーティング・システム（OS） 巻 2013-OS-125, 号 11, p. 1-7, 発行日 2013-04-18 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
