Fault/Error Detection
"The RELAY Model of Error Detection and its Application,"
by
D. Richardson and M.C. Thompson,
in Second Workshop on Testing, Verification and Analysis , July 1988
Abstract
RELAY, a model for error detection, defines revealing
conditions that guarantee that a fault originates an error
during execution and that the error transfers through
computations and data flow until it is revealed. This model of
error detection provides a fault-based criterion for test data
selection. The model is applied by choosing a fault classification,
instantiating the conditions for the classes of faults, and applying
them to the program being tested. Such an application guarantees the
detection of errors caused by any fault of the chosen classes. As a
formal model of error detection, RELAY provides the basis for an
automated testing tool. This paper presents the concepts behind RELAY,
describes why it is better than other fault-based testing criteria,
and discusses how RELAY could be used as the foundation for a testing
system.
from Debra J. Richardson
djr@ics.uci.edu
Department of Information and Computer Science,
University of California, Irvine CA 92717-3425