测试用例设计方法

等价类划分

是一种最典型的黑盒测试方法，它完全不考虑程序的内部结构，而是只根据对程序的要求和说明进行测试用例的设计。测试人员要求对需求说明书中的各项功能需求进行细致分析，把程序的输入域划分成若干个部分，然后从每个部分中选取少数代表性数据作为测试用例，经过这种划分后，每一类的代表性数据在测试中的作用都等价于这一类中的其他值。

 有效等价类：是指对于程序的规格说明来说是合理的、有意义的输入数据构成的集合

无效等价类：是指对程序的规格说明来说是不合理的、无意义的输入数据构成的集合

边界值分析

是等价类测试的特例，主要考虑等价类的边界条件，在等价类的边缘处选择元素，是指输入和输出的等价类中那些恰好处在边界，恰好超过边界或恰好在边界以内的数据集合组成的用例。

 对边界值设计测试用例原则：

 如果输入条件规定了值的范围，则应取刚达到这个范围的边界的值，以及刚刚超出这个范围边界的值作为测试输入数据

如果输入条件规定了值的个数，则用最大个数、最小个数、比最小个数小1、比最大个数多1的数作为测试数据

 如果程序的规格说明给出的输入域或输出域是有序集合，则应选取集合的第一个元素和最后一个元素作为测试用例

 如果程序中使用了一个内部数据结构，则应选择这个内部数据结构边界上的值作为测试用例

 分析规格说明，找出其他可能的边界条件

 错误推测

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

基本思想是列举出程序中所有可能有的错误和容易发生错误的特殊情况,根据他们选择测试用例。例如,输入数据和输出数据为0的情况；输入表格为空格或输入表格只有一行。 这些都是容易发生错误的情况。可选择这些情况下的例子作为测试用例。

 因果图

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

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

如果在测试时必须考虑输入条件的各种组合，则可能的组合数目将是天文数字，因此必须考虑采用一种适合于描述多种条件的组合、相应产生多个动作的形式来进行测试用例的设计，这就需要利用因果图（逻辑模型）。

 判定表

判定表是分析和表达多逻辑条件下执行不同操作的情况的工具。它能够将复杂的问题按照各种可能的情况全部列举出来，简明并避免遗漏。因此，利用判定表能够设计出完整的测试用例集合。

在一些数据处理问题当中，某些操作的实施依赖于多个逻辑条件的组合，即：针对不同逻辑条件的组合值，分别执行不同的操作。判定表很适合于处理这类问题。