Testing fault-tolerant systems using a unified error model

This paper presents a method of designing test data based around a unified error model. The model allows error 'surfaces' to be defined for a given application, and used to define a test region(s) that give a measure of test coverage. The paper applies the model to an illustrative example to show how it might be used in an autopilot model.