以下状态机描述了自动饮料售货机（如售卖软饮料、咖啡或零食的机器）行为。它描述了机器与购物者之间

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

A、选A正确。在cancel 事件中遗漏了/return money 的动作。

B、选B错误。只要“[enough money]”为真，自动售货机立即释放选择的饮料。

C、选C错误。在状态”finish”后有一个离开的迁移，该迁移的触发事件为“take beverage”。

D、选D错误。使用者可以选择一种饮料。