第6讲 集成测试-系统测试.ppt

SATM系统 * 上海大学计算机学院 * 欢迎! 请插入ATM卡 现金给付通道 存款信封通道 收据槽 插卡槽 B1 B2 B3 1 2 3 0 4 5 6 7 8 9 取消 SATM终端 SATM系统 * 上海大学计算机学院 * S2 输入PIN “取消” S3 PIN错 请重新输入 S4 PIN无效 您的卡被留下，请联系银行 S1 欢迎! 请插入ATM卡 S5 选择事务类型 余额 存款 取款 取消 SATM屏幕Si SATM系统 * 上海大学计算机学院 * 1. 空闲 3. 事务选择 2. 等待PIN 坏卡/显示S1，退卡 PIN无效/ 显示S4, 显示S1 有效卡/显示S2 PIN正确 / 显示S5 取消/显示S1 B1 B2 B3 SAMT的上层状态机 … … … /显示S1 SATM系统 * 上海大学计算机学院 * 1.空闲 2.1 第1次 输入PIN 3. 事务选择 有效卡/ 显示S2 PIN正确 / 显示S5 PIN输入状态机 2.2 第2次 输入PIN 2.3 第3次 输入PIN PIN正确 / 显示S5 PIN正确 / 显示S5 PIN错或已取消 / 显示S3，再显示S2 卡错 / 显示S1，退卡 PIN错或已取消/ 显示S4, 再显示S1 PIN错或已取消 / 显示S3，再显示S2 寻找线索 * 上海大学计算机学院 * 端口输入事件 有效卡 卡错 PIN正确 PIN错 取消 “PIN输入”中的事件 端口输出事件 显示S1 显示S2 显示S3 显示S4 显示S5 寻找线索 * 上海大学计算机学院 * 2.x.6 按下“取消” 2.x.1 收到0数字 2.x.2 收到1个数字 2.x.3 收到2个数字 2.x.4 收到3个数字 2.x.5 收到4个数字 X7 取消 X8 取消 X9 取消 X10 取消 数字 / 回显“* _ _ _” x1 数字 / 回显“* * _ _” x2 数字 / 回显“* * * _” x3 数字 / 回显“* ** *” x4 PIN正确 x5 PIN错 x6 X11 已取消 “第x次输入PIN”FSM，x?{1, 2, 3} 寻找线索 * 上海大学计算机学院 * 端口输入事件 数字 取消 “第x次输入PIN”中的事件 端口输出事件 回显“* _ _ _” 回显“* * _ _” 回显“* * * _” 回显“* * * *” 寻找线索 * 上海大学计算机学院 * 端口输入 端口输出 屏幕2显示 “_ _ _ _” 按下“1” 回显“* _ _ _” 按下“2” 回显“* * _ _” 按下“3” 回显“* * * _” 按下“4” 回显“* * * *” （PIN正确） 显示屏幕5 “选择事务类型” FSM中的线索为迁移路径，关注输入、输出事件 线索示例1：第一次输入正确PIN（“1234”） 寻找线索 * 上海大学计算机学院 * 端口输入 端口输出 屏幕2显示 “_ _ _ _” 按下“1” 回显“* _ _ _” 按下“2” 回显“* * _ _” 按下“3” 回显“* * * _” 按下“5” 回显“* * * *” （PIN错） 显示屏幕3 “PIN错” 屏幕2显示 “_ _ _ _” 按下“1” 回显“* _ _ _” 按下“2” 回显“* * _ _” 按下“3” 回显“* * * _” 按下“取消” 显示屏幕3 “PIN错” 线索示例2：第三次输入正确PIN 端口输入 端口输出 屏幕2显示 “_ _ _ _” 按下“1” 回显“* _ _ _” 按下“2” 回显“* * _ _” 按下“3” 回显“* * * _” 按下“4” 回显“* * * *” （PIN正确） 显示屏幕5 寻找线索 问题：线索爆炸 * 上海大学计算机学院 * 从1卡输入?事务选择或卡输入：157条路径 b：1条；a.1：1条；a.2.3：5条；a.2.4.5：25条，a.2.4.6：125条 寻找线索 从层次FSM中怎样选择路径？ 自底向上策略 覆盖准则策略 * 上海大学计算机学院 * 寻找线索 自底向上策略 * 上海大学计算机学院 * “第x次输入PIN”中的线索路径 输入事件序列 路径 1234 x1, x2, x3, x4, x5 1235 x1, x2, x3, x4, x6 C x7, x11 1C x1, x8, x11 12C x1, x2, x9, x11 123C x1, x2, x3, x10, x11 寻找线索 自底向上策略 * 上海大学计算机学院 * “PIN输入”FSM中的线索路径 输入事件序列 路径 1234 1 1235 1234 2, 3 1235 C 1234 2, 4, 5 C C C 2, 4, 6 怎样组合为完整线索？ 寻找线