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

著者情報

キーワード: Fault Injection, Checkpointing, Virtualization, Software Validation, Quality Assurance

ジャーナルフリー

2015 年 5 巻 2 号 p. 347-372

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

詳細

抄録

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)

J-STAGEへの登録はこちら（無料）