T5.测试用例设计_状态转移测试概述.pptVIP

wangchunxiu@ * 课后作业 对QQ登录界面中的各种设置进行状态测试，并对前页的状态图设计测试用例 主要观察各转换时状态变量的情况 提交截止时间：周日晚 提交形式：纸质 各班收齐后交给我 课上练习1（选做） 完成堆栈程序的其它测试用例设计 wangchunxiu@ * 课上练习2（选做） 对计算器中的以下状态转换进行状态测试： 一般/科学 十六进制计算 十 进制计算 八进制计算 二进制计算 主要观察各转换时状态变量的情况 wangchunxiu@ * 课上练习3：暴风影音播放器播放状态测试（选做） 主要观察各转换时状态变量的情况 IT Education Training IT Education Training 主讲：王春秀 SWEG Software Testing Foundation 第三部分：测试设计技术 wangchunxiu@ * 1. 黑盒测试技术 常用的黑盒测试技术有： 1.1 等价类划分法 1.2 边界值分析法 1.3 状态转移测试 1.4 因果图和决策表 1.5 用例测试 1.6 其他黑盒技术 wangchunxiu@ * 状态转移测试 本节主要参考资料： 《软件测试(原书第二版)》(美) Ron Patton著 机械工业出版社出版 2006.4 对应英文版电子书在FTP wangchunxiu@ * 1）什么是状态转换测试 2）状态转换测试的测试用例设计 3）状态转换测试小结 wangchunxiu@ * 思考： 如何测试程序的逻辑流程？ 看几个例子： QQ 记事本 计算器Calculator 画板Paintbrush wangchunxiu@ * 由以上例子可以看出： 很多情况下，测试对象的输出和行为方式不仅受当前输入数据的影响，同时，还与测试对象之前的执行情况、或之前的事件或以前的输入数据有关。 任何一个系统，如果对同一个输入，根据不同的状态，可以得到不同的输出，就是一个有限状态系统。 系统可以从测试对象的初始状态开始，转换到不同的状态，事件驱动状态的转换。 有限状态机 有限状态机是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。 有限状态机可以通过状态图、状态表或状态树进行表示。 状态图 状态表 状态树 形式并不重要，关键要看得懂 例： 1）什么是状态转换测试 状态转换测试是一种基于产品规格分析的黑盒测试技术，对系统的每个状态及与状态相关的函数进行测试，通过不同的状态验证程序的逻辑流程。 状态转换测试的测试对象 状态转换测试中，测试对象可以是一个具有不同系统状态的完整系统，也可以是一个在面向对象系统中具有不同状态的类 状态转换测试的测试强度 覆盖所有状态 调用所有的函数 覆盖所有的路径 2）状态转换测试的测试用例设计 画出状态图 确定开始状态、输入、输出及结束状态 确定测试强度 转换成状态树 设计测试用例 先看个简单的例子：Office文档 关闭 浏览 编辑 询问 打开 关闭 编辑 保存 关闭 保存 保存 文件 不保存 编辑 关闭 浏览 编辑 关闭 浏览 询问 关闭 关闭 保存 文件 编辑 选择测试强度为覆盖所有路径 设计测试用例 TC1 step1 step2 开始状态 关闭状态 浏览状态 输入 打开 关闭 输出 打开文件 关闭文件 结束状态 浏览状态 关闭状态 TC2 step1 step2 step3 开始状态 关闭状态 浏览状态 编辑状态 输入 打开 编辑 保存 输出 打开文件 编辑文件 保存内容 结束状态 浏览状态 编辑状态 浏览状态 ...... 关闭 浏览 编辑 关闭 浏览 询问 关闭 关闭 保存 文件 编辑 TC1 TC2 例：堆栈 1 2 3 4 empty 1 2 3 filled 1 2 3 4 full push push pop pop push pop 画出状态转换图 filled empty full push* top push[heightMax-1] pop[height1] top push [height=Max-1] pop push pop[height=1] initialize delete 确定状态 确定转换 确定各转换的输入、输出及结束状态 确定测试强度 覆盖所有路径 转换成状态树 初始状态或开始状态是树的根。 对于状态图内从开始状态出发到达一个任意可达状态的每个可能的转换，转换树都包含了从根出发到达一个代表此状态的下一后续状态的节点的分支。 对转换树的每个叶节点重复步骤2 的过程，直至满足下列两个结束条件之一： 与叶结点相关的状态已经出现过一次从状态树的根到叶节点的连接上，这个结束条件对应于状态图中的一遍循环； 与叶节点相关的结点是一个结束状态，并且也没有更多的状态转换需要考虑。 转换成状态树 i