state based boundary and error unit testing techniques