黑盒测试：已知产品的功能设计规格，可以进行测试证明每一个实现了的功能是否符合要求。是把程序看做一个不能打开的黑盒子，在完全不考虑程序内部结构和内部特性的情况下，对软件进行测试，检查功能是否符合需求规格说明书中所规定的功能。
等价类：指某个输入域的集合，在集合中各个输入的条件都是等效的。
有效等价类：对程序规格说明有意义的、合理的输入数据。
无效等价类：对程序规格说明无意义的、不合理的输入数据。
在规定了输入规则时，可以划分出一个有效的等价类（符合规则）和若干个无效等价类（从不同角度违反规则）
等价类划分的设计用例思路：
1.找输入条件
2.为每个输入条件找有效、无效等价类
3.为每个等价类编号
4.用最少的用例覆盖最多的有效等价类
5.每一个无效等价类都是一个用例
6.并非所有有效等价类都有无效
7.等价类的覆盖可以重复覆盖
等价类设计用例覆盖的原则：
1.每个用例尽可能多的覆盖多个有效的等价类
2.每个用例只能覆盖一个无效等价类
边界值分析：输入条件明确了一个值的取值范围，或规定了值的个数
边界点定义： 上点：边界上的点
离点：离上点最近的点（即上点左右两边最邻近的点）
内点：在域范围内的点
边界值分析原则：
1.如果输入（输出）条件规定了取值范围，则应该以该范围的边界内及边界附近的值作为测试用例
2.如果输入（输出）条件规定了值的个数，则用最大个数，最小个数，比最小个数少一，比最大个数多一的数作为测试数据
3.如果程序规格说明中提到的输入或输出是一个有序集合，应该注意选取有序集合的第一个和最后一个元素作为测试数据
判定表：分析和表达多逻辑条件下的执行不同操作的情况（利用判定表将复杂的问题按照各种可能的情况全部列举出来，能针对不同逻辑条件的组合值，分别执行不同的操作）
1.条件桩：列出问题的所有条件（通常条件次序无关紧要）
2.条件项：列出针对它条件的取值（所有情况下的真假值）
3.动作桩：列出问题规定可采取的动作
4.动作项：列出条件各种情况的应采取的动作
创建步骤：
1.确定规则的个数：若有N个条件，每一个条件下有2个值，则有2*N种规则
2.列出所有条件桩与动作桩
3.输入条件项
4.输入动作项得到初始判定表
5.简化（合并相似规则）
6.编写测试用例
