以下状态机描述了自动饮料售货机(如售卖软饮料、咖啡或零食的机器)行为。它描述了机器与购物者之间的功能交互。使用者可打开自动销货机的电源,选择饮料;当投入的钱币数量不足时,自动售货机可能提示要求购物者投入更多的钱币。下图的这个模型在自动饮料销货机的基于模型的测试中将使用。评审者针对此模型提出 4条意见,你认为以下哪条意见是正确的?( )A.在选择好饮料和投入不足的钱币后,此模型不要求返还钱币。B.在选择好饮料后,使用者总是投入大量的钱币而不能获得选择的饮料。C.在选择好饮料并且支付了以后,使用者无法从销售中拿到饮料。D.在选择了饮料之后,取消了选择,使用者不得不打开销售机的电源然后重新关闭。(提示:使用基于状态迁移的模型语言,针对一个测试对象和预定义的测试目标,开发一个简单的MBT模 型。“简单”含义是少于15个模型元素)