2022年测试用例设计方案—自动售货机因果图分析.docx

命题有一个处理单价为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元投5角选啤酒选橙汁红灯亮找1元找5角出啤酒出橙汁因果图画简洁关系在画完空白的条件和结果之后，我们可以将题目中最直接和简洁的因果条件标出1、条件“有零钱”和结果“红灯亮”是一个“非”的关系，当“有零钱”的时候，红灯是不亮的，而当售货机中“没有零钱”的时候，红灯必需要亮的；2、条件“投 1 元”和条件“投5 角”是一个“ E”的关系，这两个动作不行能同时发生，即同时投入1 元钱和 5 角钱（不能同时为真）；但是我们答应即“不投入1 元钱”也“不投入5 角钱”（可以同时为假）；3、条件“选啤酒”和条件“选橙汁”是一个“E”的关系，这两个动作不行能同时发生，即同时“挑选啤酒”和“挑选橙汁”（不能同时为真）；但是我们答应即“不挑选啤酒”也“不挑选橙汁”（可以同时为假）；4、条件“选啤酒”和条件“选橙汁”对于程序处理过程是等价的，即二者无论是价格仍是系统的处理方法都是相同的，因此这两个条件可以合并为一个中间节点；而且这两个条件之间使用“或”的关系；5、留意，条件“投1 元”和条件“投5 角”不是等价关系，表面上看，他们都是“钱”，似乎差不多，但是对于程序的处理过程的确完全不同的，“投5 角”后完全不用判定当前售货机中是否有零钱（由于题目中规定全部的商品都是 5 角钱），而“投 1 元”就不行了；有零钱红灯亮投1元E找1元投5角找5角选啤酒E选商品V出啤酒选橙汁出橙汁因果图送出商品现在我们从结果的角度考虑，要想“出啤酒”或者“出橙汁”，从现实买卖中分析必需要有什么先决条件呢？是的，就是“你的钱要付清”，而且你肯定要挑选了“啤酒”或者“橙汁”才行；而在上面的已有因果图中，我们无法找到“钱付清”的因素，因此这时候我们可以试着再加一个中间节点，就叫“钱付清”吧；要想获得选中的商品，就条件“钱付清”和条件“选啤酒 / 选橙汁”必需要同时成立，因此是“与”的关系；有零钱红灯亮投1元E找1元投5角找5角选啤酒E选橙汁选商品钱付清VVV出啤酒出橙汁因果图应当找零钱依据题意，当投入1 元钱，而且又选中了某一种商品的时候，系统是需要找零钱的；而现有条件和结果中并没有涉及到“应当找零钱”这种情形，因此我们仍需要增加一个中间节点“应当找零钱”；条件“投 1 元”和条件（中间节点）“选商品”与结果（中间）“应当找零钱”是“与”的关系，即这两个条件必需同时满意；有零钱红灯亮投1元E投5角应当找V零钱找1元找5角选啤酒E选橙汁选商品钱付清VVV出啤酒出橙汁因果图能够找零钱上面已经确定了“投入1 元钱”并且“选商品”，系统应当找给客户5 角钱，那么接下来就要看当前售货机中是否有零钱可找了，庆幸的是，存在“有零钱”的条件；现在系统“应当找零钱”给客户，而且恰恰又“有零钱”找给客户，那么就可以确定系统“能够找零钱”给客户了，所以这里我们又可以增加一个中间节点“能够找零钱”；条件“有零钱”和条件（中间节点）“应当找零钱”与结果“能够找零钱”之间是“与”的关系；有零钱红灯亮投1元E投5角应当找V零钱能够找V零钱找1元找5角选啤酒E选橙汁选商品钱付清VVV出啤酒出橙汁因果图 1 元钱付清现在已经确定客户“投入1 元钱”并且“选商品”后，系统“有零钱”可找，那么紧接着就可以找钱给客户了；条件“能够找零钱”和结果“找5 角”是“恒等”的关系；条件“能够找零钱”和结果（中间节点）“钱付清”也是“恒等”的关系；有零钱红灯亮投1元E投5角应当找V零钱能够找V零钱找1元找5角选啤酒E选橙汁选商品钱付清VVV出啤酒出橙汁因果图 5 角钱付清考虑完投入 1 元钱后系统的处理情形，我们再来看投入5 角钱后系统是如何处理的；由于售货机中的全部商品都是 5 角钱的，因此就不存在找零的问题了，只要客户“投入5 角”并且按下相应的商品挑选按钮就好了；所以，条件“投 5 角”和结果（中间节点）“钱付清”直接是“恒等”的关系；另外，条件“投5 角”和条件（中间节点）“能够找零钱”都代表金额的运算已经终止，即“钱付清”，因此条件“投 5 角”和条件（中间节点）“能够找零钱”与结果（中间节点）“钱付清”之间是“或”的关系；有零钱红灯亮投1元E投5角应当找V零钱能够找V零钱V找1元找5角选啤酒E选橙汁选商品钱付清VVV出啤酒出橙汁因果图退仍 1 元我们考虑完了投入5 角钱及投入 1 元钱并找零后，最终在考虑一下退仍1 元钱的情形；毫无疑问，当投入1元钱，并且挑选了某种商品的时候，假如当前售货机中没有零钱可找，那么只能退仍用户这1 元钱了；因此，条件“没零钱”和条件“应当找零钱”与结果“找1 元”之间应当是“与”的关系，而且我们的条件中关于零钱是用了确定的描述，即“有零钱”，要想表示没有零钱，直接使用一个“非”关就可以了；有零钱红灯亮投1元E投5角应当找V零钱V能够找V零钱V找1元找5角选啤酒E选橙汁选商品钱付清VVV出啤酒出橙汁判定表去除无效用例合并判定表