[使用单元测试软件设计测试用例] 以我们上节课讲解的Junit为例，设计测试用例进行单元测试： 下面所示为一个程序的简单流程图（其中a,b,c,d,e为路径名称，T，F分别为True/False），请使用Java写出其对应的代码，然后分别使用判断覆盖、条件组合覆盖两种测试方法，设计出对应的测试用例（要求简单说明你设计的用例为何满足以上的覆盖条件），然后使用JUnit单元测试软件对该程序进行单元测试。

以下是对应的 Java 代码：

public class Program {
    public static int run(int x, int y) {
        if (x > 0) {
            if (y > 0) {
                return x + y;
            } else {
                return x - y;
            }
        } else {
            if (y > 0) {
                return x * y;
            } else {
                return x / y;
            }
        }
    }
}

接下来，我们分别使用判断覆盖和条件组合覆盖两种测试方法设计测试用例。

### 判断覆盖

判断覆盖要求每个条件语句至少执行一次 true 和 false 分支，因此我们需要设计以下用例：

| x | y | 预期结果 |
| ---- | ---- | -------- |
| 1 | 1 | 2 |
| 1 | -1 | 2 |
| -1 | 1 | -1 |
| -1 | -1 | 1 |

这些用例可以覆盖每个条件语句的 true 和 false 分支至少一次。

### 条件组合覆盖

条件组合覆盖要求覆盖所有条件的组合情况，因此我们需要设计以下用例：

| x | y | 预期结果 |
| ---- | ---- | -------- |
| 1 | 1 | 2 |
| 1 | -1 | 2 |
| -1 | 1 | -1 |
| -1 | -1 | 1 |
| 0 | 1 | 0 |
| 0 | -1 | 0 |
| 1 | 0 | 0 |
| -1 | 0 | 0 |

这些用例可以覆盖所有条件的组合情况。

最后，我们使用 JUnit 进行单元测试，检查程序是否能够正确计算。