需求建模工具 — 软件工程选择题

团队要把“订单提交后进入待支付状态；支付成功后进入已支付状态；支付失败则仍处于待支付状态”建成状态模型，并在修改模型后检查状态与迁移关系是否自洽。下列哪种工具最符合这一需求？ A. 支持状态机图编辑及模型一致性检查的建模工具　B. 仅支持需求文本录入与检索的需求管理工具　C. 仅支持缺陷分派与处理状态跟踪的缺陷管理工具　D. 仅支持测试用例执行结果记录的测试管理工具