High Availability White Papers
Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services
Overview This paper presents a new approach that uses compiler-directed fault-injection for coverage testing of recovery code in Internet services to evaluate their robustness to operating system and I/O hardware faults. The paper defines a set of program-fault coverage metrics that enable quantification of Java catch blocks exercised during fault-injection experiments. The paper uses compiler analyses to instrument application code in two ways: to direct fault injection to occur at appropriate points during execution, and to measure the resulting coverage. As a proof of concept for these ideas, it have applied the techniques manually to Muffin, a proxy server; it obtained a high degree of coverage of catch blocks, with, on average, 85% of the expected faults per catch being experienced as caught exceptions.
| Publisher | Rutgers, State University of New Jersey | File Format | |
|---|---|---|---|
| Date Published | June 2007 | ||
| Format | White Papers | ||
| Topics | |||



