Self-Test Techniques for Redundant Data Management Systems