1、单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,*,系统约束条件,归纳以上自然语言描述的系统需求,系统约束条件为:,货物价格:大的巧克力要花费,2,角钱,小的巧克力要花费,1,角钱;,投币孔限制:,2,角投币孔投,2,角钱硬币,,1,角投币孔投,1,角钱硬币;,售货机工作流程限制:买巧克力,从投币孔投一个,1,角或,2,角钱的硬币,然后按大巧克力或小巧克力按扭,接着必须从取货盘处取走巧克力。取货盘只能装一只巧克力,在取货盘处已有一只巧克力时,售货机锁住按扭和两个投币孔,客户不能再次投币;在按了选择巧克力按扭之后,必须从取货盘处取走巧克力,才能再次投币
2、没有按选择巧克力按扭之前,巧克力不能落入取货盘处。,售货机原则:不容许投币之后,出现不能售出相应价值的巧克力;也不能售出多于投币价值的巧克力;不容许投币之后,出现机器不能处理的情况,而需要退还客户的硬币。,售货机内金额限制:在投币达到,4,角钱后,两个投币孔不能再投入任何硬币。,我们设定大的巧克力要花费,2,角钱,小的巧克力要花费,1,角钱,为简化起见,自动售货机的投币孔只能投,2,角或,1,角钱硬币(假设有,2,角钱硬币)。该自动售货机工作流程是:买巧克力,从投币孔投一个,1,角或,2,角钱的硬币开始,客户可以继续投币,但是不能超过,4,角钱,也可以按大巧克力或小巧克力按扭,接着若收集盘中有巧克力则从取货盘处取走巧克力。自动售货机的动作按下列严格的规定:售货机既不会占客户的便宜又不会自己吃亏;在投币达到,4,角钱后,两个投币孔不能再投入任何硬币;取货盘只能装一只巧克力,在取货盘处已有一只巧克力时,售货机锁住两个按扭和投币孔,客户不能再次投币;在按了按扭之后,必须从取货盘处取走巧克力,才能再次投币。,