问答题
一个简化的高铁售票系统的规格说明如下：
●
乘客未使用系统前系统处于“等待”状态，屏幕显示沿线各车站的站名。
●
乘客选择了到达站并按下“购票”键之后，系统进入“待付款”状态，屏幕显示票价，等待乘客付款。
●
如果乘客在限时之内付款，系统进入“出票”状态，打印并吐出相应车票，同时找回余额，然后系统重置回到“等待”状态。
●
如果乘客在限时之内未付款之前按下“取消”键取消购票，系统进入“等待”状态。
●
如果乘客在限时之内没有付款，系统进入“超时”状态，显示“超时”“取消购票”等信息，然后系统重置回到“等待”状态。
● 如果乘客在拿到车票后要求退票，在“等待”状态下按下“退票”键，系统进入“查证”状态。
●
如果查证成功，系统进入“退票”状态。回收车票，退回票款，然后系统重置回到“等待”状态；如果查证不成功，系统进入“警告”状态，屏幕显示“车票无效”信息，然后系统重置回到“等待”状态。
问答题
请根据上述规格说明，画出相应的状态转换图。
【正确答案】[*]
S1：等待 S2：待付款 S3：查证 S4：警告 S5：超时 S6：出票 S7：退票
【答案解析】
问答题
计算该状态转换图的圈复杂度并给出基本测试路径。
【正确答案】边数m=11，结点数n=7，因此圈复杂度V(G)=m-n+2=7
基本测试路径：
① S1→S2→S1
② S1→S2→S5→S1
③ S1→S2→S6→S1
④ S1→S3→S7→S1
⑤ S1→S3→S4→S1
⑥ S1→S2→S6→S1→S3→S7→S1
【答案解析】