等价类

分为【有效等价类】和【无效等价类】，其中有效等价类是合理数据的集合，无效等价类是不合理，没有意义的集合。

a. 在输入条件规定了取值范围或值的个数的情况下，则可以确定【一个有效等价类】和【两个无效等价类】
例：输入范围是1<x<10的所有数，
【有效等价类】：1~10内的任意数
【无效等价类】：负无穷~0.9999 和10.00001~正无穷

b. 在输入条件规定了输入值的集合或者规定了**“必须如何”的条件或者是一个布尔量**的情况下，则可以确立【一个有效等价类】和【一个无效等价类】
例：输入为2的倍数
【有效等价类】：2,4,8
【无效等价类】：3,5

c. 在规定了输入数据的一组值（假定n个），并且程序要对每一个输入值分别处理的情况下，可以确立n个有效等价类和一个无效等价类

d. 在规定了输入数据必须遵守的规则的情况下，可以确立一个有效等价类（符合规则）和若干个无效等价类（从不同角度违反规则）

e.在确知已划分的等价类中各元素在程序处理中的方式不同的情况下，则应再将改等价类进一步的划分为更小的等价类。

边界值

首先确定边界情况，应当选取正好等于，刚刚大于或者刚刚小于辩解的值作为测试数据

a. 如果输入条件规定了值的范围，则应取等于边界值，以及刚刚超越这个范围的边界的值作为测试输入数据。

例：输入1-10之间的整数
测试数据0，1，2，9，10，11

b. 如果输入条件规定了值的个数，则用最大个数，最小个数，比最小个数小一，和比最大个数大一的数作为测试数据。

例如，一个输入文件应包括1~255个记录
测试用例可取1，255，0，256。

c. 将前面两个原则应用于输出条件，即涉及测试用例使输出值达到边界值及其左右的值。

d.如果程序的规格说明给出的输入域或输出域是有序集合，则应选取集合的第一个元素和最后一个元素作为测试用例。

e. 如果程序中使用了一个内部数据结构，则应当选择这个内部数据结构的边界上的值作为测试用例数据；

f. 分析规格说明，找出其他可能的边界条件。

错误推测法

基于经验和直觉推断存在的错误，从而有针对性设计测试用例

列举可能出现错误的情况，来设计测试用例

因果图法

利用图解法分析输入的各种组合情况。

适用于检查输入的组合情况

1. 根据软件规格说明书分析哪些是原因（前提条件和过程），哪些是结果，并給每个原因和结果赋予一个标识符

2. 找出原因和结果之间，原因和原因之间的关系，画出因果图

3. 把因果图转换为判定表

4. 判定表的每一列拿出来作为依据，设计测试用例

判定表

条件桩：问题的所有条件
动作桩：问题的所有操作
条件项：条件的主治在所用情况下的真假值
动作项：列出在条件项各种取值下应该采取的动作

正交试验法

可以在不降低覆盖率的前提下，减少测试用例的条数
首先要确定有哪些变量，每个变量有哪些取值
选择合适的正交表，吧变量的取值填入表中
把每一行的取值组合作为一个测试用例

场景法

包括【基本流】和【备用流】，从一个流程开始，通过描述经历的路径来确定，遍历所有的基本流和备用流来完成场景

基本流是指正常的场景

备用流指终端操作

状态迁移图法