软件测试：更高级别的测试.docVIP

软件测试：更高级别的测试 完成了对程序的模块测试之后，整个测试过程才刚刚开始，对于大型或复杂的 软件来说尤为如此。考虑下面这个重要概念： 当程序无法实现其最终用户要求的合理功能时，就发生了一个软件错误。 根据这个定义，即使完成了一次非常完美的模块测试，仍然不能保证已经找出 了程序中的所有错误。 因此，要结束整个测试任务，还必须进行其他形式的更深入的测试。我们将这 些新形式的测试称为“更高级别的”测试。 软件开发过程在很大程度上是沟通有关最终程序的信息、并将信息从一种形式 转换到另一种形式。由于这个原因，绝大部分软件错误都可以归因为信息沟通和转 换时发生的故障、差错和干扰。  图 6-1 软件开发过程 图 6-1 描述了软件开发的这个观点，它表示了一个软件产品开发周期的模型。 过程的流程可归结为以下 7 个步骤： 1. 将软件最终用户的要求转换为一系列书面的需求。这些需求就是该软件产品要 实现的目标。 2. 通过评估可行性与成本、消除相抵触的用户需求、建立优先级和平衡关系，将 用户需求转换为具体的目标。 3. 将上述目标转换为一个准确的产品规格说明，将产品视为一个黑盒，仅考虑其 接口以及与最终用户的交互。该规格说明被称为“外部规格说明”。 4. 如果该产品是一个系统，如操作系统、飞行控制系统、数据库管理系统或雇员 人事系统等，而不仅是一个程序（编译器、工资程序、字处理程序等），那么下  一步骤就是系统设计。该步骤将系统分割为单独的程序、部件或子系统，并定 义它们的接口。 5. 通过定义每个模块的功能、模块的层次结构以及模块间的接口，来设计程序或 程序集合的结构。 6. 设计一份准确的规格说明，定义每个模块的接口与功能。 7. 经过一个或更多的子步骤，将模块接口规格说明转换为每个模块的源代码算法。 以下是从其他角度来审视上述文档的形式： ? 需求规格说明定义了为什么要开发程序。 ? 目标定义了程序要做什么，以及应做得怎样。 ? 外部规格说明定义了程序对用户的准确表现。 ? 与后续阶段相关的文档越来越详细地规定了程序是如何建立起来的。 假定软件开发周期的七个阶段包括了信息的沟通、理解和转换，以及大多数的 软件错误都来源于信息处理中的故障，那么现在有三个补充的方法来预防或识别这 些错误。首先，我们可以使软件开发过程更加精密，以防其中出现很多错误；其次， 在每个阶段结束时可以引入一个独立的验证过程，在进入下一个阶段之前尽可能多 地发现问题。这种方法如图 6-2 所示。举例来说，对外部规格说明的验证可以通过 与前一个阶段的输出（对目标的叙述）进行比较，然后将任何发现的错误反馈到外 部规格说明定义过程中去。在第七阶段结束时，使用本书第 3 章讨论的代码检查和 走查方法进行验证。  最终用户 验证 需求 验证 目标 验证 外部规格说明 验证 系统设计 验证 程序结构设计 验证 模块接口规格 说明 验证 代码 图 6-2 包含中间验证步骤的开发过程 第三个方法是对不同的开发阶段采用不同的测试方法。也就是说，将每一个测 试过程都重点针对一个特定的转换步骤，从而也针对一类具体的错误。这种方法如 图 6-3 所示。测试周期是模仿软件开发周期建立起来的，换言之，我们应该能够在 开发过程和测试过程之间建立起一对一的联系。举例来说： ? 模块测试的目的是发现程序模块与其接口规格说明之间的不一致。 ? 功能测试的目的是为了证明程序未能符合其外部规格说明。 ? 系统测试的目的是为了证明软件产品与其初始目标不一致。 这种结构的好处是避免了没有效果的多余测试，并使我们不会遗漏掉大量的错 误类型。举例来说，不能仅将系统测试定义为“对整个系统的测试”并且可能仅重  复先前的测试，而是针对一种特定类型的错误（在将目标转换为外部规格说明时所 犯的错误），并就开发过程中的特定类型的文档进行度量。 图 6-3 所示的更高级别的测试方法最适用于软件产品（作为合同的结果或面向 广泛应用而编写的程序，与做试验用的或仅供作者本人使用的程序有所不同）。不 作为产品而编写的程序常常没有正规的需求和目标。对于这些程序，功能测试可能 就是惟一的更高级别的测试。同时，对更高级别测试的需求是与程序的规模一同增 长的。这是由于在大型程序中，设计错误（在早期开发阶段所犯的错误）与编码错 误之间的比率要比在小程序中的比率高很多。  最终用户 安装测试  验证 需求 验证 目标 验证 外部规格说明 验证 系统设计 验证 程序结构设计 验证 模块接口规格 说明 验证 代码 验收测试 系统测试 功能测试 集成测试 模块测试  图 6-3 开发过程与测试过程的对应关系  注意，图 6-3 所示的测试过程顺序并不定意味着严格的时间顺序。举例来说， 由于系统测试并非定义为“功能测试