1.等价类:定义：指某个输入域的集合，在集合中各个输 入的条件都是等效的。
有效等价类：对程序规格说明有意义的、合理 的输入数据
无效等价类：对程序规格说明无意义的、不合 理的输入数据
2.边界点定义：
（1）边界上的点
（2）离点：离上点最近的点（即上点左右两边最邻近的点）
（3）内点：在域范围内的点：
3.判定表定义：分析和表达多逻辑条件下的执行不同操作的情况
4. 因果图:提供了一个把规格转化为判定表的系统化方法，从该图中可以产生测试数据。其 中，
原因是表示输入条件，结果是对输入执 行的一系列计算后得到的输出
5.场景法：定义：场景法主要是针对测试场景类型的，顾也称场景流程分析法
6.正交法：正交试验设计法，是从大量的试验点中挑选出适量的、有代表性的点
7.状态迁移法：通过描绘系统的状态及引起系统状态转换的事件，来表示系统的行为
8.错误推测法
9. 异常分析法
10.随机测试