Design test cases based on black box testing techniques