找错――面向对象软件的测试技术与方法.docVIP

找错――面向对象软件的测试技术与方法 面向对象技术所独有的多态、继承、封装等新特点，使OO程序设计比传统语言程序设计产生错误的可能性增大，使得传统中的重点不再显得那么突出，也使原来测试经验和实践证明的次要方面成为了主要问题。 ? 用户使用低质量的软件，在运行过程中会产生各种各样的问题，可能带来不同程度的严重后果，轻者影响系统的正常工作，重者造成事故和财产损失。软件测试是保证软件质量的最重要的手段，它使用人工或自动手段来运行或测定某个系统的过程，其目的在于检验它是否满足规定的需求，弄清预期结果与实际结果之间的差别。 ? 面向对象技术是一种全新的软件开发技术，正逐渐代替被广泛使用的面向过程的开发方法，被看成是解决软件危机的新兴技术。尽管面向对象技术的基本思想保证了软件应该有更高的质量，但实际情况却并非如此，因为无论采用什么样的编程技术，编程人员的错误都是不可避免的，而且由于面向对象技术开发的软件代码重用率高，更需要严格测试，以避免错误的繁衍。 一、评审 因为OOA、OOD阶段所建立的OOA和OOD模型不能执行，所以在每次迭代之后，一定要进行评审。 1．正确性 OO开发模式为演化（重复迭代）性质，即系统的初期为非形式化表示，以后发展为类的细节模型、类的连接和关联，系统设计和配置，以及对类的设计（通过消息组成对象连接模型）。每一阶段都要进行评审。 2．一致性 OOA和OOD模型（包括分析、设计和编码层次，即类、属性、操作、消息）不仅要正确，而且要一致。一致性可以用模型内各实体间的关联性来判断。 测试 1． ? OOP完成以后，就可以进行单元了。与传统的单元（模块）不同，OO中的单元是类。每个类都封装了属性（数据）和管理这些数据的操作（也被称做方法或服务）。一个类可以包含许多不同的操作，一个特殊的操作可以出现在许多不同的类中。 OO单元测试中，一个操作功能只能作为一个类的一部分，类中有多个操作（功能），就要进行多个操作的测试。 ? 类的测试可以使用多种方法，如基于故障的测试、随机测试和分割测试等。每一种方法都要检查封装在类中的操作，即设计的测试序列（用例），要保证相关的操作被检查。因为类的属性值表示类的状态，由此来确定被检查的错误是否存在。 2．组装测试 OO软件没有层次控制结构。所以传统的自顶向下和自底向上的组装策略在OO软件组装测试中就没有意义了。 OO软件组装中是不够的，因为组成类的各个成分之间存在着直接或间接的交互作用。OO软件的组装测试有两种不同的策略： 1）基于线程测试(thread-based-testing) （2）基于使用测试(use-based-testing) OO软件一般不用。 OO系统组装时还必须进行类间合作（强调上下级关系）的测试。类的合作测试与单个类测试相似，可用随机应用和分割测试来完成。另外，还可以用基于脚本测试和行为模型导出的测试进行。 3．确认 ? 确认是在系统层进行测试，因此类间的联系细节出现了。与传统软件一样，OO软件确认测试也主要集中在用户可见活动和用户可识别的系统输出上，所以OO软件也使用传统软件的黑盒子测试方法。确认测试大多使用基于脚本（scenarios）的测试，因而使用用例成为确认测试的主要驱动器。 ? 这种设计目前正处于形成阶段。 传统软件用例设计是从软件的各个模块的算法细节得出的，而OO软件测试用例则着眼于适当的操作序列，以实现对类的说明。 OO软件测试。白盒子测试也用于OO软件类的操作定义。但OO软件中许多类的操作结构简明，所以有人认为在类层上测试可能要比传统软件中的白盒子测试方便。 OO测试用例设计包含OO概念，在OO度量中所讲的五个特性:局域性、封装性、信息隐藏、继承性和对象的抽象，肯定会对用例设计带来额外的麻烦和困难。 Berard提出了一些用例的设计方法，主要原则包括: （1）每个测试用例应当给予特殊的标识，并且还应当与测试的类有明确的联系。 2）测试目的应当明确。 3）应当为每个测试用例开发一个测试步骤列表。这个列表应包含以下一些内容： 列出所要测试对象的专门说明。 列出将要作为测试结果运行的消息和操作。 列出测试对象可能发生的例外情况。 列出外部条件（即为了正确对软件进行测试所必须有的外部环境的变化）。 1．基于故障的测试 OO软件中，基于故障的测试具有较高的发现可能故障的能力。由于系统必须满足用户的需求，因此，基于故障的测试要从分析模型开始，考察可能发生的故障。为了确定这些故障是否存在，可设计用例去执行设计或代码。 基于故障测试的关键取决于测试设计者如何理解“可能的错误”。而在实际中，要求设计者做到这点是不可能的。 基于故障测试也可以用于组装测试，组装测试