软件测试方法与实践讲义-第八章.pptVIP

第八章 基于状态的软件测试技术 主要内容 回归测试简介 回归测试简介 8.1 状态转换图 8.1 状态转换图 8.1 状态转换图 8.1 状态转换图 8.1 状态转换图 8.2 状态图 8.2 状态图 8.2 状态图 8.2 状态图 8.2 状态图 8.2 状态图 8.2 状态图 8.2 状态图 8.2 状态图 8.2 状态图 8.2 状态图 8.2 状态图 8.2 状态图 8.3 基于状态的测试 8.3 基于状态的测试 8.3 基于状态的测试 8.3 基于状态的测试 8.3 基于状态的测试 8.3 基于状态的测试 8.3 基于状态的测试 8.3 基于状态的测试 8.3 基于状态的测试 8.3 基于状态的测试 8.3 基于状态的测试 8.3 基于状态的测试 8.3 基于状态的测试 8.3 基于状态的测试 本章小结 本章作业 3. 产生测试用例 （4）由测试场景产生测试用例 测试场景TS1 S1:Ready S2:Asking for PIN S9:Asking “Continue？” S5:Performing Withdrawal T1：Power on S4:asking for transaction T2:Insert card T5:PIN is valid T6:Withdraw T9:Withdrawal account is Invalid T12:Transaction finished 3. 产生测试用例 （4）由测试场景产生测试用例 假设银行的数据库中的用户信息如下： ￥355.56 332456 977764436571288 ￥5760 452765 977764435433543 账户余额 PIN 账号 3. 产生测试用例 （4）由测试场景产生测试用例 使用账户977764435433543产生测试用例TC1 欢迎界面 SC1 回到欢迎界面 SC1 选择“否” 询问是否继续 SC5 20 提示输入无效，重新输入 SC4 0 要求用户输入取款金额 SC4 选择“取款”服务 要求用户选择服务 SC3 452765 要求用户输入PIN SC2 插卡 TC1 TS1 输出说明 输出 输入 测试用例 测试场景 3. 产生测试用例 （4）由测试场景产生测试用例 使用账户977764435433543产生测试用例TC2 欢迎界面 SC1 回到欢迎界面 SC1 选择“否” 询问是否继续 SC5 5760 提示输入无效，重新输入 SC4 635 要求用户输入取款金额 SC4 选择“取款”服务 要求用户选择服务 SC3 452765 要求用户输入PIN SC2 插卡 TC2 TS1 输出说明 输出 输入 测试用例 测试场景 3. 产生测试用例 （4）由测试场景产生测试用例 使用账户977764435433543产生测试用例TC3 欢迎界面 SC1 回到欢迎界面 SC1 选择“否” 询问是否继续 SC5 1460 提示输入无效，重新输入 SC4 6000 要求用户输入取款金额 SC4 选择“取款”服务 要求用户选择服务 SC3 452765 要求用户输入PIN SC2 插卡 TC3 TS1 输出说明 输出 输入 测试用例 测试场景 4. 覆盖分析 编码覆盖是白盒测试技术的重要组成部分，它提供选择产生测试用例技术的依据，决定测试结束条件。基于状态的软件测试覆盖包括下面四种： 状态覆盖：被覆盖的状态数目占给定状态模型里所有状态数目的比例； 转移覆盖：被执行的状态数目占给定状态模型里所有转移数目的比例； 事件覆盖：被覆盖的事件数目占给定状态模型里所有相关事件数目的比例； 状态-事件覆盖：被执行的状态-事件组合数目占给定状态模型里所有状态-事件数目的比例。 *第八章 基于状态的软件测试技术 *软件测试讲义 8.1 状态转换图 8.2 状态图 8.2.1 Harel状态图的属性 8.2.2 从状态图变换到STD 8.2.3 UML状态图 8.3 基于状态的测试 8.2.1 测试步骤 8.2.2 产生测试用例 8.2.3 覆盖分析 基于状态的软件测试技术是一种基于模型的测试技术（Model-Based Testing，MBT）。MBT利用系统需求模型和特殊功能模型，自动生成有效的测试用例。一种定义明确的有限状态机常用来帮助描述系统的行为。从测试角度看，MBT技术带来的最大的好处是针对可用的有限状态机或变种，生成测试用例需要遍历状态机。 MBT技术带来的所有益处都在一个假设条件下，即所建立的被测系统的状态机“正确地”描述了系统的行为；换句话说，模型的质量决定着MBT技术的成败。 状态转换图（State Transit