Using Checkpointing and Virtualization for Fault Injection

Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto

Abstract


The program monitoring and control mechanisms of virtualization tools are becoming increasingly standardized and advanced. Together with checkpointing, these can be used for general program analysis tools. We explore this idea with an architecture we call Checkpoint-based Fault Injection (CFI), and two concrete implementations using different existing virtualization tools: DMTCP and SBUML. The implementations  show interesting trade-offs in versatility and performance as well as the generality of the architecture.

Keywords


Fault Injection; Checkpointing; Virtualization; Software Validation; Quality Assurance

Full Text:

PDF

Refbacks

  • There are currently no refbacks.