因果图：因果图提供了一个把规格转化为判定表的系统化方法，从该图中可以产生测试数据。其中，原因是表示输入条件，结果是对输入执行的一系列计算后得到的输出。
因果图基本符号：
（a）恒等：若原因出现，则结果出现；若原因不出现，则结果也不出现。
（b）非：若原因出现，则结果不出现；若原因不出现，则结果出现。
（c）或：若几个原因中有一个出现，则结果出现；若几个原因都不出现，则结果不出现。
（d）与：若几个原因都出现，则结果才出现；若其中一个原因不出现，则结果不出现。
E约束（异）：a和b中最多有一个可能为1，即a和b不能同时为1
I约束（或）：a、b、c中至少有一个必须为1，即a、b、c不能同时为0
O约束（唯一）：a和b必须有一个且仅有一个为1
R约束（要求）：a是1时，b必须是1，即a为1时，b不能为0
M约束（强制）：若结果a为1，则结果b强制为0
因果图的步骤：
1.把大的系统规格划分解成可以测试的规格片段
2.分析分解后待测的系统规格，找出哪些是原因，哪些是结果
3.画出因果图
4.把因果图转换成判定表
5.简化判定表
6.用判定表中的每一列生成测试用例
场景法：主要是针对测试场景类型的，也称场景流程分析法。
是将软件系统的某个流程看成路径，用路径分析的方法来设计测试用例。根据流程的顺序依次进行组合，使得流程的各个分支都能走到。
流程分析步骤： 1.画出业务流程图（描述正常流程和异常流程）
2.确定条件分支（功能路径）
3.确认测试路径
4.选择数据构造用例
正交试验设计法：是从大量的试验点中挑选出适量的，有代表性的点，应用依据伽罗瓦理论导出的“正交表”，合理的安排试验的一种科学的试验设计方法。
正交常用术语：
指标：通常把判断试验结果优劣的标准叫做试验的指标
因子：所有影响试验指标的条件
水平值：影响试验因子的取值
正交的原则：两两组合
状态迁移图：通过描绘系统的状态及引起系统状态转换的事件，来表示系统的行为
状态迁移图设计测试用例步骤：
1.画出状态迁移图
2.通过状态迁移图画出状态转换树
3.从状态转换树推导出测试路径
4.根据测试路径编写合法（正常）测试用例或非法（异常）测试用例
错误推测法：也叫错误猜测法，就是根据经验猜想，已有的缺陷，测试经验和失败数据等可能有什么问题并依此设计测试用例
