对于 if (x > 0 && y < 0) { ... } 语句，分支覆盖至少需要几个测试用例？

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