Analog fault testing through abstraction