分散システムの網羅的なテストとデバッグを支援するためのフレームワークの提案

スポンサーリンク

概要

論文の詳細を見る
クラウドコンピューティングの広まりにより,分散システムの重要性が高まる一方,分散システムを効率的にテスト,デバッグすることは現在でも困難である.その理由として,複数台の計算機に跨ったプロセス群を制御し,決定的な進行を強制することが困難であるため,分散システムの実装が開発者の意図した仕様を満たしていることを示す現実的な手段が無いことが挙げられる.本研究は,この課題を解決することを目的としている.この目的を達成するため,複数の計算機に分散したプロセス全体のメモリ上での状態遷移を監視するメカニズムを提案する.これにより,分散システム全体の状態遷移を監視する実装レベルモデル検査器を実現することを目指している.
2013-04-18

著者

関連論文

スポンサーリンク