常用黑盒测试方法

1、常用黑盒测试方法 张宜统黑盒测试又叫做功能测试。把测试对象看做一个黑盒子，测试人员不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书，检查程序的功能是否符合它的功能说明。黑盒测试方法是在程序接口上进行测试，主要是为了发现以下错误：1）是否有不正确或遗漏了的功能？2）在接口上，输入能否正确地接受？能否输出正确的结果？3）是否有数据结构错误或外部信息（例如数据文件）访问错误？4）性能上是否能够满足要求？5）是否有初始化或终止性错误？软件测试步骤单元测试被测模块单元测试被测模块单元测试被测模块集成测试已经过测试的模块确认测试已集成的软件设计信息已确认的软件系统测试系统其它元素可交付的软件

2、验证与确认验证指的是确保软件正确地实现了某一特定功能的一系列活动。即：我们是否正确地建成了产品？确认指的是确保所建造的软件满足客户需求的一系列活动。即：我们是否建造了正确的产品？黑盒测试的测试用例设计黑盒测试主要测试程序是否满足功能、性能等要求。主要诊断以下错误：不正确或遗漏的功能。接口错误。数据结构或外部数据库访问错误。性能错误。初始化和终止条件错误。黑盒测试的主要方法等价类划分法边界值分析法因果图法判定表驱动法场景法错误推测法等价类划分相关概念等价类是指某个输入域的子集合，在该子集合中，各个输入数据对于揭露程序中的错误都是等效的。测试某等价类的代表值就等价于对这一类其它值的测试。如果等价类

3、中的一个输入数据能检测出一个错误，那么等价类中的其他输入数据也能检测出同一个错误；反之，如果等价类中的一个输入数据不能检测出某个错误，那么等价类中的其它输入数据也不能检测出某个错误。有效等价类：指对于程序的规格说明来说是合理的、有意义的输入数据构成的集合。利用有效等价类可以检验程序是否实现了规格说明中所规定的功能和性能。无效等价类：无效等价类和有效等价类相反，无效等价类是指对于软件规格说明而言，没有意义的、不合理的输入数据集合。利用无效等价类，可以找出程序异常说明情况，检查程序的功能和性能的实现是否有不符合规格说明要求的地方。等价类划分确定等价类的原则在输入条件规定了取值范围或值的个数的情况下

4、，则可以确立一个有效等价类（在范围之内的等价类）和两个无效等价类（有效范围的两侧）。在输入条件规定了输入值的集合或者规定了“必须如何”的条件的情况下，则可以确立一个有效等价类和一个无效等价类。 （集合中的有效等价类和集合外的无效等价类）。在输入条件是一个布尔量的情况下，可以确立一个有效等价类和一个无效等价类。在规定了输入数据的一组值（假定n个），并且程序要对每一个输入值分别处理的情况下，可以确立n个有效等价类和一个无效等价类（除了规定的这组值）。在规定了输入数据必须遵守的规则的情况下，可以确立一个有效等价类（符合规则）和若干个无效等价类（从不同角度违反规则）。在确知已划分的等价类中各元素在程序

5、处理中的方式不同的情况下，则应再将该等价类进一步的划分为更小的等价类（考虑一下if嵌套）。等价类划分确定测试用例按以下步骤确定测试用例：按照上面的原则确立等价类。建立等价类表，列出所有划分出的等价类。设计测试用例。 1）为每一个等价类规定一个唯一的编号。 2）设计一个新的测试用例，使其尽可能多的覆盖尚未被覆盖的有效等价类， 重复这一步，直到所有的有效等价类都被覆盖为止。 3）设计一个新的测试用例，使其只覆盖一个无效等价类。重复这一步使所有 无效等价类均被覆盖。等价类划分应用举例下面讨论涉及有两个变量X1和X2的函数F。如果函数F实现为一个程序，输入变量X1和X2拥有如下边界，以及边界内的区间：

6、a=X1=d，区间为a,b)，b,c)，c,d；e=X2=g，区间为e,f)，f,g。X1，X2的无效值是X1d，X2g。以此作为例子，将进一步讨论等价类划分方法。对比下面三张图：等价类划分下面结合三角形问题，来实际应用等价类划分的方法：“一个程序读入三个整数，把这三个整数值看作一个三角形的三条边的长度。这个程序要打印信息，说明这个三角形是不等边的、等腰的、等边的，或者不构成三角形。”弱等价类：强等价类（上面表格中的用例+如下用例）：测试用例测试用例A A取值取值B B取值取值C C取值取值预期输出预期输出1555等边三角形2223等腰三角形3345不等边三角形4412非三角形测试用例测试用例

7、A A取值取值B B取值取值C C取值取值预期输出预期输出5-155a取值不在所允许的取值域内65-15b取值不在所允许的取值域内755-1c取值不在所允许的取值域内810055a取值不在所允许的取值域内951005b取值不在所允许的取值域内1055100c取值不在所允许的取值域内等价类划分健壮等价类：测试用例测试用例A A取值取值B B取值取值C C取值取值预期输出预期输出1555等边三角形2223等腰三角形3345不等边三角形4412非三角形5-155a取值不在所允许的取值域内65-15b取值不在所允许的取值域内755-1c取值不在所允许的取值域内810055a取值不在所允许的取值域内95

8、1005b取值不在所允许的取值域内1055100c取值不在所允许的取值域内11-1-15a、b取值不在所允许的取值域内125-1-1b、c取值不在所允许的取值域内13-15-1a、c取值不在所允许的取值域内14-1-1-1a、b、c取值不在所允许的取值域内边界值分析相关概念边界值分析法就是对输入或输出的边界值进行测试的一种黑盒测试方法。通常边界值分析法是作为对等价类划分法的补充，这种情况下，其测试用例来自等价类的边界。为什么使用边界值分析法？无数的测试实践表明，大量的故障往往发生在输入定义域或输出值域的边界上，而不是在其内部。因此，针对各种边界情况设计测试用例，通常会取得很好的测试效果。与等价

9、划分的区别 1）边界值分析使用与等价类划分法相同的划分，只是边界值分析法假定错误 更多地存在于划分的边界上，因此在等价类的边界上以及两册的情况设计 测试用例。 2）边界值分析不是从某等价类中随便挑一个作为代表，而是使这个等价类的 每个边界都要作为测试条件。 3）边界值不仅考虑输入条件，还要考虑输出空间产生的测试情况。边界值分析边界值选取原则使用边界值分析方法设计测试用例，首先应确定边界情况。通常输入和输出等价类的边界，就是应着重测试的边界情况。应当选取正好等于，刚刚大于或刚刚小于边界的值作为测试数据，而不是选取等价类中的典型值或任意值作为测试数据。1）如果输入条件规定了值的范围，则应取刚达到这

10、个范围的边界值、以及刚超越 这个范围边界的值作为测试输入数据。2）如果输入条件规定了值的个数，则选取最大个数、最小个数、比最大个数多一、 比最小个数少一的数作为测试数据。3）根据规格说明的每个输出条件，使用规则、 。4）如果程序的规格说明给出的输入域或输出域是有序集合，则应选取集合的第一 个元素和最后一个元素作为测试用例。5）如果程序中使用了一个内部数据结构，则应当选择这个内部数据结构边界上的 值作为测试用例。6）分析规格说明，找出其他可能的边界条件。边界值分析测试用例设计边界值分析测试的基本原理是故障往往出现在输入变量的边界值附近。边界值分析基于一种在可靠性理论中称为“单故障”的假设，即由两

11、个（或两个以上）的故障同时出现而导致软件失效的情况很少，也就是说，软件失效是由单个故障引起的。边界值分析利用输入变量的稍小于最小值（min-）、最小值（min）、稍大于最小值（min+）、域内任意值（nom）、稍小于最大值（max-）、最大值（max）、稍大于最大值（max+）来设计测试用例，即通过使所有变量取正常值，只使一个变量分别取稍小于最小值、最小值、稍大于最小值、稍小于最大值、最大值、稍大于最大值。程序F有两个输入变量X1、X2，其边界值分析测试用例如下：, , , , , , , , , 边界值分析如下图所示（假如a=X1=b,c=X2=d）：边界值分析应用举例三角形问题的边界值分析

12、测试用例设计：测试用例测试用例A A取值取值B B取值取值C C取值取值预期输出预期输出15050-1非三角形250501等腰三角形350502等腰三角形4505050等边三角形5505098等腰三角形6505099等腰三角形75050100非三角形850-150非三角形950150等腰三角形1050250等腰三角形11509850等腰三角形12509950等腰三角形135010050非三角形边界值分析讨论：常见的边界值对16-bit的整数而言，32767和-32768是边界。报表的第一行（列）和最后一行（列）。数组元素的第一个和最后一个。屏幕上光标在最左（右）上、最右（左）下位置。循环的第0

13、次、第1次、倒数第2次、最后一次。因果图法相关概念等价类划分法和边界值分析法都是着重考虑输入条件，但未考虑输入条件之间的联系、相互组合等。这样虽然各种输入条件可能出错的情况已经测试到了，但是多个输入条件组合起来可能出错的情况却被忽视了。因此必须考虑采用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来设计测试用例的方法。这就需要利用因果图（逻辑模型），它能直观的表明收条件和输出动作之间的因果关系。因果图法一般和判定表结合使用，通过映射同时发生相互影响的多个输入来确定判定条件。因果图法最终生成的就是判定表，它适于检查程序输入条件的各种组合情况。因果图法因果图中用来表示因果关系的基本关系符

14、号通常在因果图中用Ci表示原因（输入状态），用Ei表示结果（输出状态），结点表示状态，可取值“0 ”（表示某状态不出现）或“1”（表示某状态出现） 。恒等（若C1为1，则E1也为1，否则E1为0）：非（若C1为1，则E1为0，否则E1为1 ）：C1E1C1E1因果图法或（若C1或C2或C3为1，则E1也为1，否则E1为0）：C1E1C2C3V与（若C1和C2都为1，则E1也为1，否则其中一个不为1，则E1为0）：C1C2E1因果图法在实际问题中，输入状态之间、输出状态之间可能存在某些依赖关系，这些依赖关系被称为“约束”。对于输入条件有E、I、O、R四种约束，对于输出条件只有M约束。E约束（异）

15、：a和b中最多有一个可能为1，即a和b不能同时为1。I约束（或）：a、b、c中至少有一个必须为1，即a、b、c不能同时为0。O约束（唯一）：a和b中必须有且仅有一个为1。R约束（要求）：a是1时，b必须是1，即a为1时，b不能为0。M约束（强制）：若结果a为1，则结果b强制为0。因果图法各类约束图示：ab E(互斥、排他)abcIabOab R（要求）ab M（强制）因果图法利用因果图设计测试用例的基本步骤1）分析软件规格说明的描述中哪些是原因，哪些是结果。原因是输入条件或输入条件的等价类，结果是输出条件。并给每个原因和结果并赋予一个标识符，根据这些关系，画出因果图。2）因果图上用一些记号表明

16、约束条件或限制条件。3）对需求加以分析并把它们表示为因果图之间的关系图。4）把因果图转换成判定表。5）将判定表的每一列拿出来作为依据，设计测试用例。因果图法应用举例程序的规格说明要求：输入的第一个字符必须是#或*，第二个字符必须是一个数字，此情况下进行文件的修改；如果第一个字符不是#或*，则给出信息N，如果第二个字符不是数字，则给出信息M。分析程序规格说明中的原因和结果：C1：第一个字符是#；C2：第一个字符是*；C3：第二个字符是一个数字；E1：给出信息N；E2：修改文件；E3：给出信息M。画出因果图C1C2C3AE1E2E3VE导出结果的进一步原因因果图法将因果图转化为判定表：选项选项规则

17、规则1 12 23 34 45 56 67 78 8条件：条件：C111110000C211001100C310101010A111100动作：动作：E100000011E200101000E300010101不可能11000000测试测试用例用例#3#A*6*BA1GT#5#+*8*%+3D*因果图法测试用例设计：测试用例编号测试用例编号输入数据输入数据预期输出预期输出1#3修改文件2#A给出信息M3*6修改文件4*B给出信息M5A1给出信息N6GT给出信息N和信息M因果图法讨论举例：以中国象棋中马的走法为例，绘制因果图和判定表。分析：马的走法说明：1）如果落点在棋盘外，则不移动棋子；2）如

18、果落点与起点不构成日字型，则不移动棋子；3）如果落点处有己方的棋子，则不移动棋子；4）如果在落点方向的临近交叉点有棋子（绊马腿），则不移动棋子；5）如果不属于1-4条，且落点处无棋子，则移动棋子；6）如果不属于1-4条，且落点处为对方棋子（非将帅），则移动棋子并除去对方棋子；7）如果不属于1-4条，且落点处为对方将帅，则移动棋子，并提示战胜对方，游戏结束。因果图法分析原因和结果：原因：1）落点在盘外；2）不构成日字；3）落点有己方棋子；4）绊马腿；5）落点无棋子；6）落点为对方棋子；7）落点为对方将帅。结果：A）不移动；B）移动；C）移动并消灭对方棋子；D）移动并战胜对方。画出因果图（略）。转

19、换成判定表（略）。判定表驱动法相关概念因果图方法中已经用到了判定表（Decision Table），它是分析和表达多逻辑条件下执行不同操作的情况下的工具。在程序设计发展的初期,判定表就已被当做编写程序的辅助工具了。由于判定表测试严格，能够将复杂的逻辑关系和多种条件组合的情况表达得既具体又明确，针对不同的逻辑条件组合值，分别执行不同的操作，因此，使用判定表能够设计出完整的测试用例集合。判定表是一种针对存在条件、动作关系或者因果关系的特性测试的用例设计方法。定义：判定表驱动法：是分析和表达多逻辑条件下执行不同操作的情况的工具。判定表的组成：1）条件桩（ Condition Stub ）：列出了问题

20、的所有条件，列出条件的次序没有约束。2）动作桩（ Action Stub ）：列出问题规定可能采取的操作，这些操作的排列顺序无关紧要。判定表驱动法3）条件项（Condition Entry）：列出针对它左侧所列条件的取值。在所有可能情况下的真假值。4）动作项（Action Entry）：列出在条件项的各种取值情况下应该采取的动作。判定表中贯穿条件项和动作项的一列就是一条规则。判定表的结构：条件桩动作桩条件项动作项一列为一条规则判定表驱动法列列1 1列列2 2列列3 3列列.条件桩条件桩条件1条件2条件3条件动作桩动作桩动作1动作2动作3动作规则1规则2规则3规则判定表驱动法判定表的建立（步骤）

21、1）确定规则的个数。例如有n个条件，每个条件有两个值（0，1），那么判定表中就有2的n次方个规则；2）列出所有的条件桩和动作桩；3）填入条件项（如Y或N）；4）填入动作项（X）。制定初始判定表；5）简化判定表，合并相似规则（整列）。即：合并有两个或多个动作相同的规则，并且其条件项之间存在着极为相似的关系。判定表驱动法规则及规则合并举例：1）如下图左端，两规则动作项一样，条件项类似，在第一、二条件项分别取Y、N时，无论条件3取何值，都执行同一操作。即：要执行的动作与条件三无关，于是可以合并规则。“-”表示与取值无关。Y YY YNNYNXXY YN-X判定表驱动法2）与上例类似，下图中，无关条件

22、项“-”可包含其他条件项取值，具有相同动作的可合并。Y YY Y-NNNXXY Y-NX判定表驱动法应用举例一张关于科技书阅读指南的判定驱动表：1 12 23 34 45 56 67 78 8 问 题觉得疲倦吗？YYYYNNNN感兴趣吗？YYNNYYNN糊涂吗？YNYNYNYN 建 议回到本章开头重读X继续读下去X跳到下一章XX停止阅读，请休息。XXXX判定表驱动法简化后的读书指南判定表：1 12 23 34 45 5 问 题觉得疲倦吗？YYNNN感兴趣吗？YNYYN糊涂吗？-YN- 建 议回到本章开头重读X继续读下去X跳到下一章X停止阅读，请休息。XX判定表驱动法讨论举例：对功率大于50马力

23、的机器、维修记录不全或已运行10年以上的机器，应给予优先的维修处理。这里假定“维修记录不全”和“优先维修处理”均已在别处有更严格的定义。请建立判定表。分析条件与动作：1）确定规则的个数：这里有三个条件（功率大于50马力、维修记录不全、运 行超过10年），每个条件有两个取值，故应有2*2*2=8种规则。2）列出所有的条件桩和动作桩： 条条 件件功率大于50马力维修记录不全运行超过10年 动动 作作进行优先处理作其他处理判定表驱动法3）填入条件项。4）填入动作项至此便得到判定表。判定表的优缺点优点：它能把复杂的问题按各种可能的情况一一例句出来，简明而易于理解，也可避免遗漏。缺点：不能表达重复执行的

24、动作，例如循环结构。适合用判定表测试的条件1）规格说明以判定表形式给出，或容易转换成判定表。2）条件的排列顺序不会也不影响执行哪些操作。3）规则的排列顺序不会也不影响执行哪些操作。4）每当某一规则的条件已经满足，并确定要执行的操作后，不必检验别的规则。5）如果某一规则得到满足要执行多个操作，这些操作的执行顺序无关紧要。场景法相关概念现在的软件几乎都是用事件触发来控制流程的（象GUI软件、游戏等）。事件触发时的情景便形成了场景，而同一事件不同的触发顺序和处理结果便形成了事件流。这种在软件设计方面的思想也可以引入到软件测试中，可以比较生动地描绘出事件触发时的情景，有利于测试涉及者设计测试用例，同时

25、使测试用例更容易理解和执行。为什么场景法能如此清晰的描述整个事件？因为现在的系统基本上都是由事件来出发控制流程的。如：我们申请一个项目，需要先提交审批单据，再由部门经理审批，审核通过后由总经理来最终审批，如果部门经理审核不通过，就直接退回。每个事件触发时的情景便形成了场景，而同一事件不同的出发顺序和处理结果形成了事件流。这一系列的过程我们利用场景法可以清晰的描述清楚。基本流与备选流：1）在场景法中，测试流程是软件功能按照正确的事件流实现的一条正确流程，我们把这个 称为软件的基本流；2）出现故障或缺陷等其它事件的过程，就用备选流加以标注。这样，备选流或是从基本流 来的，或是由其它备选流中引出来的

26、。场景法场景用来描述流经用例的路径，从用例开始到结束遍历这条路径上所有的基本流和备选流，如下图所示：如图所示，从一个流程开始，经过用例的每条路径都可以用基本流和备选流来表示。黑直线表示基本流，是经过用例的最简单的路径。备选流用不同的彩色表示，一个备选流可能从基本流开始，在某个特定条件下执行，然后重新加入基本流中（如备选流1、3）；也可能起源于另一个备选流（如备选流2），或者终止用例而不再重新加入到某个流（如备选流2和4）。-可以确定以下用例场景：场景1）基本流；场景2）基本流，备选流1；场景3）基本流，备选流1，备选流2；场景4）基本流，备选流3；场景5）基本流，备选流3，备选流1；场景6）基

27、本流，备选流3，备选流1，备选流2；场景7）基本流，备选流4；场景8）基本流，备选流3，备选流4。场景法场景法设计测试用例的步骤1）根据说明，描述出程序的基本流及各项备选流。2）根据基本流和各项备选流生成不同的场景。3）对每一个场景生成相应的测试用例。4）对生成的所有测试用例重新审查，去掉多余的测试用例，确定测试用例后，为每一个测试用例确定测试数据值。场景法应用举例举例：用户进入在线购物网站进行订购，将物品放入购物车，等进行结账时，需要用户登录帐号，登录成功后，进行付钱交易，交易成功后，生成购物单，完成整个购物过程。分析基本流和备选流：基本流： 进入在线购物网站，选择物品，进行订购（把所需物品

28、放入购物车）， 登录帐号，付钱交易，生成订单；备选流1：帐号不存在；备选流2：密码错误；备选流3：已无选购物品；备选流4：用户帐号余额不足；备选流X：用户退出系统。场景法根据基本流和备选流来确定场景：场景1：购物成功：基本流；场景2：帐号不存在：基本流，备选流1；场景3：密码错误：基本流，备选流2；场景4：无选购物品：基本流，备选流3；场景5：帐号余额不足：基本流，备选流4。确定测试用例：对于每一个场景都需要确定测试用例。可以采用矩阵或决策表来确定和管理测试用例。对于每个测试用例，存在一个测试用例ID、条件（或说明）、测试用例中涉及的所有数据元素（作为输入或已经存在于数据库中），以及预期结果。

29、通过从确定用例场景所需的数据元素入手构建矩阵。场景法例如，在下面的矩阵中，V（有效数据元素）用于表明这个条件必须是有效的才可执行基本流程，而 I（无效数据元素）用于表明这种条件下降激活所需备选流，n/a（不适用）表明这个条件不适用于测试用例。填充真实数据，完成测试用例：用例用例IDID场景场景/ /条件条件帐号帐号密码密码选购物品选购物品帐户余额帐户余额预期结果预期结果1场景1：购物成功VVVV成功购物2场景2：帐号不存在In/an/an/a提示帐号不存在，返回基本流3场景3：密码错误VIn/an/a提示密码错误，返回基本流步骤24场景4：无选购物品VVIn/a提示选购物品，返回基本流步骤35

30、场景5：帐号余额不足VVVI提示帐号余额不足，返回基本流步骤5用例用例IDID场景场景/ /条件条件帐号帐号密码密码选购物品选购物品帐户余额帐户余额预期结果预期结果1场景1：购物成功zhang123456U盘1000成功购物2场景2：帐号不存在Chenn/an/an/a提示帐号不存在，返回基本流3场景3：密码错误zhangabcn/an/a提示密码错误，返回基本流步骤24场景4：无选购物品zhang123456空n/a提示选购物品，返回基本流步骤35场景5：帐号余额不足zhang123456U盘0提示帐号余额不足，返回基本流步骤5场景法讨论下图是ATM例子的流程示意图：分分析析基基本本流流本用

31、例的开始是ATM处于准备就绪状态。准备提款：客户将银行卡插入ATM机的读卡机。验证银行卡：ATM机从银行卡的词条中读取帐户代码，并检查它是否属于可以接收的银行卡。输入PIN：ATM要求客户输入PIN码（4位）验证帐户代码和PIN，以确定该账户是否有效以及输入的PIN对该帐户来说是否正确。在此事件流，帐户是有效的而且PIN对此帐户来说正确无误。ATM选项：ATM显示在本机上可用的各种选项。在此事件流中，银行客户通常选择“提款”。输入金额：要从ATM中提取的金额。对于此事件流，客户需选择预设的金额（如50、100元）。授权ATM通过将卡ID、PIN、金额以及帐户信息作为一笔交易发送给银行系统来启动

32、验证过程。对于此事件流，银行系统处于联机状态，而且对授权请求给予答复，批准完成提款过程，并且据此更新帐户余额。出钞：提供现金。返回银行卡：银行卡被返还。收据：打印收据并提供给客户。ATM还相应地更新内部记录。用例结束时ATM又回到准备就绪状态。场景法分分析析备备选选流流备用选项1：银行卡无效在基本流步骤2中 验证银行卡。如果卡是无效的，则卡被退回，同时会通知相关消息。备用选项2：ATM机内没有现金在基本流步骤5中 ATM选项将无法使用。如果ATM内没有现金，则“提款”选项不可用。备用选项3：ATM机内现金不足在基本流步骤6中 输入金额。如果ATM机内金额少于请求提取的金额，则将显示一则适当的消

33、息，并且在步骤6 输入金额处重新加入基本流。备用选项4：PIN有误在基本流步骤4中 验证帐户和PIN。客户有三次机会输入PIN。如果PIN输入有误，ATM将显示适当的消息；如果还存在输入机会，则此事件流在步骤3 输入PIN处重新加入基本流。如果最后一次尝试输入的PIN码仍然错误，则该卡将被ATM机保留，同时ATM返回到准备就绪状态，本例终止。备选流5：账户不存在在基本流步骤4中 验证帐户和PIN。如果银行系统返回的代码表明找不到该帐户或禁止从该帐户中提款，则ATM显适当的消息并在步骤9 返回银行卡处重新加入基本流。备选流6：账面金额不足在基本流步骤7授权中 银行系统返回代码表明帐户余额少于在基

34、本流步骤6 输入金额内输入的金额，则ATM显示适当的消息并且在步骤6 输入金额处重新加入基本流。备选流7：达到每日最大提款金额在基本流步骤7授权中 银行系统返回的代码表明包括本提款请求在内，客户已经或将超过在24小时内允许提取的最多金额，则ATM显示适当的消息并在步骤6 输入金额上重新加入基本流。备选流X：记录错误如果在基本流步骤10收据中 记录无法更新。则ATM进入“安全模式”，在此模式下所有功能都将暂停使用。同时向银行系统发送一条适当的警报信息表明ATM已经暂停工作。备选流Y：退出客户可能随时决定终止交易（退出），交易终止，银行卡随之退出。备选流Z：“翘起”ATM包含大量的传感信息，用以监

35、控各种功能，如电源检测器、不同的们和出入口处的测压器以及动作检测器等。在任一时刻，如果某个传感器被激活，则警报信号将发送给警方且ATM进入“安全模式”，在此模式下所有功能都暂停使用，直到采取适当的重启/重新初始化的措施。场景法根据前面的分析，设计测试用例：用例用例IDID场景场景/ /条件条件PINPIN帐号帐号输入输入( (或选或选择择) )金额金额账面金额账面金额ATMATM内金额内金额预期结果预期结果1场景1：成功提款2场景2：ATM内没有现金3场景3：ATM内现金不足4场景4：PIN有误（还有不止一次输入机会）5场景4：PIN有误（还有一次输入机会）6场景4：PIN有误（不在有输入机会）用例用例IDID场景场景/ /条件条件PINPIN帐号帐号输入输入( (或选或选择择) )金额金额账面金额账面