From Fault Tolerance to Fault Detection: A DHR-Based Contrastive Testing Method and Its Validation on ADAS | Synapse