实验04.使用基本路径测试法求解“自动售货机”问题

命题有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。

其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。

若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。

分析根据该命题，我们可以分析出，自动售货机的业务中一共存在5个条件和5个结果，分别是： 条件：1.售货机有零钱找2.投入1元硬币3.投入5角硬币4.押下橙汁按钮5.押下啤酒按钮 结果：1.售货机〖零钱找完〗灯亮 当售货机中没有零钱的时候就有亮红灯2.退还1元硬币 当投入1元，而且售货机中没有零钱可找的时候3.退还5角硬币 当投入1元，而且售货机中有零钱可找的时候4.送出橙汁饮料5.送出啤酒饮料因果图－画条件和结果有零钱选橙汁选啤酒投5角投1元红灯亮出橙汁出啤酒找5角找1元因果图－画简单关系在画完空白的条件和结果之后，我们可以将题目中最直接和简单的因果条件标出1、条件“有零钱”和结果“红灯亮”是一个“非”的关系，当“有零钱”的时候，红灯是不亮的，而当售货机中“没有零钱”的时候，红灯必须要亮的。

2、条件“投1元”和条件“投5角”是一个“E ”的关系，这两个动作不可能同时发生，即同时投入1元钱和5角钱（不能同时为真）；但是我们允许即“不投入1元钱”也“不投入5角钱”（可以同时为假）。

3、条件“选啤酒”和条件“选橙汁”是一个“E ”的关系，这两个动作不可能同时发生，即同时“选择啤酒”和“选择橙汁”（不能同时为真）；但是我们允许即“不选择啤酒”也“不选择橙汁”（可以同时为假）。

4、条件“选啤酒”和条件“选橙汁”对于程序处理过程是等价的，即二者无论是价格还是系统的处理方法都是相同的，因此这两个条件可以合并为一个中间节点。

而且这两个条件之间使用“或”的关系。

5、注意，条件“投1元”和条件“投5角”不是等价关系，表面上看，他们都是“钱”，好像差不多，但是对于程序的处理过程确实完全不同的，“投5角”后完全不用判断当前售货机中是否有零钱（因为题目中规定所有的商品都是5角钱），而“投1元”就不行了。

《软件测试技术》实验指导书实验1、自由测试实验目的1. 理解软件测试的概念。

2. 提高反向思维的能力。

二、实验任务针对某产品Beta 的版本，对照其竞争对手的产品，进行测试，以发现该软件产品 潜在的任何问题，记录下来。

Discuz! X beta 对比 PHPWi nd实验2、黑盒测试方法：等价类划分法+边界值分析方法、实验目的1. 掌握等价类、有效等价类、无效等价类、边界值等概念。

2. 掌握边界值分析法、等价类划分法的测试用例设计方法。

3. 能够将这两种方法结合起来，灵活运用二、实验任务以下三个任务、至少完成一个1、对三角问题综合运用边界值分析方法、等价类划分方法设计测试用例。

三角形问题：void Triangle (int a, int b, int c) 函数规定输入三个整数 a 、b 、c 分别作为三边的边长构成三角形。

通过程序判定所构成的三角形的类型(等边三角形、等腰三角形、一般三角形、构不成三角形)，并在屏幕上输出。

1<=a,b,c<=200实验步骤：①划分等价类，得到等价类表。

等价类表格式如下：②综合运用这两种方法设测试用例，得到测试用例表:③ 综合运用这两种方法设测试用例，得到测试用例表:④ 根据上述测试用例表，能否进行优化，获得最小测试用例集合：2、对于找零钱最佳组合问题运用边界值分析法设计测试用例。

实验步骤：①分析边界值。

②运用健壮性边界条件法设计测试用例，得到测试用例表（测试用例表格式同实验1）。

③执行测试，填写软件缺陷报告（软件缺陷报告格式同实验1）。

3、现有一个程序int CheckTel（char *rc, char *n）执行电话号码有效性检查功能，中国的固定电话号码由两部分组成。

这两部分的名称和内容分别是：地区码（rc）:以0开头的三位或者四位数字（包括0）。

电话号码（n）:以非0、非1开头的七位或者八位数字。

对该程序进行边界值分析，然后进行等价类划分，分别运用边界值条件、等价类划分的结果来设计测试用例，并尽可能优化所设计的测试用例。

基本路径测试法的步骤嘿，朋友们！今天咱来聊聊基本路径测试法。

这就好比你要去一个陌生的地方探险，得有个靠谱的路线图才行呀！基本路径测试法呢，就是帮你找到软件里那些关键的路径。

你想想看，软件就像一个大大的迷宫，里面有好多好多的路，你要是随便乱走，那可就晕头转向啦！但有了基本路径测试法，就像有了指南针一样。

咱先得把软件的各个模块呀、功能呀都搞清楚，这就像你得知道迷宫里都有哪些房间一样。

然后呢，找出那些最重要的流程，这就是你要走的主要道路啦。

比如说，一个购物软件，从挑选商品到下单付款，这就是一条关键路径呀。

接下来，可不能马虎，得仔细地沿着这些路径走一走，看看会不会有什么问题。

就像你走在路上，得留意有没有坑洼呀，有没有绊脚石呀。

如果有，那可得赶紧标记出来，让开发人员去修好。

有时候啊，你还得变着法儿地走。

比如故意走一些不太正常的路，看看软件能不能应对。

这就好像你在迷宫里突然想绕个弯，看看会不会有新发现。

要是软件在这些奇怪的情况下也能正常工作，那才叫厉害呢！再说说这测试的过程，可不能马马虎虎。

要像侦探一样，不放过任何一个小细节。

一个小按钮没反应，那可不行；一个页面显示不正常，那也不行。

这都得找出来解决掉呀！不然用户用起来得多别扭呀。

而且呀，基本路径测试法可不是一次性的事儿。

就像你家的东西时不时要检查检查一样，软件也得经常用这个方法来测一测。

万一有新的功能加进去了，那可得重新找找新的路径，再好好测试一番。

你说，要是没有基本路径测试法，那软件不就乱套啦？用户用着用着就出错，那多糟糕呀！所以呀，这个方法可太重要啦！咱可得好好重视，让软件变得稳稳当当的，让用户用得开开心心的，对不对？总之呢，基本路径测试法就像是软件的保护神，有了它，软件才能更好地为我们服务呀！咱可不能小瞧了它哟！。

自动售货机的设计一.实验内容：本自动售货机系统，结合EDA技术，采用ALTERA公司可编程逻辑器件（CPLD）EPM7128SLC84-15芯片作为控制核心，再配以必要的外围电路从而实现只销售两种饮料，售价均为15元，可以找零和退币等功能的EDA应用系统。

芯片的设计是以MAX_PLUS II 作为开发平台，VHDL语言作为开发语言，使用掌宇公司CIC_310 CPLD/FPGA数字开发系统完成软件测试。

自己制作下载板与外围电路。

二.实验分析：本自动售货机只销售两种罐装饮料。

售价均为15元。

顾客可以由两个不同投币孔分别投入3个5元硬币或2个10元硬币。

一次交易只能买一罐，且自动找零。

只要按下取消键就会马上无条件退币。

本设计的硬件电路用2个按键电路代替2个投币孔，以LED点亮的数量显示各币种的投入数量，在以4Hz闪烁的LED来显示退币种类与数量。

因为投币是计次电路，应先经过抖动消除电路处理。

本设计采用1000Hz的系统时钟信号来控制所有买卖行为。

系统中设计的复位键为管理人员所用，并未在用户界面中设计。

三.系统设计流程图：四.自动售货机外观图：（为指示灯）五.电路原理图六.PCB图：根据PROTEL99画的系统原理图，成生PCB图。

然后进行布局与布线。

注意：布线时将晶振这种易产生噪声的器件的输出端与芯片时钟输入端的连线尽量布为直线；将电源与地线的宽度定为30mil到100mil之间。

本系统的电流不是很大，所以不用将板子的两面分别布成电源与地。

七.系统实物图：八.软件系统框图九.源程序：1.产生系统频率和退币信号电路首先要根据硬件电路的晶振频率确定分频系数，先产生系统频率，在进一步分频产生退币信号。

由于掌宇公司的开发系统上的晶振频率为20MHz，所以要分频系数分别为20000（COUNT）和250(COUNT1)。

（注：由于在自制的下载板上使用了1MHz的有源晶振，所以把程序中的COUNT的范围改为0到1000即可。

自动售货机实验报告自动售货机实验报告引言：自动售货机是一种现代化的商业销售设备，它通过自动化技术实现商品销售和支付功能，为消费者提供了便利和选择。

本实验旨在探究自动售货机的工作原理、销售模式以及对消费者行为的影响。

一、自动售货机的工作原理自动售货机通过内部的电子系统和机械结构实现商品的储存、选择、售卖和支付等功能。

其工作原理主要包括以下几个步骤：1. 商品储存：自动售货机内部设置有多个货道，每个货道可以储存一种商品。

商品通过传送带或弹簧等装置储存在货道中，保持整齐有序。

2. 商品选择：消费者通过触摸屏或按键选择所需商品。

自动售货机内部的电子系统会根据消费者的选择信号，控制相应货道的开关门，将商品送至取货口。

3. 商品售卖：当消费者选择的商品位于取货口时，自动售货机会打开门，消费者可以取走商品。

部分自动售货机还配备了自动找零功能，方便消费者支付。

4. 支付方式：自动售货机通常支持多种支付方式，如硬币、纸币、银行卡、移动支付等。

消费者可以根据自己的需求选择适合的支付方式。

二、自动售货机的销售模式自动售货机的销售模式主要分为自动售卖和自助选购两种。

1. 自动售卖：在这种模式下，自动售货机会事先设定好商品的价格，并通过内部的计算机系统实时监测库存和销售情况。

当商品售罄或库存不足时，自动售货机会停止销售并显示相应信息。

这种模式适用于一些固定价格和库存较少的商品，如饮料、零食等。

2. 自助选购：在这种模式下，自动售货机提供了更多的选择和定制化服务。

消费者可以根据自己的需求选择商品的种类、数量和价格等，并通过自动售货机完成支付。

这种模式适用于一些需要个性化定制的商品，如鲜花、礼品等。

三、自动售货机对消费者行为的影响自动售货机的出现改变了传统的购物方式，对消费者行为产生了一定的影响。

1. 购物便利性：自动售货机的24小时不间断运营，为消费者提供了更加便捷的购物体验。

消费者可以在任何时间和地点购买所需商品，无需排队等待。

实验项目名称：有限状态机指导教师：实验日期：实验概述：【实验目的及实验设备】实验目的：(1)掌握有限状态机的应用方法。

(2)掌握有限状态机的静态测试方法，能够进行程序设计。

(3)学习测试模块的编写,综合和不同层次的仿真。

(4)用有限状态机设计一个自动售货机（饮料价格为2.5元）。

实验设备及仪器名称：CPU型号:英特尔*****************************操作系统类型:Windows XP SP3仿真软件:MAX Plus 2软件、Modelsim SE-64 10.0c实验内容及步骤：【实验原理及电路图】系统能够根据用户输入的硬币，判断钱币是否足够，当所投硬币达到或者超过购买者所选面值时，则根据顾客的要求自动售货，并找回剩余的硬币，然后回到初始状态，当所投硬币面值不够时，则给出提示，并通过一个复位键退回所投硬币。

然后回到初始状态。

该实验输入有4个clk，reset，表示投一元币y，表示投五角币w。

输出有2个，表示饮料出现的out和找五角钱的w_out.该实验共5个状态，s0:表示投币为0的状态，s1：表示投入5角的，s2：表示投入1元，s3：表示投入1.5元，s4：表示投入2元。

当投入2.5时out输出1，状态回到s0，当投入3元时out 和w_out都输出1，状态回到s0.【实验方案】（实验步骤，记录）1、打开Modelsim SE-64 10.0c软件。

else beginout=0;w_out=0;s=s4;endendcaseendendmodule测试程序：module shou;wire y;reg w;reg reset;reg clk;paramerer clkperiod=100;shouhuoji shou(y,w,reset,clk)initial beginw=0;clk=0;reset=1;#150 reset=0;#100 reset=1;endalways#(clkperiod/2) clk=~clk;always#(clkperiod+30) $random;initial $monitor(Stime, “y=%b”,y);endmodule3、编译并调试程序，出现错误立即修改直至无错误出现。

软件课程设计实验报告课题：自动售货机班级：电信作者：学号：课程设计实验报告第一部分程序代码 (7)第二部分软件设计文档 (15)一、软件需求说明书 (15)1引言 (15)1.1编写目的 (15)1.2背景 (15)1.3定义 (15)1.4参考资料 (16)2任务概述 (16)2.1目标 (16)2.2用户的特点 (16)2.3假定和约束 (16)3需求规定 (16)3.1对功能的规定 (17)3.2对性能的规定 (17)3.3输人输出要求 (18)3.4数据管理能力要求 (18)3.5故障处理要求 (18)3.6其他专门要求 (19)4运行环境规定 (19)4.1设备 (19)4.2支持软件 (19)4.3接口 (19)4.4控制 (19)二、概要设计说明书 (20)1引言 (20)1.1编写目的 (20)1.2背景 (20)1.3定义 (20)1.4参考资料 (20)2 需求说明 (21)2.1需求规定 (21)2.2运行环境 (21)2.3基本设计概念和处理流程 (21)2.5功能器求与程序的关系 (22)2.6人工处理过程 (23)2.7尚未解决的问题 (23)3接口设计 (23)3.1用户接口 (23)3.2外部接口 (23)3.3内部接口 (23)4运行设计 (23)4.1运行模块组合 (23)4.2运行控制 (24)4.3运行时间 (24)5系统数据结构设计 (24)5.1逻辑结构设计要点 (24)5.2物理结构设计要点 (24)5.3数据结构与程序的关系 (24)6系统出错处理设计 (25)6.1出错信息 (25)6.2补救措施 (25)三、详细设计说明 (26)1引言 (26)1.1编写目的 (26)1.2背景 (26)1.3定义 (26)1.4参考资料 (26)2程序系统的结构 (27)3投币模块 (27)3.1程序描述 (27)3.2功能 (27)3.3性能 (27)3.4输入项 (28)3.5输出项 (28)3.6算法 (28)3.7流程逻辑 (28)3.8接口 (28)3.9存储分配 (29)3.10注释设计 (29)3.11限制条件 (29)3.12测试计划 (29)4退币模块 (30)4.1程序描述 (30)4.2功能 (30)4.3性能 (30)4.4输入项 (30)4.5输出项 (30)4.6算法 (30)4.7流程逻辑 (31)4.8接口 (31)4.9存储分配 (31)4.10注释设计 (31)4.11限制条件 (32)4.12测试计划 (32)4.13尚未解决的问题 (32)5取货模块 (32)5.1程序描述 (32)5.2功能 (32)5.3性能 (32)5.4输入项 (32)5.5输出项 (33)5.6算法 (33)5.7流程逻辑 (33)5.8接口 (33)5.9存储分配 (34)5.10注释设计 (34)5.11限制条件 (34)5.12测试计划 (34)5.13尚未解决的问题 (34)6购买模块 (35)6.1程序描述 (35)6.2功能 (35)6.3性能 (35)6.4输入项 (35)6.5输出项 (35)6.6算法 (36)6.7流程逻辑 (36)6.8接口 (37)6.10注释设计 (38)6.11限制条件 (38)6.12测试计划 (38)6.13尚未解决的问题 (38)四、测试分析报告 (39)1引言 (39)1.1编写目的 (39)1.2背景 (39)1.3定义 (39)1.4参考资料 (39)2测试概要 (39)3测试结果及发现 (40)3.1测试1（启动系统） (40)3.2测试2（退出系统） (42)3.3测试3（货品展示） (42)3.4测试4（投币购买） (42).5测试5（取出物品） (43)3.6测试6（找零） (44)3.7测试7（退币） (44)3.8测试8（报错） (45)4对软件功能的结论 (45)4.1功能 (45)4.2能力 (46)4.3限制 (46)5分析摘要 (46)5.1能力 (46)5.2缺陷和限制 (46)5.3建议 (46)5.4评价 (47)6测试资源消耗 (47)五、项目开发总结报告 (48)1引言 (48)1.1编写目的 (48)1.2背景 (48)1.3定义 (48)1.4参考资料 (48)2实际开发结果 (49)2.1产品 (49)2.2主要功能和性能 (50)2.3基本流程 (50)2.4进度 (50)3开发工作评价 (52)3.1对生产效率的评价 (52)3.2对产品质量的评价 (52)3.3对技术方法的评价 (52)3.4出错原因的分析 (52)4经验与教训 (53)第一部分程序代码//引入awt、swing包import java.awt.*;import java.awt.event.*;import javax.swing.*;import javax.swing.border.*;//类Seller的定义，用于实现所有的功能public class Seller extends JFrame implements ActionListener{private static final long serialVersionUID = 6843588200041215448L;private double money = 0.0;//"money"表示用户余额private boolean occupy; //"occupy=false"表示出货口未满，用户可以购买；//"occupy=true"表示出货口已满，用户必须取完货才能继续购买。

实验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.完整填写以下表格：5.编写JUnit测试用例，并运行程序，保证所有测试用例通过测试；6.使用EclEmma检测测试用例覆盖率，保证覆盖率达到100%。

四、实验结果检查与评定●提交时间：2013年4月24日之前/2013年5月1日22:00之前●提交地址：学习委员邮箱●文档命名方式：12软件专升本X班_0907052XXX_张三_实验04.doc实验报告实验序号：实验项目名称：附录问题描述自动售货机程序：●若投入5角钱或1元钱的硬币，按下“橙汁”或“啤酒”按钮，则相应的饮料就送出来；●若售货机没有零钱找，则显示“零钱找完”的红灯亮，这是再投入一元硬币并按下按钮后，饮料不送出来而且1元硬币也退出来；●若有零钱找，则显示“零钱找完”的红灯灭，在送出饮料的同时退还5角硬币。

程序流程图实验源代码（有缺陷的源代码）public class Sale Mac hine {priv ate in t c ount OfB eer, c o untO fOr ang eJu ice, co unt OfF i veCe nts, c oun tOfO neD oll ar;priv ate St rin g[] typ eOf Goo d s = {"B eer", "Ora nge Jui ce"};priv ate St rin g re sul tOf Dea l;publ ic Sal eMa chin e(){init ial();}publ ic voi d i niti al(){coun tOfBee r = 6;coun tOfOra nge Juic e = 6;coun tOfFiv eCe nts= 6;coun tOfOne Dol lar = 6;}publ ic Sal eMa chin e(i nt fiv e Cent s, int on eDol lar, i nt n umOf Bee r, int num OfO ran ge) //便于测试的初始化函数{coun tOfFiv eCe nts= f ive Cen t s;coun tOfOne Dol lar = o neD oll a r;countOf Bee r = num OfB eer;coun tOfOra nge Juic e = nu mOf O rang e;}publ ic Str ing cur ren tSt ate(){Stri ng sta te = "C urr ent St a te\n" +"Be er: "+ c oun tOf Bee r +"\n"+"Or ang e J uic e: " +co unt Of Oran geJ uic e +"\n" +"5 Cen ts: "+ c oun tOf Fiv eC ents + "\n" +"1 Dol lar: " + cou ntO fOn eD olla r;retu rn sta te;}publ ic Str ing ope rat ion(St r ing typ e, Str ing mon ey)//ty pe是用户选择的产品，m one y是用户投币种类{if(m oney.e qua lsIg nor eCa se("5C")) //如果用户投入5角钱{if(t ype.eq ual s(ty peO fGo ods[0]))//如果用户选择啤酒{if(c oun tOf Bee r>0)//如果还有啤酒{coun tOf Bee r--;coun tOf Fiv eCe nts++;resu ltO fDe al= "I npu t I nfo r mati on \n" +"Ty pe: Be er; Mo ney: 5 Ce nt s; C han ge: 0\n\n" + currentSta te();retu rn res ult OfDe al;}else{resu ltO fDe al= "F ail ure In f orma tio n \n"+ "B eer Sh ort a ge";retu rn res ult OfDe al;}}else if (t ype.equ als(ty peO f Good s[1]))//用户选择橙汁{if(c oun tOf Ora ngeJ uic e > 0){coun tOf Ora nge Juic e--;coun tOf Fiv eCe nts++;resu ltO fDe al= "I npu t I nfo r mati on \n" +"Ty pe: Or ang eJu ice; M one y: 5 C ent s; Cha nge: 0\n\n" + currentSta te();retu rn res ult OfDe al;}else{resu ltO fDe al= "F ail ure In f orma tio n \n"+ "T ype Er ror";retu rn res ult OfDe al;}}else{resu ltO fDe al= "F ail ure In f orma tio n \n"+ "T ype Er ror";retu rn res ult OfDe al;}}else if(mo ney.equ als Ign ore C ase("1D"))//如果用户投入一元钱{if(c oun tOf Fiv eCen ts>0) //如果用户投入一元钱{if(c oun tOf Fiv eCen ts> 0) //如果用户有零钱{if(t ype.eq ual s(ty peO fGo ods[0])&&co unt OfB eer>0)//如果用户选择啤酒而且还有啤酒{coun tOf Bee r--;coun tOf Fiv eCe nts--;coun tOf One Dol lar++;resu ltO fDe al= "I npu t I nfo r mati on \n" +"yp e: Bee r; M one y: 1 Do lla r; Ch ang e: 5 Ce nts\n\n"+ currentSta te();retu rn res ult OfDe al;}else if (t ype.equ als(ty peO f Good s[1]))//如果用户选择橙汁而且还有橙汁{coun tOf Ora nge Juic e --;coun tOf Fiv eCe nts--;coun tOf One Dol lar ++;resu ltO fDe al= "I npu t I nfo r mati on: \n" +"Ty pe: Or ang eJu ice; M one y: 1 D oll ar; Ch ange: 5 Cents\n\n" + curr ent Sta te();retu rn res ult OfDe al;}else{if(t ype.eq ual s(ty peO fGo ods[0])&&co unt OfO rang eJu ice<=0){resu ltO fDe al= "F ail ue Inf o rmat ion \n" +"Be er Sho rta g e";retu rn res ult OfDe al;}else if(ty pe.equa ls(typ eOf G oods[1])&&cou ntOf Ora nge Jui c e<=0){resu ltO fDe al= "Fai lur e Info r mati on \n"+"O ran geJ uice S hor tage";retu rn res ult OfDe al;}else{resu ltO fDe al= "F ail ure In f orma tio n \n"+ "T ype Er ror";retu rn res ult OfDe al;}}}else{resu ltO fDe al= "F ail ure In f orma tio n \n"+ "C han ge Sho r tage";retu rn res ult OfDe al;}}else{resu ltO fDe al= "F ail ure In f orma tio n \n"+ "M one y E rro r";retu rn res ult OfDe al;}}resu ltOfDe al = "F ail ure In f orma tio n \n"+ "M one y E rro r";retu rn res ult OfDe al;}}测试用例示例代码：import static org.junit.Assert.*;import org.junit.Before;import org.junit.Test;public class SaleMachineTest {SaleMachine saleMachine = new SaleMachine();@Beforepublic void setUp() throws Exception {}@Testpublic void testOperation1() {String expectedResult = "Input Information \n" +"Type: OrangeJuice; Money: 5 Cents; Change: 0\n\n" +"Current State\n" +"Beer: 6\n" +"Orange Juice: 5\n" +"5 Cents: 7\n" +"1 Dollar: 6";assertEquals(expectedResult,saleMachine.operation("OrangeJuice", "5C"));}}。

题目：有一个处理单价为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元硬币，售货机“零钱找完”灯亮。

数字电路综合实验报告之简易自动售货机班级:姓名:班内序号:学号:日期:目录一、任务要求................................................................................ 错误！未定义书签。

二、系统设计 (4)1.结构框图 (4)2流程图 (5)三、波形分析及波形仿真 (6)⒈主程序 (8)⒉分频模块 (13)⒊防抖模块................................................................................................................ 错误！未定义书签。

⒋点阵模块................................................................................................................ 错误！未定义书签。

⒌译码模块................................................................................................................ 错误！未定义书签。

⒍中心模块................................................................................................................ 错误！未定义书签。

五、功能说明及资源利用情况 ....................................................... 错误！未定义书签。

1.功能说明.................................................................................................................... 错误！未定义书签。