软件工程设计 自动饮料售货机 测试