Entonces, ¿cuándo debe fallar la prueba y qué exactamente debe verificar: la implementación o el contrato/interfaz de la clase?