等价类划分法
等价类划分法是黑盒测试用例设计中一种重要常用的设计方法，它的基本思想是用一组有限的数据去代表近似无限的数据，达到能覆盖所有情况的目的。
定义：
等价类是指某个输入域的一个特定的子集合，在该子集合中各个输入数据对于揭露程序中的错误都是等效的，也就是说，如果用这个等价类中的代表值作为测试用例未发现程序错误，那么该类中其他数据（测试用例）也不会发现程序中的错误。
有效等价类：输入满足程序输入的要求（来自规格说明书），通俗的说就是正确的输入。
无效等价类：输入不满足程序输入的要求，即异常输入，需要系统对此有一定的容错性。
边界值分析法
边界值分析法 （是对等价类划分方法的补充）
基本思路：边界值分析也是一种黑盒测试方法，是对等价类分析方法的一种补充,由长期的测试工作经验得知，大量的错误是发生在输入或输出的边界上。因此针对各种边界情况设计测试用例，可以查出更多的错误。
编写测试用例的步骤：
(1) 根据被测对象的输入（或输出）要求确定边界值。
(2) 选取等于、刚刚大于、刚刚小于边界的值作为测试数据。
注：基本思想是在最小值（min）、略高于最小值（min+）、正常值（nom）、略低于最大值（max-）和最大值（max）等处取值。
因果图法
定义：是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。
产生背景：
等价类划分法和边界值分析方法都是着重考虑输入条件，但没有考虑输入条件的各种组合、输入条件之间的相互制约关系。这样虽然各种输入条件可能出错的情况已经测试到了，但多个输入条件组合起来可能出错的情况却被忽视了。
正交试验设计法
对因果图法的升级，用于复杂的原因和结果
基本思路：依据Galois理论，从大量的（实验）数据（测试例）中挑选合适的、有代表性的点（条件组合），从而合理地安排实验（测试）的一种科学实验设计方法。类似的方法有聚类分析方法、因子方法等。
功能图法
判定表驱动法
基本思路：对多个条件的组合进行分析，从而设计测试用例来覆盖各种组合。
判定表：是分析和表达多逻辑条件下执行不同操作的情况下的工具。
判定表5个概念：
条件桩：问题的输入条件列出问题的所有条件。（通常列出条件的顺序没有约束）
动作桩：列出问题规定可能采取的动作。（动作的顺序也没有约束）
条件项：每一个输入条件的具体值列出针对条件的具体赋值，即每个条件可以取的真、假值。
动作项：具体动作列出在条件项（各种取值）组合情况下应该采取的动作。
规则： 任何一个条件组合的特定取值及其要执行的相应操作。在判定表中贯穿条件项和动作项的一列就是一条规则。
错误推测法
定义：基于经验和直觉推测程序中所有可能存在的各种错误, 从而有针对性的设计测试用例的方法。
基本思想：
列举出程序中所有可能有的错误和容易发生错误的特殊情况,根据他们选择测试用例。
