问题
问答题
下图是一个简单的ATM机中描述验证信用卡PIN活动的有限状态机。其中包含五个用“
”表示的状态和八个用“→”表示的转移。转移上的标签所遵循的是:横线上方是引起转移的事件,横线下方是与该转移相关联的行动。该有限状态机允许储户有三次输入PIN的机会,如果三次都输入错误,则停止交易退卡。
请完成下列工作:
确定基本测试路径集; |
答案
参考答案:
解析:上图的环路复杂性度量V(G)为5(区域数或者V(G)=E-N+2)。 所以基本路径集合共有5条独立的路径: S1—S1… S1—S2—S5 S1—S2—S3—S4—S1… S1—S2—S3—S5 S1—S2—S3—S4—S5