2018年5月

Short Introduction to This Paper

This paper introduces APPEND , an automated approach to preventing and handling null pointer exceptions in Java programs. It analyzes programs to locate possible null pointer dereferences and then inserts null checks and error handling code. The error-handling code is specified at compile-time via composable, context-sensitive recovery policies.

- 阅读剩余部分 (Read the rest) -

Short Introduction to This Paper

This paper characterizes self-healing software systems by surveying some of the existing work in the field. It maps the space of software self-healing capabilities and discusses the risks and limitations inherent in automatic-reaction schemes. The structure of this paper is quite clear, including "what", "why", "how" and "future directions" on self-healing systems.

- 阅读剩余部分 (Read the rest) -

Short Introduction to This Paper

This paper proposes a taxonomy for describing the problem space for self-healing systems including fault models, system responses, system completeness, and design context. It is hoped that this taxonomy will help researchers understand what aspects of the system dependability problem they are (and aren't) addressing with specific research projects.

Highlights of This Paper

Problem space model elements

- 阅读剩余部分 (Read the rest) -