Black box test case design method (example)