测试用例设计在面向对象中的应用 — 软件工程选择题
题目
某订单类 Order 的状态图中，状态有：已创建、已支付、已发货、已签收、已取消。合法转换仅有：已创建→已支付（事件 pay）、已支付→已发货（事件 ship）、已发货→已签收（事件 sign）、已创建→已取消（事件 cancel）、已支付→已取消（事件 cancel）。基于该状态模型设计测试用例时，下列哪个事件序列不可能全部通过验证？
A. pay, ship, sign
B. cancel
C. pay, cancel
D. ship, pay, sign