例题

例题有一个处理单价为1元5角钱的盒装饮料的自动售货机软件。若投入1元5角硬币，按下“可乐”、“雪碧”、“红茶”按钮，相应的饮料就送出来。若投入的是两元硬币，在送出饮料的同时退还5角硬币。分析原因：①投入1元5角硬币；②投入2元硬币；③按“可乐”按钮；④按“雪碧”按钮；⑤按“红茶”按钮。中间状态：①已投币；②已按钮。结果：①退还5角硬币；②送出“可乐”饮料③送出“雪碧”饮料；④送出“红茶”饮料。导出判定表