问答题
下图是一个简单的ATM机中描述验证信用卡PIN活动的有限状态机。其中包含5个用
表示的状态和8个用一表示的转移。转移上的标签所遵循的是：横线上方是引起转移的事件，横线下方是与该转移相关联的行动。该有限状态机允许储户有3次输入PIN的机会，如果3次都输入错误，则停止交易退卡。
表示的状态和8个用一表示的转移。转移上的标签所遵循的是：横线上方是引起转移的事件，横线下方是与该转移相关联的行动。该有限状态机允许储户有3次输入PIN的机会，如果3次都输入错误，则停止交易退卡。
问答题
请给出与此有限状态机等价的控制流图。
【正确答案】把有限状态自动机图的状态用节点代替，迁移用弧线代替，则可画出相应的控制流图。
[*]
[*]
【答案解析】
问答题
确定基本测试路径集。
【正确答案】上图的环路复杂性度量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
S1-S1...
S1-S2-S5
S1-S2-S3-S4-S1...
S1-S2-S3-S5
S1-S2-S3-S4-S5
【答案解析】
问答题
设计测试用例以覆盖基本测试路径。
【正确答案】为每一条独立路径各设计一组测试用例，以便强迫程序沿着该路径至少执行一次。
①插入无效卡。
②插入有效卡一正确输入PIN码——按下事物选择按钮。
③插入有效卡一第一次错误输入PIN码一第二次错误输入PIN码一第三次错误输入PIN码。
④插入有效卡一第一次错误输入PIN码一第二次正确输入PIN码一按下事物选择按钮。
⑤插入有效卡一第一次错误输入PIN码一第二次错误输入PIN码一第三次正确输入PIN码——按下事物选择按钮。
①插入无效卡。
②插入有效卡一正确输入PIN码——按下事物选择按钮。
③插入有效卡一第一次错误输入PIN码一第二次错误输入PIN码一第三次错误输入PIN码。
④插入有效卡一第一次错误输入PIN码一第二次正确输入PIN码一按下事物选择按钮。
⑤插入有效卡一第一次错误输入PIN码一第二次错误输入PIN码一第三次正确输入PIN码——按下事物选择按钮。
【答案解析】