移动互联软件测试-2017 状态转换法 状态转换法-说课稿.docx

状态转换法 PAGE 5 [文档标题 状态转换法-说课稿 编号 幻灯片 说课稿 幻灯片01 今天我们来学习状态转换法来进行测试用例的设计 幻灯片02 状态转换法又称状态迁移设计法，是关注被测对象的状态变化，关注在需求规格说明中是否有不可达的状态和非法的状态，是否可能产生非法的状态迁移等 对于被测对象而言，如果根据需求规格抽象出它的若干状态，以及这些状态之间的迁移条件和迁移路径，那么可以从其状态迁移路径覆盖的角度来设计测试用例。状态迁移设计法的目标是设计足够多的用例，以覆盖被测对象的所有状态 幻灯片03 使用状态迁移设计法时，具体操作步骤如下： 步骤1、明确状态节点 分析被测对象的测试特性及对应的需求规格说明，明确被测对象的状态节点数量及相互迁移关系 步骤2、绘制状态迁移图 利用圆圈表示状态节点，有向箭头表示状态间的迁移关系，根据需要在箭头旁标识迁移条件 利用绘图软件绘制状态迁移图 幻灯片04 步骤3、绘制状态迁移树 根据状态迁移图，利用广度优先及深度优先法则绘制状态迁移树。首先确定起始节点及终止节点，在绘制时，当路径遇到终止节点时，不再扩展，遇到已经出现的节点也将停止扩展 步骤4、抽取测试路径设计用例 根据迁移树抽取测试路径，从左到右，横向抽取，每条路径构成一条测试规则，再利用等价类及边界值设计法细化用例 幻灯片05 案例剖析 案例一：飞机售票系统 1、客户向航空公司打电话预定机票，此时机票处于“预订”状态 2、顾客支付了机票费用后，机票信息变为“已支付”状态 3、旅行当天到达机场，拿到机票后，机票信息变为“已出票”状态 4、登机检票后，机票信息变为“已使用”状态 5、在登机检票之前任何时间都可以取消自己的订票信息，如果已经支付了机票的费用，则还可以退款，取消后，订票信息处于“已取消”状态 幻灯片06 分析上述需求，可以得到该被测对象一共有预订、已支付、已出票、已使用、已取消这5种状态 同时根据需求规格中描述的状态变化，绘制如幻灯片所示的状态迁移图 幻灯片07 在状态迁移图中，针对每个节点，利用有向箭头标识该节点的输出，仅需关注每个节点本身的输出即可。例如，“预订”节点作为起始节点，仅关注其输出，即下一个处理节点“已支付”，“已支付”节点仅关注其输出，下一步可到“已出票”或“已取消”两个节点 完成状态迁移图的绘制并明确状态之间的变化后，根据状态迁移图绘制状态迁移树，如幻灯片所示 幻灯片08 根据状态迁移树，抽取测试路径，每个叶子节点构成一条路径 路径1：预订—已取消 路径2：预订—已支付—已取消 路径3：预订—已支付—已出票—已取消 路径4：预订—已支付—已出票—已使用 4条路径分别构成4条测试规则，需注意的是，仅仅是构成4条规则，针对每个节点的功能仍需通过等价类及边界值进行功能验证，状态迁移设计法不保证单个功能点的正确性，仅保证状态间的转换是否与需求描述一致 幻灯片09 案例二： 文本编辑器中的字体颜色共有3种：黑、红、蓝，请利用状态迁移图设计用例 分析上述需求，字体颜色共有3种状态：黑、红、蓝，假定黑色为起始状态，绘制如幻灯片所示的状态迁移图 幻灯片10 根据状态迁移图绘制状态迁移树，如幻灯片所示 幻灯片11 绘制状态迁移树时，针对“红”而言，该节点的下一节点是“黑”和“蓝”，“黑”为起始节点，不需继续扩展，“蓝”在前一节点已经出现，因此也不做扩展 最终通过状态迁移树看出，共有4个叶子节点，可得4条路径 路径1：黑—红—黑 路径2：黑—红—蓝 路径3：黑—蓝—红 路径4：黑—蓝—黑 在实际测试过程中，可将被测字体的颜色根据上述4条规则进行变化，看能否正确实现功能 幻灯片12 以上就是我们今天学习的状态转换法，希望各位同学学会这种用例设计方法的使用，谢谢观看