状态:只定义了初始路径;Р前提条件:Student进入图书馆到达预约机旁;Р成功后件:系统显示该座位已经被占座,目前不可预约,红外感应指示灯为红色;并且开始进行15分钟及时操作;Р主路径:Student到达预约机旁,登陆预约机进行预约;Р可选路径:无;Р例外路径:无;Р用例名称: 不通过预约机到达座位Р用例目标: 当Student来到图书馆选择不通过预约机预约,而直接进入座位区时,用例开始。当Student来到座位区时,用例结束;Р级别: 子方式Р参与者:同学(Student)Р状态:只定义了初始路径Р前提条件:Student进入图书馆;Р成功后件: 没有进行预约机预约;Р主路径: Student进入图书馆,直接进入想要就坐的阅览区域;Р可选路径:在图书馆已经入座后,取消座位(正常离开),到达另外座位位置;Р例外路径:用户来到预约机旁,多次输入用户密码失败,改换为主路径起始点;Р用例名称: 恶意离座Р用例目标: 当Student没有刷卡,离开座位时,用例开始;红外感应器开始计时;1分钟后,用例结束;Р级别: 子方式Р参与者: 同学(Student)Р状态: 路径定义完成Р前提条件: 该Student已经成功入座;Р成功后件: 该座位指示灯熄灭,显示位置可坐,预约系统显示可预约;Р主路径:成功入座,不刷卡离开座位;Р可选路径: 无;Р例外路径:无;Р用例名称: 刷卡暂离Р用例目标: 当Student由于需要暂时离开,将一卡通在红外感应器上刷卡感应,用例开始。感应器记录暂离信息。当感应器感应到Student一卡通信息时,用例结束; Р级别: 子方式Р参与者: 同学(Student)Р状态: 路径定义完成Р前提条件: 该Student已经成功入座;Р成功后件: 该座位指示灯显示为红色,并且开始进行15分钟计时;Р主路径: 成功入座,刷卡离开座位;Р可选路径: 无;Р例外路径:无;