Testing the diversity of multi-version software using fault injection

This paper presents the application of data flow perturbation to simulate the introduction of faults or errors into programs and explaores methods to establish the magnitudes and locations of the associated input space regions. Used together, these two techniques enable failure behaviour to be described in a quantitative way and provide a method to estimate the diversity of multi-version software.