下图是一个简单的ATM机中描述验证信用卡PIN活动的有限状态机。其中包含5个用
表示的状态和8个用一表示的转移。转移上的标签所遵循的是：横线上方是引起转移的事件，横线下方是与该转移相关联的行动。该有限状态机允许储户有3次输入PIN的机会，如果3次都输入错误，则停止交易退卡。


请完成下列工作：
确定基本测试路径集。

【参考答案】

上图的环路复杂性度量V(G)为5(区域数或者V(G)=E-N+2)，所以基本路径集合共有5条独立的路径：
S1......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)