Então, quando é que o teste deve falhar e o que exatamente deve verificar: a implementação ou o contrato/interface da classe?