一个简化的高铁售票系统的规格说明如下:
●乘客未使用系统前系统处于“等待”状态,屏幕显示沿线各车站的站名。
●乘客选择了到达站并按下[购票]键之后,系统进入“待付款”状态,屏幕显示票价,等待乘客付款。
●如果乘客在限时之内付款,系统进入“出票”状态,打印并吐出相应车票,同时找回余额,然后系统重置回到“等待”状态。
●如果乘客在限时之内未付款之前按下[取消]键取消购票,系统进入“等待”状态。
●如果乘客在限时之内没有付款,系统进入“超时”状态,显示“超时”“取消购票”等信息,然后系统重置回到“等待”状态。
●如果乘客在拿到车票后要求退票,在“等待”状态下按下[退票]键,系统进入“查证”状态。
●如果查证成功,系统进入“退票”状态。回收车票,退回票款,然后系统重置回到“等待”状态;如果查证不成功,系统进入“警告”状态,屏幕显示“车票无效”信息,然后系统重置回到“等待”状态。
计算该状态转换图的圈复杂度并给出基本测试路径。