状态迁移图法
• 许多需求用状态机的方式来描述，状态机的测试主要关注在测试状态转移的正确性上面。对于一个有限状态机，通过测试验证其在给定的条件内是否能够产生需要的状态变化，有没有不可达的状态和非法的状态，可能不可能产生非法的状态转移等
• 通过构造能导致状态迁移的事件来测试状态之间的转换
• 用这种方法可以设计逆向的测试用例，如状态和事件的非法组合
状态迁移图法
状态迁移图法设计用例步骤
• 画出状态迁移图
• 画出状态转化树
• 从状态转换树推导出测试路径
• 根据测试路径编写合法测试用例
• 编写非法测试用例
流程分析法（场景设计法）（白盒测试）
流程分析法是将软件系统的某个流程看成路径，用路径分析的方法来设计测试用例。根据流程的顺序依次进行组合，使得流程的各个分支都能走到。这是从白盒测试中路径覆盖分析法中推广到黑盒测试中来的测试分析方法。
流程分析法
流程分析法设计用例
• 画出业务流程图
• 设置功能路径优先级
• 确定测试路径
• 选取测试数据
• 构造测试用例
正交测试法
正交试验设计法，是从大量的试验点中挑选出适量的、有代表性的点，应用依据迦罗瓦理论导出的“正交表”，合理的安排试验的一种科学的试验设计方法。
• 因子：所有影响试验指标的条件
• 因子的状态：而影响试验因子的取值，叫做因子的状态
正交测试法步骤
二、加权筛选，生成因素分析表
计算各因子和状态的权值，删去一部分权值较小，即重要性较小的因子或状态，使最后生成的测试用例集缩减到允许范围。
三、利用正交表构造测试数据集
1、如果各个因子的状态数是不统一的，几乎不可能出现均匀的情况。必须首先用逻辑命令来组合各因子的状态，作出布尔图
2、根据布尔图查找最接近的相应阶数的正交表
3、依照因果图上根节点到叶子节点的顺序逐步替换正交表上的中间节点，得到最终的正交表
四、利用正交表每行数据构造测试用例
输出覆盖率
• 分析各输出的等价类, 通过选择那些会导致各个输出的等价类被达到的输入点来执行测试，期望达到输出域等价类覆盖（Output DomainCoverage）
• 分析各输出的边界值,通过选择那些会导致各个输出的边界值被达到的输入点来执行测试，期望达到输出域边界值覆盖。这保证系统功能已经被检查了最大和最小的输出条件,并且如果可能的话，所有错误信息的分类都已经被产生过了。
一般来说，构造这种测试数据需要对被测系统的功能很了解，因此是应用领域内的专家。
异常分析法
系统异常分析法就是针对系统有可能存在的异常操作、软硬件缺陷引起的故障进行分析，依此设计测试用例。主要针对系统的容错能力、故障恢复能力进行测试。
错误猜测法
• 错误猜测法就是根据经验猜想可能有什么问题并依此设计测试用例
• 错误猜测法只能作为测试设计的补充而不能单独用来设计测试用例，否则可能会造成测试的不充分
