White box test design test case