饮料自动售货机（装有加热装置）

论述题2：以下是一个自动饮料售货机软件的操作规格说明，请按要求回答问题

设要对一个自动饮料售货机软件进行黑盒测试。该软件的规格说明如下：

有一个处理单价为1元5角钱的盒装饮料的自动售货机软件。若投入1元5角硬币，按下“可乐”、“雪碧”或“红茶”按钮，相应的饮料就送出来。若投入的是2元硬币，在送出饮料的同时退还5角硬币。”

(1)试利用因果图法，建立该软件的因果图

(2)设计测试该软件的全部测试用例

A.A.资金流

B.B.事务流

C.C.信息流

A、资金流

B、事务流

C、数据流

D、信息流

针对本案例结合所学法律知识，回答下列问题：

（1）分析本案中合同订立过程的两个阶段。

（2）本案中马腾飞是否取得饮料的所有权？说明理由。

试题三（共15分）

阅读下列说明，回答问题1至问题3，将解答填入答题纸的对应栏内。

【说明】

某种出售罐装饮料的自动售货机．（Vending Machine）的工作过程描述如下：

（l）顾客选择所需购买的饮料及数量。

（2）顾客从投币口向自动售货机中投入硬币（该自动售货机只接收硬币）。硬币器收集投入的硬币并计算其对应的价值。如果所投入的硬币足够购买所需数量的这种饮料且饮料数量足够，则推出饮料，计算找零，顾客取走饮料和找回的硬币；如果投入的硬币不够或者所选购的饮料数量不足，则提示用户继续投入硬币或重新选择饮料及数量。

（3）一次购买结束之后，将硬币器中的硬币移走（清空硬币器），等待下一次交易。自动售货机还设有一个退币按钮，用于退还顾客所投入的硬币。已经成功购买饮料的

钱是不会被退回的。

现采用面向对象方法分析和设计该自动售货机的软件系统，得到如图3-1所示的用例图，其中，用例“购买饮料”的用例规约描述如下。

参与者：顾客。

主要事件流：

1．顾客选择需要购买的饮料和数量，投入硬币；

2．自动售货机检查顾客是否投入足够的硬币；

3．自动售货机检查饮料信存仓中所选购的饮料是否足够；

4．自动售货机推出饮料；

5．自动售货机返回找零。

各选事件流：

2a．若投入的硬币不足，则给出提示并退回到1；

3a．若所选购的饮料数量不足j？则给出提示并退回到1 。

根据用例“购买饮料”得到自动售货机的4个状态：“空闲”状态、“准备服务”状态、“可购买”状态以及“饮料出售”状态，对应的状态图如图3-2所示。

所设计的类图如图3-3所示。

【问题1】（6分）

根据说明中的描述，使用说明中的术语，给出图3-2中的S1～S4所对应的状态名。

【问题2】（4分）

根据说明中的描述，使用说明中的术语，给出图3-2中的E1～E4所对应的事件名。

【问题3】（5分）

根据说明中的描述，使用说明中的术语，给出图3-3中CI～C5所对应的类名。

A.这个行为没有前事，只有结果是晨晨喝到了饮料

B.这个行为的前事是程晨感到口渴了，想喝饮料

C.这不是行为，仅仅是晨晨个人动作而已

D.行为的前事是售货机出现在视线内

针对本案例结合所学法律知识，回答下列问题：

（1）分析本案中合同订立过程的两个阶段。

（2）本案中马腾飞是

有一个处理单价为5角钱的饮料自动售货机软件，其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。 （1） 分析软件规格说明，列出原因和结果。 （2） 画出因果图。 （3） 列出简化后的判定表