白盒测试的基本路径覆盖案例

假设有以下代码：

def add_numbers(a, b):
    if a < 0:
        a = 0
    if b < 0:
        b = 0
    return a + b

基本路径覆盖需要覆盖所有可能的路径。在这个例子中，有以下可能的路径：

1. a 和 b 都是正数
2. a 是负数，b 是正数
3. a 是正数，b 是负数
4. a 和 b 都是负数

为了覆盖这些路径，我们可以编写以下测试用例：

1. `add_numbers(2, 3)`，预期输出 5
2. `add_numbers(-2, 3)`，预期输出 3
3. `add_numbers(2, -3)`，预期输出 2
4. `add_numbers(-2, -3)`，预期输出 0

这些测试用例覆盖了所有可能的路径，因此可以认为基本路径覆盖已经完成。