2003 International Conference on Dependable Systems and Networks (DSN'03)
Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services
San Francisco, California
June 22-June 25
ISBN: 0-7695-1952-0
We present 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. We define a set of program-fault coverage metrics that enable quantification of Java catch blocks exercised during fault-injection experiments. We use 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, we have applied our techniques manually to Muffin, a proxy server; we obtained a high degree of coverage of catch blocks, with, on average, 85% of the expected faults per catch being experienced as caught exceptions.
Citation:
Chen Fu, Richard P. Martin, Kiran Nagaraja, Thu D. Nguyen, Barbara G. Ryder, David Wonnacott, "Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services," dsn, pp.595, 2003 International Conference on Dependable Systems and Networks (DSN'03), 2003