if 语句包含两个布尔条件（x > 0 与 y < 0），这导致 2^2 = 4 种组合。因此，为了实现分支覆盖，最少需要4个测试用例来覆盖所有可能的分支。