One doesn't need to have detailed knowledge of the implementation, but merely if provided initial state creates invalid output then we can write test for that.

One doesn't need to have detailed knowledge of the implementation, but merely if provided initial state creates invalid output then we can write test for that. Though yes, having knowledge of implementation allows you to define the state that produces invalid result.