第5讲基于状态的测试.ppt

基于状态图的测试 TS4：Sb·T1·S1·T2·S2·T3·S2·T3·S2·T4·S3 测试场景4 基于状态图的测试 由测试场景产生测试用例 在需要输入数据的步骤输入一系列各不相同的测试值，来检验在各种情况下系统是否满足需求 示例 账号 PIN 帐户余额 977764435433543 452765 $5760 977763436571288 332456 $355.56 基于状态图的测试 测试用例 输入 输出（系统响应） TC1 欢迎界面 插卡 要求用户输入PIN PIN 要求用户选择服务 选择“取款”事务 要求用户输入取款金额 无效取款额 提示输入无效，要求重新输入 有效取款额 询问是否继续其他交易 选择“不继续” 回到欢迎界面 示例—场景1 测试用例模板 基于状态图的测试 测试用例 输入 输出说明 TC1 欢迎界面 插卡 要求用户输入PIN 452765 要求用户选择服务 选择“取款”服务 要求用户输入取款金额 0 提示输入无效，要求重新输入 20 询问是否继续其他交易 选择“否” 回到欢迎界面 场景1的测试用例1—TC1 基于状态图的测试 测试用例 输入 输出说明 TC2 欢迎界面 插卡 要求用户输入PIN 452765 要求用户选择服务 选择“取款”服务 要求用户输入取款金额 635 提示输入无效，要求重新输入 5760 询问是否继续其他交易 选择“否” 回到欢迎界面 场景1的测试用例2—TC2 基于状态图的测试 测试用例 输入 输出说明 TC3 欢迎界面 插卡 要求用户输入PIN 452765 要求用户选择服务 选择“取款”服务 要求用户输入取款金额 6000 提示输入无效，要求重新输入 1460 询问是否继续其他交易 选择“否” 回到欢迎界面 场景1的测试用例2—TC2 * PIN: Personal Identification Number 上海大学计算机学院 基于状态的软件测试技术 有穷状态机(Finite State Machine, FSM) 基于FSM的测试 状态图 基于状态图的测试 FSM Mealy机 状态是被动的，输出和状态没有联系 Moore机 状态是主动的，输出与变换没有联系 FSM Mealy机 6元组（S，I，O，?，?，s0） S为有限状态集， s0∈S为初始状态 I为有限输入字符集 O为有限输出字符集 ?: S×I→S为状态转换函数 ?: S×I→O为输出函数 FSM 示例 游戏开始 P1 发球 P2 发球 P1赢 P2赢 P1_start / SimulateVolley P2_start / SimulateVolley P1_Win [P1_Score 20] / P1AddPoint, SimulateVolley P2_Win [P2_Score 20] / P2AddPoint, SimulateVolley P2_Win/SimulateVolley P1_Win/SimulateVolley P1_Win [P1_Score = 20] / P1AddPoint P2_Win [P1_Score = 20] / P2AddPoint P1_IsWinner P2_IsWinner FSM Moore机 6元组（S，I，O，?，?，s0），其中： S为有限状态集， s0∈S为初始状态 I为有限输入字符集 O为有限输出字符集 ?: S×I→S为状态转换函数 ?: S→O为输出函数 Mealy机和Moore机可以相互转换 FSM 示例 游戏开始 P1继续 P1AddPoint, SimulateVolley P1赢 P1AddPoint P1_start P2_start P1_Win P2_Win P1_Win P1_Win [P1_Score = 20] P1发球 SimulateVolley P2发球 SimulateVolley P1_Win [P1_Score 20] 选手2继续 P2AddPoint, SimulateVolley P2赢 P2AddPoint P2_Win P2_Win [P2_Score = 20] P2_Win [P2_Score 20] P2_Win P1_Win P1赢了 P1_IsWinner P2赢了 P1_IsWinner P2_IsWinner 基于FSM的测试 经典测试方法 T方法（Transition Tour） U方法（Unique Input/Output , UIO） D方法（ Distinguishing sequence） W方法（ Characterization set W） 假定有穷状态机是最小、强连通和完全的 基于FSM的测试 示例