Black box test case design example