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

書誌事項

タイトル別名
  • Towards debugging framework for exhaustive testing of distributed systems

この論文をさがす

説明

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

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1571135652917177728
  • NII論文ID
    110009579613
  • NII書誌ID
    AN10444176
  • 本文言語コード
    ja
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ