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

doi:10.15803/ijnc.5.2_347

Special Issue on the Second International Symposium on Computing and Networking

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

Author information

Keywords: Fault Injection, Checkpointing, Virtualization, Software Validation, Quality Assurance

JOURNAL FREE ACCESS

2015 Volume 5 Issue 2 Pages 347-372

DOI https://doi.org/10.15803/ijnc.5.2_347

Details

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.

Corresponding author

Register with J-STAGE for free!