问题
问答题
下图是一个简单的ATM机中描述验证信用卡PIN活动的有限状态机。其中包含五个用“
”表示的状态和八个用“→”表示的转移。转移上的标签所遵循的是：横线上方是引起转移的事件，横线下方是与该转移相关联的行动。该有限状态机允许储户有三次输入PIN的机会，如果三次都输入错误，则停止交易退卡。
请完成下列工作：
设计测试用例以覆盖基本测试路径。
答案
参考答案：
为每一条独立路径个设计一组测试用例，以便强迫程序沿着该路径至少执行一次
①插入无效卡
②插入有效卡——正确输入PIN码——按下事务选择按钮
③插入有效卡——第一次错误输入PIN码——第二次错误输入PIN码——第三次错误输入PIN码
④插入有效卡——第一次错误输入PIN码——第二次正确输入PIN码——按下事务选择按钮
⑤插入有效卡——第一次错误输入PIN码——第二次错误输入PIN码——第三次正确输入PIN码——按下事务选择按钮