黑盒测试

等价类划分法是黑盒测试用例设计中一种重要常用的设计方法，它的基本思想是用一组有限的数据去代表近似无限的数据，达到能覆盖所有情况的目的。

定义：

等价类是指某个输入域的一个特定的子集合，在该子集合中各个输入数据对于揭露程序中的错误都是等效的，也就是说，如果用这个等价类中的代表值作为测试用例未发现程序错误，那么该类中其他数据（测试用例）也不会发现程序中的错误。

有效等价类：输入满足程序输入的要求（来自规格说明书），通俗的说就是正确的输入。

无效等价类：输入不满足程序输入的要求，即异常输入，需要系统对此有一定的容错性。

边界值分析法（是对等价类划分方法的补充）

基本思路：边界值分析也是一种黑盒测试方法，是对等价类分析方法的一种补充,由长期的测试工作经验得知，大量的错误是发生在输入或输出的边界上。因此针对各种边界情况设计测试用例，可以查出更多的错误。

编写测试用例的步骤：

(1) 根据被测对象的输入（或输出）要求确定边界值。

(2) 选取等于、刚刚大于、刚刚小于边界的值作为测试数据。

注：基本思想是在最小值（min）、略高于最小值（min+）、正常值（nom）、略低于最大值（max-）和最大值（max）等处取值。

定义：是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。

产生背景：

等价类划分法和边界值分析方法都是着重考虑输入条件，但没有考虑输入条件的各种组合、输入条件之间的相互制约关系。这样虽然各种输入条件可能出错的情况已经测试到了，但多个输入条件组合起来可能出错的情况却被忽视了。

对因果图法的升级，用于复杂的原因和结果

基本思路：依据Galois理论，从大量的（实验）数据（测试例）中挑选合适的、有代表性的点（条件组合），从而合理地安排实验（测试）的一种科学实验设计方法。类似的方法有聚类分析方法、因子方法等。

基本思路：对多个条件的组合进行分析，从而设计测试用例来覆盖各种组合。

判定表：是分析和表达多逻辑条件下执行不同操作的情况下的工具。

判定表5个概念：

条件桩：问题的输入条件列出问题的所有条件。（通常列出条件的顺序没有约束）

动作桩：列出问题规定可能采取的动作。（动作的顺序也没有约束）

条件项：每一个输入条件的具体值列出针对条件的具体赋值，即每个条件可以取的真、假值。

动作项：具体动作列出在条件项（各种取值）组合情况下应该采取的动作。

规则：任何一个条件组合的特定取值及其要执行的相应操作。在判定表中贯穿条件项和动作项的一列就是一条规则。

定义：基于经验和直觉推测程序中所有可能存在的各种错误, 从而有针对性的设计测试用例的方法。

基本思想：

列举出程序中所有可能有的错误和容易发生错误的特殊情况,根据他们选择测试用例。