案例分析4： 有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。 其规格说明如下： 若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。 若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来； 若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。