Towards debugging framework for exhaustive testing of distributed systems

Bibliographic Information

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

Search this article

Description

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.

Journal

  • IPSJ SIG Notes

    IPSJ SIG Notes 2013 (11), 1-7, 2013-04-18

    Information Processing Society of Japan (IPSJ)

Keywords

Details 詳細情報について

  • CRID
    1571135652917177728
  • NII Article ID
    110009579613
  • NII Book ID
    AN10444176
  • Text Lang
    ja
  • Data Source
    • CiNii Articles

Report a problem

Back to top