Więc kiedy test powinien zawieść i co dokładnie powinien sprawdzać: implementację czy kontrakt/interfejs klasy?