基于模型的测试 — 软件工程选择题
题目
某会议室预约系统的状态机含状态：I（空闲）、R（已预约）、U（使用中）、F（故障）。转移为：t1: I→R（预约成功）；t2: R→I（取消预约）；t3: R→U（签到使用）；t4: U→I（使用结束）；t5: U→F（检测故障）；t6: F→I（维修完成）。现从 I 开始执行测试序列：I→R→U→F→I→R→I。若要求达到全迁移覆盖（每条转移至少执行一次），在测试可继续从当前状态执行的前提下，至少还需增加多少条转移操作？
A. 2
B. 3
C. 4
D. 5