清楚了解用户期望值(这样就可以验证和确认这些期望值),对用户对于软件的满意程度的影响是最大的。
测试用例反映了要验证的需求。但可由不同的测试人员以不同方式来验证这些需求。例如,可由某个测试人员使用自动测试技术来执行软件以验证其功能和性能,可通过手动测试和观察来执行计算机系统的关机顺序,而市场份额和销售额(以及产品需求)将通过评估产品和竞争性销售来实现。
由于您可能无法(或不负责)验证所有需求,选择最适合或最关键的测试需求对于您的项目取得成功至关重要。选定要验证的需求将在成本、风险和验证需求的必要性之间达成平衡。
确定测试用例是很重要的,这有几个理由。
-
测试用例形成了设计和制定“测试脚本”的基础。
-
测试的“深度”与测试用例的数目是成比例的。由于每个测试用例都反映了不同的场景、条件或产品流程,所以当测试用例的数目增加时,产品和测试流程的质量的可信度就得到提高。
-
测试完整性的主要度量标准是基于需求的覆盖范围,这是以确定的、实施的和/或执行的测试用例的数目为基础的。诸如“已执行并验证了 95% 的关键测试用例”之类的声明比声称“我们已完成测试工作的 95%”更有意义。
-
测试工作的规模是与测试用例的数目成比例的。通过对测试用例进行全面地分类,可以更精确地估计测试周期后续阶段的计时。
-
测试设计和开发的种类以及所需的资源在很大程度上受测试用例的支配。
测试用例通常是根据测试类型或相关测试的需求进行分类或归类的,分类结果也将相应变化。实践至少要为每个测试需求开发两个测试用例:
-
一个测试用例将证明需求已实现。这称为正测试用例。
-
另一个测试用例,反映无法接受的、异常的或意外的条件或数据,用来证明仅在所需的条件下才可实现需求,这被称为负测试用例。
单元测试要求测试单元的内部结构及其行为特征。
测试内部结构需要了解是如何实施单元的,基于这种了解的测试被称为白匣测试。对单元的行为特征进行测试时着重于单元的外部可观测行为,而无需了解或注意单元的实施。基于该方法的测试被称为黑匣测试。下面将描述基于这两种方法而得出的测试用例。
从理论上讲,应测试代码中每个可能的路径。在所有非常简单的单元中实现这样的目标是不切实际的,或几乎是不可能的。无论如何,您至少应将每个决策到决策的路径(DD 路径)应用一次,从而至少将所有语句执行一次。决策一般为 if
语句,DD 路径是指两个决策之间的路径。
要实现这种程度的测试覆盖,建议您选择测试数据,这样就可按照每种可能的方法来评估每个决策。评估结束后,测试用例应确保:
-
得出每个布尔表达式的 true 和 false 值。例如,表达式 (a<3) OR (b>4) 的结果为 true/false 的四种组合。
-
每个无限循环至少执行零次、一个或多于一次。
使用代码覆盖工具确定白匣测试未曾执行的代码。可靠性测试应与白匣测试同时进行。
示例:
假设在类 Set of Integers 中,对函数 member 执行结构测试。 在二进制搜索的帮助下,测试会检查该集合是否包含某个给定的整数。
member 函数及其对应的流程图。虚线箭头说明了如何使用两个测试用例将所有的语句至少执行一次。
从理论上讲,对于一个要进行彻底测试的操作,测试用例应遍历代码中各路线的所有组合。在 member 中,while 循环内存在三条备用路线。
测试用例可数次遍历或根本不遍历该循环。如果测试用例根本不遍历该循环,您将只能发现通过该代码的一条路线。如果用例遍历该循环一次,将发现三条路线。如果遍历两次,将发现六条路线,依此类推。因此,路线的总数将是
1+3+6+12+24+48+...,这实际上是路线组合的一个无法控制的数目。这就是您为什么必须选择所有这些路线的一小部分的原因。在本示例中,您可以使用两个测试用例来执行所有语句。在一个测试用例中,您可能选择 Set
of Integers = {1,5,7,8,11} 以及 t = 3 作为测试数据。在其他测试用例中,您可能选择 Set of Integers =
{1,5,7,8,11} 以及 t = 8 。
关于其他信息,请参阅技术:单元测试。
黑匣测试
黑匣测试的目的是验证单元的指定行为,而无需了解单元如何实施该行为。黑匣测试着重并依赖于单元的输入和输出信息。
等价划分是一项减少所需的测试数目的技术。对于每个操作,您应确定实参和对象状态的等价类。等价类是一组值,假设某一对象对这些值表现类似的行为。例如,一个 Set
有三个等价类:空、某些元素和满。
使用代码覆盖工具确定白匣测试未曾执行的代码。可靠性测试应与黑匣测试同时进行。
以下两个子节描述如何通过为特定实参选择测试数据来确定测试用例。
基于输入实参的测试用例
输入实参是由某个操作使用的实参。应通过针对每个操作及以下的每个输入条件使用输入实参,来创建测试用例:
-
每个等价类的正常值。
-
每个等价类的边界值。
-
等价类之外的值。
-
非法值。
记住,要将对象状态看作输入实参。例如,如果要对对象 Set 测试 add 操作,则必须使用 Set 的等价类的所有值来测试 add,使用满的
Set、Set 中的某些元素以及空 Set。
基于输出实参的测试用例
输出实参是操作所更改的实参。实参可以既是输入实参又是输出实参。选择输入,您将根据以下的每种条件得到输出。
-
每个等价类的正常值。
-
每个等价类的边界值。
-
等价类之外的值。
-
非法值。
记住,要将对象状态看作输出实参。如果(举例)测试 List 的 remove 操作,则必须选择输入值,这样,在执行操作后,List 即填满、有某些元素或为空(使用其所有等价类的值进行测试)。
如果对象受状态的控制(根据对象的状态产生不同的反应),则应使用如下图中所示的那种状态矩阵。
用于测试的状态矩阵。可基于该矩阵来测试状态和激励的所有组合。
关于其他信息,请参阅技术:单元测试。
|