自动售货机测试用例(因果图)
题目：有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。
1.分析这一段说明，列出原因和结果
原因：
1.售货机有零钱找
2.投入1元硬币
3.投入5角硬币
4.押下橙汁按钮
5.押下啤酒按钮
结果：
21.售货机〖零钱找完〗灯亮
22.退还1元硬币
23.退还5角硬币
24.送出橙汁饮料
25.送出啤酒饮料
2.画出因果图
如图所示。所有原因结点列在左边，所有结果结点列在右边。建立中间结点，表示处理的中间状态。中间结点：
11. 投入1元硬币且押下饮料按钮
12. 押下〖橙汁〗或〖啤酒〗的按钮
13. 应当找5角零钱并且售货机有零钱找
14. 钱已付清
3.转换成判定表：
4.设计测试用例
1)在售货机有零钱找的情况下，投入1元硬币，押下橙汁按钮，找回5角硬币并送出橙汁
饮料。
2)在售货机有零钱找的情况下，投入1元硬币，押下啤酒按钮，找回5角硬币并送出啤酒
饮料。
3)在售货机有零钱找的情况下，投入1元硬币，系统不做任何处理。
4)在售货机有零钱找的情况下，投入5角硬币，押下橙汁按钮，送出橙汁饮料。
5)在售货机有零钱找的情况下，投入5角硬币，押下啤酒按钮，送出啤酒饮料。
6)在售货机有零钱找的情况下，投入5角硬币，系统不做任何处理。
7)在售货机有零钱找的情况下，押下橙汁按钮，系统不做任何处理。
8)在售货机有零钱找的情况下，押下啤酒按钮，系统不做任何处理。
9)在售货机没有零钱找的情况下，投入1元硬币，押下橙汁按钮，售货机“零钱找完”灯
亮，并退还1元硬币。
10)在售货机没有零钱找的情况下，投入1元硬币，押下啤酒按钮，售货机“零钱找完”灯
亮，并退还1元硬币。
11)在售货机没有零钱找的情况下，投入1元硬币，售货机“零钱找完”灯亮。
12)在售货机没有零钱找的情况下，投入5角硬币，押下橙汁按钮，售货机“零钱找完”灯
亮，并送出橙汁饮料。
13)在售货机没有零钱找的情况下，投入5角硬币，押下啤酒按钮，售货机“零钱找完”灯
亮，并送出啤酒饮料。
14)在售货机没有零钱找的情况下，投入5角硬币，售货机“零钱找完”灯亮。
15)在售货机没有零钱找的情况下，押下橙汁按钮，售货机“零钱找完”灯亮。
16)在售货机没有零钱找的情况下，押下啤酒按钮，售货机“零钱找完”灯亮。
测试用例设计自动售货机因果图分析
实验三黑盒测试（二） 一、实验目的 通过本实验，掌握因果图法生成测试用例的步骤。 二、相关内容 利用因果图生成测试用例的基本步骤如下： （1）分析软件规格说明中哪些是原因（即输入条件或输入条件的等价类），哪些是结果（即输出条件），并给每个原因和结果赋予一个标识符。 （2）分析软件规格说明中的语义，找出原因与结果之间、原因与原因之间对应的关系，根据这些关系画出因果图。 （3）由于语法或环境的限制，有些原因与原因之间、原因与结果之间的组合情况不可能出现。为表明这些特殊情况，在因果图上用一些记号表明约束或限制条件。 （4）把因果图转换为决策表。 （5）根据决策表中的每一列设计测试用例。 三、实验内容 有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。 编写程序实现之，然后用因果图法对自动售货机设计测试用例并测试之。 要求： 1、编写程序，实现上述自动售货过程。（任选一种自己熟悉的语言，有无界面均可，实现相应的功能即可。） 2、用因果图法设计测试用例。 （1）正确画出因果图。（2）画出决策表。（3）给出测试用例。 提示：可按如下步骤进行： 1）分析这一段说明，列出原因和结果。 2）画出因果图。（所有原因结点列在左边，所有结果点列在右边。可以考虑建立中间结点，表示处理的中间状态。比如，可设如下几种中间状态：该找5角，可找5角，按下按钮、钱已付清） 3）画出决策表。 4）给出测试用例。 四、实验报告 实验报告提交内容：源程序清单、因果图、决策表。（测试用例有时间就设计，没有时间可以不设计） 一，因果图； 因果图－画条件和结果
因果图测试用例
1.引言 等价类划分方法和边界值分析方法，都是着重考虑输入条件，但未考虑输入条件之间的联系、相互组合等。考虑输入条件之间的相互组合，可能会产生一些新的情况。但要检查输入条件的组合不是一件容易的事情，即使把所有输入条件划分成等价类，他们之间的组合情况也相当多。因此必须考虑采用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来考虑设计测试用例。这就需要利用因果图（逻辑模型）。 因果图（Cause-Effect Graphing）提供了一个把规格转化为判定表的系统化方法，从该图中可以产生测试数据。其中原因是表示输入条件，结果是对输入执行的一系列计算后得到的输出。 因果图方法最终生成的就是判定表，它适合于检查程序输入条件的各种组合情况。 2.因果图介绍 2.1图例说明 1、4种符号分别表示了规格说明中向4种因果关系。如图2-1所示。 图2-1 因果图关系 2、因果图中使用了简单的逻辑符号，以直线联接左右结点。左结点表示输入状态（或称原因），右结点表示输出状态（或称结果）。 3、ci表示原因，通常置于图的左部；ei表示结果，通常在图的右部。ci和ei均可取值0或1，0表示某状态不出现，1表示某状态出现。 2.2因果图概念 1、关系（图2-1 因果图关系） ①恒等：若ci是1，则ei也是1；否则ei为0。 ②非：若ci是1，则ei是0；否则ei是1。
③或：若c1或c2或c3是1，则ei是1；否则ei为0。“或”可有任意个输入。 ④与：若c1和c2都是1，则ei为1；否则ei为0。“与”也可有任意个输入。 2、约束 输入状态相互之间还可能存在某些依赖关系，称为约束。例如，某些输入条件本身不可能同时出现。输出状态之间也往往存在约束。在因果图中，用特定的符号标明这些约束。如图2-2所示。 图2-2因果图约束 .输入条件的约束有以下4类： ①E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1。 ②I约束（或）：a、b和c中至少有一个必须是1，即a、b 和c不能同时为0。 ③O约束（唯一）；a和b必须有一个，且仅有1个为1。 ④R约束（要求）：a是1时，b必须是1，即不可能a是1时b是0。 B.输出条件约束类型 输出条件的约束只有M约束（强制）：若结果a是1，则结果b强制为0。 2.3因果图法设计测试用例步骤 1、分析待测得系统规格，找出原因与结果 分析软件规格说明描述中，那些是原因(即输入条件或输入条件的等价类)，那些是结果(即输出条件), 并给每个原因和结果赋予一个标识符。 2、画出因果图
软件工程课程设计(自动售货机)
《软件工程》课程设计报告
一、问题描述 （一）关于自动售货机 自动售货机像磁卡电话、银行柜员机一样，以方便、新颖、文明、昼夜服务等特点，成为发达国家不可缺少的便民配套设施。如今的自动售货机可以为顾客提供多种服务。顾客可以根据自己的需要选择商品并投入钱币，售货机接收钱币，售出商品。 （二）自动售货机的设计 自动售货机系统是一种无人售货系统。售货时，顾客把硬币投入机器的投币口中，机器检查硬币的大小、重量、厚度及边缘类型。有效的硬币是一元币、五角币、一角币、五分币和一分币。其它货币都被认为是假币。机器拒收假币，并将其从退币孔退出。当机器接收了有效的硬币之后，将之送入硬币储藏器。顾客支付的货币根据硬币的面值进行累加。 自动售货机装有货物分配器，每个分配器中包含0 个或多个价格相同的货物。顾客通过选择货物分配器来选择货物。如果有货，且顾客支付的货币值不小于该货物的价格，货物将被分配到货物传送孔送给顾客，并将找零返回到退币孔。如果无货，则和顾客支付的货币值相等的硬币将被送到退币孔。如果顾客支付的货币值小于所选货物的价格，机器将等待顾客投进更多的货币。如果顾客决定不买所选择的货物，他投放进的硬币将从退币孔中退出。 二、需求分析 （一）UML自动售货机系统功能需求： 自动售货机系统是一种无一元等3个硬币投币口。顾客确认购货后，售货机可根据硬币的面值进行累加。 自动售货机装有货物分配器。每个货物分配器中包含零个或多个价格相同的货物。顾客通过
选择货物分配器来选择货物。如果货物分配器中有货物，而且顾客支付的货币值不小于该货物的价格，货物将被分配到货物传送孔送给顾客，并将适当的零钱返回到退币孔。如果分配器是空的，则和顾客支付的货币值相等的硬币将被送加到退币孔。如果顾客支付的货币值少于所选择的分配器中的货物的价格，机器将等待顾客投进更多的货币。如果顾客决定不买所选择的货物，将所投硬币从退币孔退出。 （二）UML自动售货机系统控制要求： 根据售货机自动控制系统的流程可以知道自动售货机的主要系统包括：计币系统、比较系统、选择系统、饮料供应系统、退币系统和报警系统。 1．计币系统： 当有顾额色买饮料时，投入的钱币经过感应器，感应器记忆投币的个数关且传送到检测系统（即电子天平）和计币系统。只有当电子天平测量的重量少于误差值时，允许计币系统进行叠加钱币，叠加的钱币数据存放在数据寄存器中。如果不正确时，认为是假币。既定出投币，既定出系统，等待新顾客。 2．比较系统： 投入完毕后，系统会把钱币数据和可以购买饮料的价格进行区间比较，当投入的钱币小于2元时，指示灯亮，显示投入的钱币不足。此时可以再投币或选择退币。当投稿的钱币在2~3元之间时，汔水选择指示灯长亮。当大于3元时，汔水和咖啡的指示灯同时长亮。此时可以选择饮料或选择退币。 3．选择系统： 比较电路完成后选择电路指示灯是长亮的，当按下汽水或咖啡选择时，相应的选择指示灯由长亮转为以1秒为周期闪烁。当饮料供应完毕时，闪烁同时停止。
测试用例设计方法之因果图法
测试用例设计方法之因果图法 (一)因果图法的来源 大家熟悉的等价类划分法和边界值分析法，都是着重考虑输入条件，但未考虑输入条件之间的联系、相互组合等； 但是，如考虑所输入条件之间的相互组合，会由于组合情况数目相当大，需要大量的测试用例； 因果图法，是一种帮助人们系统地选择一组高效率测试用例的方法。(二)因果图法的特点 考虑输入条件间的组合关系； 考虑输出条件对输入条件的信赖关系，即因果关系； 测试用例发现错误的效率高； 能检查出功能说明中的某些不一致或遗漏； 因果图方法最终生产的就是判定表，它适合于检查程序输入条件和各种组合情况。 (三)因果图法基本步骤 1.分割功能说明书 对于规模比较大的程序来说，由于输入条件的组合数太大，所以很难整体上使用一个因果图。我们可以把它划分为若干部分，然后分别对每个部分使用因果图。例如，测试编译程序时，可以把每个语句作为一个部分。 2.识别出“原因”和“结果”，并加以编号 所谓原因，是指输入条件或输入条件的等价类；而结果则是指输出条件或输出条件的等价类。每个原因或结果都对应于因果图中的一个节点。当原因或结果成立（或出现）时，相应的节点取值为1，否则为0。 例如，有一个饮料自动售货机（处理单价为5角钱）的控制处理软件，它的软件规格说明如下： 若投入5角钱的硬币，按下“橙汁”或“啤酒”的按钮，则相应的饮料就送出来。若投入1元钱的硬币，同样也是按“橙汁”或“啤酒”的按钮，则自动售货机在送出相应饮料的同时退回5角钱的硬币。
分析这一段说明，我们可以列出原因和结果。 原因如下： ?投入1元硬币； ?投入5角硬币； ?按下“橙汁”按钮； ?按下“啤酒”按钮 结果 ?退还5角钱； ?送出“橙汁”饮料； ?送出“啤酒”饮料 3.根据功能说明书中规定的原因和结果之间的关系画出因果图 因果图的基本符号如图1所示： 1.因果图的基本符号 图中左边的节点表示原因，右边的节点表示结果。恒等、非、或、与的含义： ?恒等：若a=1，则b=1；若a=0，则b=0； ?非：若a=1，则b=0，若a=0，则b=1； ?或：若a=1或b=1或c=1，则d=1；若a= b= c=0，则d=0； ?与：若a= b= c=1，则d=1；若a=0或b=0或c=0，则d=0。 画因果图时，原因在左，结果在右，由上而下排列，并根据功能说明书中规定的原因和结果之间的关系，用上述基本符号连接起来。在因果图中还可以引入一些中间节点。
自动售货机测试用例
题目： 有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下： 若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。 若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。 1.分析这一段说明，列出原因和结果 原因： 1.售货机有零钱找 2.投入1元硬币 3.投入5角硬币 4.押下橙汁按钮 5.押下啤酒按钮 结果： 2 1."售货机〖零钱找完〗灯亮 2 2."退还1元硬币 2 3."退还5角硬币
2 4."送出橙汁饮料 2 5."送出啤酒饮料 2.画出因果图 如图所示。所有原因结点列在左边，所有结果结点列在右边。建立中间结点，表示处理的中间状态。中间结点： 1 1."投入1元硬币且押下饮料按钮 1 2."押下〖橙汁〗或〖啤酒〗的按钮 1 3."应当找5角零钱并且售货机有零钱找 1 4."钱已付清 3.转换成判定表： 4.设计测试用例 1)在售货机有零钱找的情况下，投入1元硬币，押下橙汁按钮，找回5角硬币并送出橙汁饮料。 2)在售货机有零钱找的情况下，投入1元硬币，押下啤酒按钮，找回5角硬币并送出啤酒饮料。 3)在售货机有零钱找的情况下，投入1元硬币，系统不做任何处理。
4)在售货机有零钱找的情况下，投入5角硬币，押下橙汁按钮，送出橙汁饮料。 5)在售货机有零钱找的情况下，投入5角硬币，押下啤酒按钮，送出啤酒饮料。 6)在售货机有零钱找的情况下，投入5角硬币，系统不做任何处理。 7)在售货机有零钱找的情况下，押下橙汁按钮，系统不做任何处理。 8)在售货机有零钱找的情况下，押下啤酒按钮，系统不做任何处理。 9)在售货机没有零钱找的情况下，投入1元硬币，押下橙汁按钮，售货机“零钱找完”灯亮，并退还1元硬币。 10)在售货机没有零钱找的情况下，投入1元硬币，押下啤酒按钮，售货机“零钱找完”灯亮，并退还1元硬币。 11)在售货机没有零钱找的情况下，投入1元硬币，售货机“零钱找完”灯亮。 12)在售货机没有零钱找的情况下，投入5角硬币，押下橙汁按钮，售货机“零钱找完”灯亮，并送出橙汁饮料。 13)在售货机没有零钱找的情况下，投入5角硬币，押下啤酒按钮，售货机“零钱找完”灯亮，并送出啤酒饮料。 14)在售货机没有零钱找的情况下，投入5角硬币，售货机“零钱找完”灯亮。 15)在售货机没有零钱找的情况下，押下橙汁按钮，售货机“零钱找完”灯亮。 16)在售货机没有零钱找的情况下，押下啤酒按钮，售货机“零钱找完”灯亮。
实验04.使用基本路径测试法求解“自动售货机”问题
实验报告 实验序号：04 实验项目名称：使用基本路径测试法求解“自动售货机”问题 一、实验目的及要求 理解基本路径覆盖测试法的概念和方法； 掌握使用Eclipse+JUnit+EclEmma进行基本路径覆盖测试的方法。二、实验设备（环境）及要求 开发环境：Eclipse 及以上版本；JUnit 及以上版本；文本编辑软件。 硬件要求：CPU PIV 以上，256M 内存，1G 硬盘空间。 系统要求：Windows98/Me/XP/NT/2000，IE 5 以上。 三、实验内容步骤 1.下载并安装Eclipse+JUnit+EclEmma实验环境； 2.通读自动售货机程序，并在Eclipse环境下运行该程序； 3.使用基本路径测试法设计测试用例，完成以下表格； 编号输入值 Type 输入值 money 状态预期输出实际情 况 001Beer5C各资 源剩 余Input Information Type: Beer; Money: 5 Cents; Change: 0 Current State Beer: 5 Orange Juice: 6 5 Cents: 7 1 Dollar: 6 002Orange Juice 5C各资 源剩 余 Input Information Type: OrangeJuice; Money: 5 Cents; Change: 0 Current State Beer: 6
Orange Juice: 5 5 Cents: 7 1 Dollar: 6 003Beer1D没有 啤酒Failure Information Beer Shortage 步骤： 1、解压eclemma软件包，并放到eclipse安装目录的dropins文件夹下： 2、重新启动eclipse软件，菜单栏会出现新的图标： 3、查看Windows的Customize perspective项中的Command Groups Availabiity 多了Coverage 项: 4、编写待测试类文件和测试Junit Test Case文件:
等价类+因果图习题及答案
测试用例设计习题课： 1、使用逻辑覆盖测试方法测试以下程序段 void DOWork(int x,int y,int z) { 1 int k=0,j=0; 2 if((x>3)&&(z<10)) 3 { 4 k=x*y-1; 5 j=sqrt(k); 6 } 7 if((x==4)||(y>5)) 8 j=x*y+10; 9 j=j%3; } 要求(1)画出程序段的控制流图 (2)分别以条件覆盖,路径覆盖方法设计测试用例 测试用例表 2、使用逻辑覆盖测试方法测试以下程序段 void Do(int X,int A,int B) { 1 if((A>1)&&(B==0)) 2 X=X/A; 3 if((A==2)||(X>1)) 4 X=X+1; 5 } 要求(1)画出程序段的控制流图 (2)分别以条件覆盖,路径覆盖方法设计测试用例
3、以此为例根据业务流程设计用户登录的流程图，然后依据流程图设计手动测试用例（假 如密码只允许试三次）。 业务流程图如下：单击登录按钮开始进入如下界面，然后输入账号或者邮件地址、密码、验证码。 账号或邮箱： 密码： 验证码： 下次登录（按钮） 登录按钮 用户登录的流程图： 4、某省高考招生，规定考生的年龄在16周岁至25周岁之间，即出生年月从1978年7月至1987年6月。高考报名程序具有自动检测输入程序的功能。若年龄不在此范围内，则显示拒绝报名的信息。试用等价类划分法为该程序设计测试用例。 设计方法：假定年龄用6位整数表示，前4位表示年份，后2位表示月份。
（1）划分有效等价类和无效等价类。 输入数据有出生年月、数值本身、月份3个等价类，并为此划分有效等价类和无效等价类，见下表： （3 5、有一程序，其规格说明书规定：输入两个字符，当第一个字符是A或B，且第二个字符是数字时修改文件；若第一个字符不是A，也不是B时，输出错误信息M1；若第二个字符不是数字时，输出错误信息M2。试用因果图法设计测试用例。 设计方法： （1）分析规格说明书中，并确定“因”与“果”。 （2）画出因果图。 6、在某应用系统中，系统登录界面如图2.6所示。
以中国象棋中走马的测试用例设计为例学习因果图的使用方法
以中国象棋中走马的测试用例设计为例学习因果图的使用方法。 分析中国象棋中走马的实际情况（下面未注明的均指的是对马的说明） 1如果落点在棋盘外，则不移动棋子； 2、如果落点与起点不构成日字型，则不移动棋子； 3、如果落点处有自己方棋子，则不移动棋子； 4、如果在落点方向的邻近交叉点有棋子（绊马腿），则不移动棋子； 5、如果不属于1-4条，且落点处无棋子，则移动棋子； 6、如果不属于1-4条，且落点处为对方棋子（非老将），则移动棋子并除去对方棋子； 7、如果不属于1-4条，且落点处为对方老将，则移动棋子，并提示战胜对方，游戏结束。原因：结果： 1、落点在棋盘上； 2、落点与起点构成日字； 3、落点处为自己方棋子； 4、落点方向的邻近交叉点无棋子； 5、落点处无棋子； 6、洛点处为对方棋子（非老将）； 7、洛点处为对方老将。21、不移动棋子； 22、移动棋子； 23、移动棋子，并除去对方棋子； 24、移动棋子，并提示战胜对方，结束游戏。 L2345678 111110000 2]101I00 3L3101c10 11111100 2200001 2101000 23（.1010] 测试 用例 A3 A8 AR A? R5 B4 RN ur Cl X6 SD PS 考虑结果不能同时发生，所以对其施加唯一约束施加异约束E。 根据因果图建立判定表：（分为两表）0。原因5、6、7不能同时发生，所以对其 添加中间节点11，目的是作为导出结果的进一步原因，简化因果图导出的判定表
注：1、以上判定表中由于表格大小限制没有列出最后所选的测试用例；2、第2表中部分列被合并表示不可能发生的现象；3、通过中间节点将用例的判定表简化为两个小表。减少工 作量。 四、根据判定表写测试用例表（略）
测试用例八大设计方法和实例
测试用例设计方法 1等价类划分 1.1 理论知识 等价类划分是一种典型的黑盒测试方法。这一方法完全不考虑程序的内部结构，只依据程序的规格说明来设计测试用例。 等价类是指某个输入域的子集合。在该子集合中，各个输入数据对于揭示程序中的错误都是等效的。 等价类合理地假设：某个等价类的代表值，与该等价类的其他值，对于测试来说是等价的。 因此，可以把全部的输入数据划分成若干的等价类，在每一个等价类中取一个数据来进行测试。这样就能以较少的具有代表性的数据进行测试，而取得较好的测试效果。 等价类划分是把所有可能的输入数据,即程序的输入域划分成若干部分（子集）,然后从每一个子集中选取少数具有代表性的数据作为测试用例.该方法是一种重要的,常用的黑盒测试用例设计方法. 1) 分类： 划分等价类: 等价类是指某个输入域的子集合.在该子集合中,各个输入数据对于揭露程序中的错误都是等效的.并合理地假定:测试某等价类的代表值就等于对这一类其它值的测试.因此,可以把全部输入数据合理划分为若干等价类,在每一个等价类中取一个数据作为测试的输入条件,就可以用少量代表性的测试数据.取得较好的测试结果.等价类划分可有两种不同的情况:有效等价类和无效等价类. 有效等价类:是指对于程序的规格说明来说是合理的,有意义的输入数据构成的集合.利用有效等价类可检验程序是否实现了规格说明中所规定的功能和性能. 无效等价类:与有效等价类的定义恰巧相反. 设计测试用例时,要同时考虑这两种等价类.因为,软件不仅要能接收合理的数据,也要能经受意外的考验.这样的测试才能确保软件具有更高的可靠性. 2）划分等价类的方法: 下面给出六条确定等价类的原则： ①在输入条件规定了取值范围或值的个数的情况下,则可以确立一个有效等价类和两个无效等价类. ②在输入条件规定了输入值的集合或者规定了“必须如何”的条件的情况下,可确立一个有效
测试用例设计—自动售货机因果图分析
测试用例设计—自动售货机因果图分析 命题 设计了一个自动售货机软件测试用例，用于处理单价为50美分的饮料。规格如下:如果你放入50美分或1元硬币，并按下按钮[橙汁]或[啤酒]，相应的饮料将交付如果自动售货机没有零钱，红灯将显示[零钱已经被换了]，然后在放入1元硬币并按下按钮后，饮料将不会被递送，并且1元硬币将退出。如果有零钱，显示“换出”的红灯将熄灭，50美分将在饮料交付时返还。 分析 根据这个命题，我们可以分析自动售货机业务中存在5个条件和5个结果。条件如下: 1。自动售货机有零钱。投入1元硬币3。投入50美分硬币4。按下橙汁按钮5。按下啤酒按钮结果: 1。自动售货机[换出]灯亮着。当自动售货机没有变化时，会出现红灯 2。当硬币投入1元并且自动售货机没有零钱时，返还1元硬币。3.当硬币投入1元时，返还50美分。当自动售货机4有变化时。发送橙汁饮料5。发送啤酒饮料 因果图-绘制条件和结果 有变化红灯亮1元1元50美分，啤酒50美分，橙汁 因果图-绘制简单关系
在绘制空白条件和结果后，我们可以标记 1为主题中最直接和最简单的因果条件。条件“有变化”和结果“红灯亮”之间的关系是“没有”。当“有零钱”时，红灯不亮，而当自动售货机“没有零钱”时，红灯必须亮。 2年，有条件的“投1元”和有条件的“投50分”是一种“E”关系。这两个动作不能同时发生，即1元钱和50美分(不能同时发生)；但是，我们允许“没有1元钱”和“没有50美分”(同时可能是假的) 3，“啤酒选择”条件和“橙汁选择”条件为“e”关系，这两个动作不能同时发生，即“啤酒选择”和“橙汁选择”(不能同时为真)；但是我们允许“不喝啤酒”和“不喝橙汁”(这可能同时是错误的) 4，条件“啤酒选择”和条件“橙汁选择”相当于程序处理过程，即价格和系统处理方法都是相同的 ，因此这两个条件可以组合成一个中间节点此外，在两个条件之间使用“或”的关系 5。请注意，有条件的“1元”和有条件的“50美分”不是等价关系。从表面上看，他们都是“钱”，这似乎是相似的。然而，程序的处理是完全不同的。在“50美分”(因为标题规定所有商品都是50美分)之后，完全没有必要判断当前的自动售货机是否有任何变化，但是“1元”不是 有小变化，红灯亮，1元E投50美分选择商品，1元找50美分选择啤酒E选择橙汁V给啤酒给橙汁
测试用例设计—自动售货机因果图分析
命题 有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1 元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。分析 根据该命题，我们可以分析出，自动售货机的业务中一共存在5个条件和5个结果，分别是：条件： 1.售货机有零钱找 2.投入1元硬币 3.投入5角硬币 4.押下橙汁按钮 5.押下啤酒按钮 结果： 1.售货机〖零钱找完〗灯亮???当售货机中没有零钱的时候就有亮红灯 2.退还1元硬币当投入1元，而且售货机中没有零钱可找的时候 3.退还5角硬币????????????当投入1元，而且售货机中有零钱可找的时候 4.送出橙汁饮料 5.送出啤酒饮料 因果图－画条件和结果 因果图－画简单关系 在画完空白的条件和结果之后，我们可以将题目中最直接和简单的因果条件标出 1、条件“有零钱”和结果“红灯亮”是一个“非”的关系，当“有零钱”的时候，红灯是不亮的，而当售货机中“没有零钱”的时候，红灯必须要亮的。 2、条件“投1元”和条件“投5角”是一个“E”的关系，这两个动作不可能同时发生，即同时投入1元钱和5角钱（不能同时为真）；但是我们允许即“不投入1元钱”也“不投入5角钱”（可以同时为假）。 3、条件“选啤酒”和条件“选橙汁”是一个“E”的关系，这两个动作不可能同时发生，即同时“选择啤酒”和“选择橙汁”（不能同时为真）；但是我们允许即“不选择啤酒”也“不选择橙汁”（可以同时为假）。 4、条件“选啤酒”和条件“选橙汁”对于程序处理过程是等价的，即二者无论是价格还是系统的处理方法都是相同的，因此这两个条件可以合并为一个中间节点。而且这两个条件之间使用“或”的关系。 5、注意，条件“投1元”和条件“投5角”不是等价关系，表面上看，他们都是“钱”，好像差不多，但是对于程序的处理过程确实完全不同的，“投5角”后完全不用判断当前售货机中是否有零钱（因为题目中规定所有的商品都是5角钱），而“投1元”就不行了。 因果图－送出商品 现在我们从结果的角度考虑，要想“出啤酒”或者“出橙汁”，从现实买卖中分析必须要有什么先决条件呢？是的，就是“你的钱要付清”，而且你一定要选择了“啤酒”或者“橙汁”才行。而在上面的已有因果图中，我们无法找到“钱付清”的因素，因此这时候我们可以试着再加一个中间节点，就叫“钱付清”吧。 要想获得选中的商品，则条件“钱付清”和条件“选啤酒/选橙汁”必须要同时成立，因此是“与”的关系。 因果图－应该找零钱 根据题意，当投入1元钱，而且又选中了某一种商品的时候，系统是需要找零钱的。而现有条件和结果中并没有涉及到“应该找零钱”这种情况，因此我们还需要增加一个中间节点“应该找零钱”。
实验使用基本路径测试法求解“自动售货机”问题
实验使用基本路径测试法求解“自动售货机”问题
————————————————————————————————作者：————————————————————————————————日期：
实验04：使用基本路径测试法求解“自动售货机”问题实验学时：2 实验类型：设计 实验要求：必修 一、实验目的 ●理解并掌握基本路径覆盖测试法，能够实际运用； ●使用Eclipse+JUnit+EclEmma进行单元测试。 二、实验要求 ●开发环境：Eclipse v3.7及以上版本；JUnit v4.10及以上版本；文本编辑 软件。 ●硬件要求：CPU PIV 以上，256M 内存，1G 硬盘空间。 ●系统要求：Windows98/Me/XP/NT/2000，IE 5 以上。 三、实验内容 1.下载并安装Eclipse+JUnit+EclEmma实验环境； 2.通读自动售货机程序，并在Eclipse环境下运行该程序； 3.使用基本路径测试法设计测试用例； ?绘制程序控制流图； ?计算环路复杂度； ?确定基本路径； ?设计测试用例。 4.完整填写以下表格： 编号输入值 Type 输入值 money 状态预期输出实际情 况 001 Beer 5C 各资 源剩 余Input Information Type: Beer; Money: 5 Cents; Change: 0
Current State Beer: 5 Orange Juice: 6 5 Cents: 7 1 Dollar: 6 002 OrangeJ uice 5C 各资 源剩 余 Input Information Type: OrangeJuice; Money: 5 Cents; Change: 0 Current State Beer: 6 Orange Juice: 5 5 Cents: 7 1 Dollar: 6 003 Beer 1D 没有 啤酒Failure Information Beer Shortage … … 5.编写JUnit测试用例，并运行程序，保证所有测试用例通过测试； 6.使用EclEmma检测测试用例覆盖率，保证覆盖率达到100%。 四、实验结果检查与评定 ●提交时间：2013年4月24日之前/2013年5月1日22:00之前 ●提交地址：学习委员邮箱 ●文档命名方式：12软件专升本X班_0907052XXX_张三_实验04.doc
自动售货机测试用例
题目：有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。 1.分析这一段说明，列出原因和结果 原因： 1.售货机有零钱找 2.投入1元硬币 3.投入5角硬币 4.押下橙汁按钮 5.押下啤酒按钮 结果： 21.售货机〖零钱找完〗灯亮 22.退还1元硬币 23.退还5角硬币 24.送出橙汁饮料 25.送出啤酒饮料 2.画出因果图 如图所示。所有原因结点列在左边，所有结果结点列在右边。建立中间结点，表示处理的中间状态。中间结点： 11. 投入1元硬币且押下饮料按钮 12. 押下〖橙汁〗或〖啤酒〗的按钮 13. 应当找5角零钱并且售货机有零钱找 14. 钱已付清 3.转换成判定表：
4.设计测试用例 1)在售货机有零钱找的情况下，投入1元硬币，押下橙汁按钮，找回5角硬币并送出橙汁 饮料。 2)在售货机有零钱找的情况下，投入1元硬币，押下啤酒按钮，找回5角硬币并送出啤酒 饮料。 3)在售货机有零钱找的情况下，投入1元硬币，系统不做任何处理。 4)在售货机有零钱找的情况下，投入5角硬币，押下橙汁按钮，送出橙汁饮料。 5)在售货机有零钱找的情况下，投入5角硬币，押下啤酒按钮，送出啤酒饮料。 6)在售货机有零钱找的情况下，投入5角硬币，系统不做任何处理。 7)在售货机有零钱找的情况下，押下橙汁按钮，系统不做任何处理。 8)在售货机有零钱找的情况下，押下啤酒按钮，系统不做任何处理。 9)在售货机没有零钱找的情况下，投入1元硬币，押下橙汁按钮，售货机“零钱找完”灯 亮，并退还1元硬币。 10)在售货机没有零钱找的情况下，投入1元硬币，押下啤酒按钮，售货机“零钱找完”灯 亮，并退还1元硬币。 11)在售货机没有零钱找的情况下，投入1元硬币，售货机“零钱找完”灯亮。 12)在售货机没有零钱找的情况下，投入5角硬币，押下橙汁按钮，售货机“零钱找完”灯 亮，并送出橙汁饮料。 13)在售货机没有零钱找的情况下，投入5角硬币，押下啤酒按钮，售货机“零钱找完”灯 亮，并送出啤酒饮料。 14)在售货机没有零钱找的情况下，投入5角硬币，售货机“零钱找完”灯亮。 15)在售货机没有零钱找的情况下，押下橙汁按钮，售货机“零钱找完”灯亮。 16)在售货机没有零钱找的情况下，押下啤酒按钮，售货机“零钱找完”灯亮。
测试用例设计方法2——因果图判定表
测试用例设计方法2——因果图判定表 判定表法 判定表是分析和表达多种输入情况下执行不同动作的工具，判定表方法主要用于处理程序输入条件的不同组合，但是要求条件的组合必须是bool类型，而且条件和预期的结果都是可以分析出来的。判定表能够有效地弥补等价类和边界值方法的不足，使得输入条件之间的组合和相互影响得到充分的测试。 使用判定表的一般思路是： 1、需求分析，分析出条件和结果之间的各种组合 2、将条件和结果分别填入判定表 3、讲条件和结果进行二进制排列 4、针对每一项组合，分析出结果，并去除无效项，是判定表得到简化。在合并判定表时，如果条件之中只有一个不同，则可以合并。如果判定表的组合不够多，建议不要进行合并，这样可以测试的充分一些。 5、每一列生成一个测试用例 以阅读指南的例子来设计一个判定表：从例子中可以看到，不同的条件组合 使用判定表方法可以充分弥补等价类边界值得不足，但是当输入条件过多时，使用判定表会产生大量测试用例。而其无效用例不易发现，更不能覆盖条件之间的先后关系。因此，在一定情况下，使用判定表还需要因果图的帮忙。 -------------------------------------------------------------------------------- 因果图
因果图用于描述系统之间的输入输出，输入输出之间的约束关系和因果关系。因果图与判定表往往结合使用，使用因果图可以得到判定表。 使用因果图的方法： 1、分析输入输出并进行标识 2、分析输入和输入、输入和输出之间的关系 3、将得到的关系使用因果图的方法表示出来 4、根据因果图得到判定表 5、依据判定表生成测试用例 这里分析一个自动售货机的因果图分析方法： 条件：有一个处理单价为5角的自动售货机，当投入5角或1元硬币时，选择橙汁或啤酒，饮料出来；若自动售货机没有零钱，则显示零钱照完，亮红灯，这时候投入的1元被退出来，饮料不送出来。如果有零钱，则出饮料并找5角钱。 分析： 1、选择橙汁和啤酒是同一类型，可以进行归类 2、选择5角和1元看似是同一类，但是他们所触发的操作是不同的，不能归类 3、橙汁和啤酒、5角和1元是相异的关系 4、分析不同的组合并得到最终结果 总结：因果图的使用和分析比较复杂，使用因果图可能会消耗很多的时间，因此正确的策略是先考虑其他的测试用例设计方法，最后再使用因果如，可以尽量的减少工作的时间并提高效率。
因果图法测试用例
例题：程序规定：输入三个整数a、b和c分别作为三角形的3条边，通过程序判断由这3条边构成的三条边类型是：等边三角形、等腰三角形、一般三角形或非三角形（不能够成一个三角形） 黑盒测试（因果图法） 程序： #include E2:普通三角形 E3:等腰三角形 E4:等边三角形 （2）找出原因与结果之间的因果关系、原因与原因之间的约束关系，画出因果图。 （3）将因果图转换成决策表。 黑盒测试用例设计练习题 1、准考证号码 对招干考试系统“输入学生成绩”子模块设计测试用例。招干考试分三个专业,准考证号第一位为专业代号，如： 1-行政专业， 2-法律专业， 3-财经专业。 行政专业准考证号码为：110001～111215 法律专业准考证号码为：210001～212006 财经专业准考证号码为：310001～314015 请划分准考证号码的等价类。 2、电话号码 城市的电话号码由两部分组成。这两部分的名称和内容分别是： 1）地区码：以0开头的三位或者四位数字（包括0）； 2）电话号码：以非0、非1开头的七位或者八位数字。 假定被调试的程序能接受一切符合上述规定的电话号码，拒绝所有不符合规定的号码，请使用等价分类法来设计它的测试用例。 某保险公司的人寿保险的保费计算方式为：投保额×保险费率 其中，保险费率依点数不同而有别，10点及10点以上保险费率为0.6%，10点以下保险费率为0.1%；而点数又是由投保人的年龄、性别、婚姻状况和抚养人数来决定，具体规则如表1所示。 表1 保险公司计算保费费率的规则 分析程序规格说明中给出和隐含的对输入条件的要求，列出等价类表（包括有效等价类和无效等价类）。 1) 年龄：一位或两位非零整数，值的有效范围为1~99。 2) 性别：一位英文字符，只能取值‘M ’或‘F ’。 3) 婚姻：字符，只能取值‘已婚’或‘未婚’。 4) 抚养人数：空白或一位非零整数（1~9） 5) 点数：一位或两位非零整数，值的范围为1~99 根据表1中的等价类表，设计能覆盖所有等价类的测试用例。 4、输入：用户密码 要求： 1）用户密码为6到8位。 2）必须含有字母和数的组合。 输出：如正确，输出正确的信息。否则，输出相应的错误信息。 请结合等价类划分法和边界值分析法设计出相应的测试用例。 5、给出某一天（年，月，日），计算出它的下一天，取值范围为： 年：1000<= year <=3000 月：1<=month <=12 日：1<= day <=31 如1999年3月4日的下一天是：1999年3月5日 要求： 输入：三个参数（年，月，日） 输出：如能正确计算，计算出它的下一天， 否则，输出相应的错误信息。 1）使用C语言编写程序实现 2）请结合等价类划分法和边界值分析法设计出相应的测试用例，并依照测试用例对所编写的程序进行测试。 （1）代码如下： 测试用例设计方法的介绍—因果图 前言为什么需要测试用例 ......................................................... 错误!未指定书签。 1.测试用例设计的方法分类 .................................................... 错误!未指定书签。 1.1.黑盒测试 ......................................................................... 错误!未指定书签。 1.2.白盒测试 ......................................................................... 错误!未指定书签。 1.3.灰盒测试 ......................................................................... 错误!未指定书签。 2.因果图的具体介绍 ................................................................ 错误!未指定书签。 2.1.为什么么需要因果图 ..................................................... 错误!未指定书签。 2.2.因果图概念介绍 ............................................................. 错误!未指定书签。 2.2.1.布尔逻辑运算符 ...................................................... 错误!未指定书签。 2.2.2.因果图的约束关系表示法 ...................................... 错误!未指定书签。 2.3.使用因果图设计测试用例的步骤 ................................. 错误!未指定书签。 2.3.1.分析需求 .................................................................. 错误!未指定书签。 2.3.2.确定原因和结果 ...................................................... 错误!未指定书签。 2.3.3.确定逻辑关系 .......................................................... 错误!未指定书签。 2.3.4.确定约束关系 .......................................................... 错误!未指定书签。 2.3.5.把因果图转换为决策表 .......................................... 错误!未指定书签。 2.3.6.根据原因给出结果 .................................................. 错误!未指定书签。 2.3.7.设计测试用例 .......................................................... 错误!未指定书签。 2.4.举例说明 ......................................................................... 错误!未指定书签。 2.4.1.例子1 ....................................................................... 错误!未指定书签。 2.4.2.例子2 ....................................................................... 错误!未指定书签。 3.使用因果图的好处 ................................................................ 错误!未指定书签。 4...................................................................................................... 错误!未指定书签。 因果图设计测试规范 本文档介绍了针对终端软件测试的因果图法测试规范。 本测试规范中对移动终端用因果图法设计测试用例原理进行了详细的描述，并用实例加以说明如何使用该方法设计测试用例。包括设计测试用例时的使用范围，设计测试用例的步骤等。 本测试规范介绍了一种通用的测试方法，需要根据被测终端软件需求才能形成具体的测试用例。 1.简介 (4) 2.作用 .............................................................................................................. 错误！未定义书签。 3.因果图法基本规则 (4) 3.1.因果图的基本符号 (4) 3.2.因果图的约束符号 (5) 4.测试用例设计步骤 (6) 4.1.列出输入项和输出项 (7) 4.2.分析因果关系 (7) 4.3.标注约束形成因果图 (7) 4.4.转换成判定表 (7) 4.5.设计测试用例 (7) 5.因果图法举例 (8) 5.1.因果图法典型例子 (8) 5.2.飞信添加好友实例 (10) 6.因果图的优点和缺点 (13) 6.1.优点 (13) 6.2.缺点 (13) 7.名词解释 (14) 8.参考文档 (14) 9.修改历史 ...................................................................................................... 错误！未定义书签。 1.简介 因果图是一种测试用例的设计方法。能从用自然语言书写的程序规格说明的描述中找出的“因”（输入条件）和“果”（输出或程序状态的改变），通过因果图转换为判定表，最后依据判定表进行测试用例的设计。所生成的判定表可以不通过剪裁直接生成测试用例，但会导致测试用例的冗余。即使是对于一般的小规模软件，画出的因果图也可能是非常庞大的，以至于依据因果图的写出测试用例数量很庞大，给测试工作带来沉重的负担。 2. 适用范围 因果图法是一种适合于描述对于多种输入条件组合的测试方法，根据输入条件的组合、约束关系和输出条件的因果关系，分析输入条件的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件涉及的各种组合情况。因果图法一般和判定表结合使用，通过映射同时发生相互影响的多个输入来确定判定条件。因果图法最终生成的就是判定表。采用因果图法能帮助我们按照一定的步骤选择一组高效的测试用例，同时，还能指出程序规范中存在什么问题，鉴别和制作因果图。 因果图法着重分析输入条件的各种组合，每种组合条件就是“因”，它必然有一个输出的结果，这就是“果”。 3. 因果图法基本规则 检查输入条件的组合不是容易的事情，即使把所有输入条件都划分成等价类，它们之间的组合情况也相当多。如果没有系统性的方法来选择输入条件的一个子集，可能导致低效率的测试。因此，必须考虑使用一种适合于描述这样一种情况的测试设计方法，对于多种条件的组合相应产生多个动作的形式，这就用到了因果图法。 3.1. 因果图的基本符号 通常在因果图中用ci表示原因，用ei表示结果；各结点表示状态，可取值0或1。0表示某状态不出现；1表示某状态出现。因果图的基本关系，如下图：黑盒测试例题
因果图设计测试用例
因果图测试规范