No son suficiente para comprobar que el comportamiento es correcto.