1. 例子描述
下图所示是ATM例子的流程示意图。
2. 场景设计：下表所示是生成的场景。
表3-8 场景设计
场景1——成功提款 场景2——ATM内没有现金 场景3——ATM内现金不足 场景4——PIN有误（还有输入机会） 场景5——PIN有误（不再有输入机会） 场景6——账户不存在/账户类型有误 基本流 基本流 基本流 基本流 基本流 基本流 备选流2 备选流3 备选流4 备选流4 备选流5 40
场景7——账户余额不足 基本流 备选流6 注：为方便起见，备选流3和6（场景3和7）内的循环以及循环组合未纳入上表。 3. 用例设计 对于这7个场景中的每一个场景都需要确定测试用例。可以采用矩阵或决策表来确定和管理测试用例。下面显示了一种通用格式，其中各行代表各个测试用例，而各列则代表测试用例的信息。本示例中，对于每个测试用例，存在一个测试用例ID、条件（或说明）、测试用例中涉及的所有数据元素（作为输入或已经存在于数据库中）以及预期结果。 表3-9 测试用例表 输入TCID 场景/条件 PIN 账号 （或选择）的金额 CW1 CW2 场景1：成功提款 场景2：ATM内没有现金 场景3：ATM内现金不足 场景4：PIN有误CW4 （还有不止一次输入机会） 场景4：PIN有误CW5 （还有一次输入机会） 场景4：PIN有误CW6 （不再有输入机会） 4. 数据设计 I V n/a V V I I V n/a V V V V V V V V V V 账面 金额 ATM内的金额 V I 成功提款 提款选项不可用，用例结束 警告消息，返V V V V I 回基本流步骤6，输入金额 警告消息，返回基本流步骤 4，输入 PIN 警告消息，返V n/a V V 回基本流步骤 4，输入 PIN 警告消息，卡予保留，用例结束 预期结果 CW3 41
一旦确定了所有的测试用例，则应对这些用例进行复审和验证以确保其准确且适度，并取消多余或等效的测试用例。
测试用例一经认可，就可以确定实际数据值（在测试用例实施矩阵中）并且设定测试数据，如表3-10所示。
表3-10 测试用例表
输入ATM（或选TCID 场景/条件 PIN 账号 择）的金额（元） 成功提款。账场景1：成功提CW1 款 4987 498 为450.00 场景2：ATM内CW2 没有现金 4987 498 809-100.00 500.00 0.00 用，用例结束 警告消息，返场景3：ATM内CW3 现金不足 4987 498 6，输入金额 场景4：PIN有809-CW4 误（还有不止一次输入机会） 场景4：PIN有误（还有一次输4978 498 4，输入PIN 警告消息，返回基本流步骤n/a 500.00 2 000 回基本流步骤警告消息，返809-100.00 500.00 70.00 回基本流步骤提款选项不可809-50.00 500.00 2 000 户余额被更新账面 内的金金额额（元） （元） 预期结果 CW5 4978 809-n/a 500.00 2 000 42
入机会） 场景4：PIN有498 4，输入PIN 警告消息，卡809-CW6 误（不再有输入机会）
4978 498 结束 n/a 500.00 2 000 予保留，用例43
9. 测试用例设计综合策略
1. Myers提出了使用各种测试方法的综合策略：
1) 在任何情况下都必须使用边界值分析方法，经验表明用这种方法设计出测试用例发
现程序错误的能力最强。】
2) 必要时用等价类划分方法补充一些测试用例。 3) 用错误推测法再追加一些测试用例。
4) 对照程序逻辑，检查已设计出的测试用例的逻辑覆盖程度，如果没有达到要求的覆
盖标准，应当再补充足够的测试用例。
5) 如果程序的功能说明中含有输入条件的组合情况，则一开始就可选用因果图法。
2. 测试用例的设计步骤】
1) 构造根据设计规格得出的基本功能测试用例； 2) 边界值测试用例； 3) 状态转换测试用例； 4) 错误猜测测试用例； 5) 异常测试用例；】 6) 性能测试用例； 7) 压力测试用例。
3. 优化测试用例的方法
1) 利用设计测试用例的8种方法不断的对测试用例进行分解与合并； 2) 采用遗传算法理论进化测试用例； 3) 在测试时利用发散思维构造测试用例；
44
状态迁移图法
45