公交一卡通自动充值机软件测试用例设计：因果图法实战

公交一卡通自动充值机软件测试实战：因果图法

1. 系统需求分析

本文以公交一卡通自动充值机软件系统需求为例，演示如何使用因果图法设计测试用例。

需求如下：

系统只接收50元或100元纸币，一次充卡只能使用一张纸币，一次充值金额只能为50元或100元。* 若输入50元纸币，并选择充值50元，完成充值后退卡，提示充值成功。* 若输入50元纸币，并选择充值100元，提示输入金额不足，并退还50元。* 若输入100元纸币，并选择充值50元，完成充值后退卡，提示充值成功，找零50元。* 若输入100元纸币，并选择充值100元，完成充值后退卡，提示充值成功。* 若输入纸币后在规定时间（超时）内不选择充值按钮，退回输入的纸币，并提示错误。

2. 因果图分析

根据需求，我们可以识别出以下原因（输入条件）和结果（输出结果）：

原因：

C1：输入纸币面额（50元、100元、其他）* C2：选择充值金额（50元、100元）* C3：操作时间（超时、未超时）

结果：

E1：充值成功* E2：找零* E3：提示充值成功* E4：提示输入金额不足* E5：退回纸币* E6：提示错误

约束条件：

C1和C2之间存在约束关系，例如：若C1为50元，则C2不能为100元。

3. 测试用例设计

基于上述因果图分析，我们可以设计以下测试用例：

| 测试用例 | 输入纸币面额（C1） | 选择充值金额（C2） | 操作时间（C3） | 预期结果 ||---|---|---|---|---|| 1 | 50元 | 50元 | 未超时 | E1，E3 | | 2 | 100元 | 50元 | 未超时 | E1，E2，E3 || 3 | 100元 | 100元 | 未超时 | E1，E3 || 4 | 50元 | 100元 | 未超时 | E4，E5 || 5 | 50元 | - | 超时 | E5，E6 || 6 | 100元 | - | 超时 | E5，E6 || 7 | 其他 | - | - | E5，E6 | | 8 | 无效纸币 | - | - | E5，E6 |

4. 总结

本文以公交一卡通自动充值机软件系统需求为例，详细介绍了如何使用因果图法设计测试用例。通过识别系统的原因和结果，分析其之间的关系以及约束条件，可以设计出较为全面系统的测试用例，覆盖各种正常和异常情况，提高测试的效率和有效性，从而提升软件质量。

在实际测试中，我们还需要根据具体情况对测试用例进行补充和完善，例如考虑边界值、等价类等测试方法，以进一步提高测试覆盖率。