黑盒测试

黑盒测试是在程序接口进行的测试，它只检查程序功能是否能按照规格说明书的规定正常使用，程序是否能适当地接收输入数据产生正确的输出信息，并且保持外部信息的完整性。

等价类划分

等价类是输入域的某个子集合，而所有的等价类的并集是整个输入域。在子集合中 ，各个输入数据对于揭露程序中的错误是等效的。

边界值分析

边界值分析是等价类划分的一种变体和改良

边界值分析利用输入变量的最小值（min）、略大于最小值（ min+）、输入值域内的任意值（nom）、略小于最大值（max- ）和最大值（max）来设计测试用例

对于一个含有n个变量的程序，保留其中一个变量，让其 余的变量取正常值，被保留的变量依次取min、min+、 nom、max-、max值，对每个变量都重复进行，这样对于 一个n变量的程序，边界值分析测试程序会产生4n+1个测 试用例。

健壮性测试

健壮性测试是边界值分析测试的一种扩展，除了取5个边界值外 ，还需要考虑采用一个略超过最大值（max+）以及略小于最小 值（min-）的取值，检查超过极限值时系统的情况

最坏情况测试

拒绝边界值分析采用的可靠性理论的单缺陷假设，关心当多个变量取极值时会出现什么情况。 对每个变量，首先进行包含最小值、略高于最小值、正常值、略低于最大值和最大值五元素集合的测试，然后对这些集合进行笛卡尔积计算，以生成测试用例

健壮最坏情况测试

使用健壮性测试的七元素集合的笛卡尔积生成测试用例

错误猜测法

依据经验猜测错误

判定表

• 条件桩（Condition Stub）：列出了问题的所有条件。通常认为列出的条件的次序无关紧要。
• 动作桩（Action Stub）：列出了问题规定可能采取的操作。这些操作的排列顺序没有约束。
• 条件项（Condition Entry）：列出针对它所列条件的取值，在所有可能情况下的真假值。
• 动作项（Action Entry）：列出在条件项的各种取值情况下应采取的动作

简化

因果图法

等价类划分方法和边界值分析法都是着重考虑输入条件， 并没有考虑到输入情况的各种组合，也没考虑到各个输入情况之间的相互制约关系；而因果图是一种挑选高效测试用例以检查组合输入条件的系统方法

白盒测试

白盒测试是知道产品内部工作过程，可通过测试来检测产品内部动作是否按照规格说明书的规定正常进行

静态白盒测试

• 代码检查

  人工+工具

• 静态结构分析

  主要由软件工具自动进行

• 软件质量度量

  主要由软件工具自动进行

动态白盒测试

• 功能确认与接口分析
• 性能与效率分析
• 内存分析
• 代码跟踪
• 逻辑覆盖率分析