Well, one thing you can do is test the invariant of accessors:
setValue(v) -> getValue() == v if v is a valid value.
Of course, if you do some index calculation which just doesn't work, and...