软件测试是伴随着软件的产生而产生的。软件危机的频繁出现促使了软件测试的地位得到了大幅提升。软件测试已经不仅仅是局限于软件开发过程中的一个阶段，它已经开始贯穿于整个软件开发过程，成为软件产品质量控制与质量管理的重要手段之一。
一、前言
软件测试技术作为软件工程学科的一个分支，是保证软件质量和可靠性的关键，因此它也是软件开发过程中的一个重要环节。它的核心思想是：对于输入域的特定输入，观察软件的执行结果，验证该结果与期望结果是否一致，然后根据结果作相应的纠错和调整。
在测试过程中，测试用例的选择决定测试的有效性，这也就直接影响到成本，是软件测试的关键和难点。目前，软件测试技术的发展还不是很成熟，测试人员在选择测试用例时通常根据直觉和经验进行，给测试带来很大的盲目性，最终导致的后果是使软件后期维护的费用在成本中居高不下。科学生成测试用例对提高软件质量不仅重要而且必要。
随着面向对象软件开发技术的广泛应用和软件测试自动化的要求，特别是基于的软件开发技术的逐渐普及，基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受。它是一种新兴的测试用例生成技术。有优于以前的测试技术的方面。其中模型以其定义良好、功能强大、普遍适用的优点，为基于模型的测试提供了非常好的契机。
二、面向对象特征对软件测试的影响
面向对象技术是一个全新的开发模式，具有以下特点：
（1）它要综合考虑软件开发过程所有阶段。
（2）在软件开发的整个生存周期中，每个阶段之间是连续的。
（3）开发过程分为面向对象分析（00A）、面向对象设计（OOD）、面向对象编程（OOP）、面向对象测试（OOT）四个连续的部分。
Coad和Yourdon给面}向对象的概念下了一个定义：
面向对象=对象+类+继承+通信
如果一个软件系统是使用这样4个概念设计和实现的，则认为这个软件系统是面向对象的。一个而向对象的程序的每一个组成部分都是对象，计算是通过对象和对象之间的通信来执行的。
面向对象技术的本质是定义了类的抽象，将变量和与作用于它的操作封装到一块。然后用不同的类和方法组合成一个对象系统。面向对象软件将传统软件中的一个过程或一个方法内的复杂性转移到对象之间的交互中。面向对象语言一些本质特征形成了如下的一些新的故障、错误风险。
1、基本功能模块
在面向对象系统中，系统的基本构造单元是封装了数据和方法的类和对象，而不再是一个个能完成特定功能的功能模型。每个对象有自己的生存期，有自己的状态。消息是对象之间相互请示或协作的途径，是外界使用对象方法及获取对象状态的唯一方式。对象的功能是在消息的触发下，由对象所属类中定义的方法与相关对象的合作共同完成，并且对象在不同状态下对消息的响应可能完全同。
工作过程中，对象的状态可能被改变，产生新的状态，即发生状态的转移。对象中的数据和方法是一个有机的整体，在软件测试过程中，不能仅仅检查输入数据产生的输出结果是否与预期结果相吻合，还要考虑对象的状态变化。因此，除了要对对象的状态与方法间的相互影响进行测试，还要进行状态测试。
2、系统的功能实现
在面向对象系统中，系统的功能体现在对象间的协作上，而不再是简单的过程调用关系。面向对象程序的执行实际上是执行一个由消息连接起来的方法序列，方法的实现与所属对象本身的状态有关，各方法之间可能有相互作用。为实现某一特定的功能，可能要激活调用属于不同对象类的多个成员函数，形成成员函数的启用链。因此，基于功能分解的自顶向下或自底向上的集成测试策略不适用于面向对象软件系统的测试。
3、封装对测试的影响
封装是指在词法单位之中或之间决定名字可见性的访问控制机制。它支持信息的隐蔽和模块化，有助于防止全局变量访问的问题。尽管封装不会直接促成错误的发生，它却给测试带来了障碍。封装使对象的内部状态隐蔽，如果类中未提供足够的存取函数来表明对象的实现方式和内部状态，则类的信息隐蔽机制将给测试带来困难。
4、继承对测试的影响
继承也是面向对象语言中的一个本质特征。继承可用于一般与特殊关系，并目方便编码。但继承削弱了封装性，产生了类似于非面向对象语言中全局数据的错误风险。由于继承的作用，一个函数可能被封装在具有继承关系的多个类中，子类中还可以对继承的特征进行覆盖或重定义。
5、多态对测试的影响
多态性是指一个引用可以与多个对象绑定的能力。多态能减少代码的复杂性和规模，同时还可以实现动态绑定。但依赖于不规则的类层次的动态绑定可能产生编程人员没有想到的结果。某些绑定能正确的工作但并不能保证所有的绑定都能正确地运行。以后绑定的对象可能很容易将消息发送给错误的类，执行错误的功能，还可能导致一些与消息序列和状态相关的错误。
三、面向对象软件测试的层次划分及内容
面向对象软件测试的测试工作过程与传统的测试一样，分为以下几个阶段：制定测试计划、产生测试用例、执行测试和评价。目前，面向对象软件测试划分方法是：方法测试、类测试、类簇测试、系统测试。
1、方法测试
方法测试主要考察封装在类中的一个方法对数据进行的操作，它与传统的单元模块测试相对应，可以将传统成熟的单元测试方法。但是，方法与数据一起被封装在类中，并通过向所在对象发送消息来驱动，它的执行与对象状态有关，也有可能会改变对象的状态。因此，设计测试用例时要考虑设置对象的初态，使它收到消息时执行指定的路径。
2、类测试
主要考察封装在一个类中的方法与数据之间的相互作用。一个对象有它自己的状态和依赖于状态的行为，对象操作既与对象状态有关，又反过来可能改变对象的状态。普遍认为这一级别的测试是必须的。类测试时要把对象与状态结合起来，进行对象状态行为的测试。类测试可分以下两个部分：
（1）基于状态的测试
考察类的实例在其生命期各个状态下的情况。这类方法的优势是可以充分借鉴成熟的有限状态自动机理论，但执行起来还很困难。一是状态空间可能太大，二是很难对一些类建立起状态模型，没有一种好的规则来识别对象状态及其状态转换，三是可能缺乏对被测对象的控制和观察机制的支持。
（2）基于响应状态的测试
从类和对象的责任出发，以外界向对象发送特定的消息序列来测试对象。较有影响的是基于规约的测试方法，和基于程序的测试。基于规约的测试往往可以根据规约自动或半自动地生成测试用例，但未必能提供足够的代码覆盖率。基于程序的测试大都是在传统的基于程序的测试技术的推广，有一定的实用性但方法过于复杂且效率不高。
3、系统测试
系统测试是对所有类和主程序构成的整个系统进行整体测试，以验证软件系统的正确性和性能指标等满足需求式样说明书和任务书所指定的要求。它与传统的系统测试一样，包括功能测试、性能测试、余量测试等，可套用传统的系统测试方法。
四、面向对象软件测试的覆盖准则
测试覆盖标准是对软件测试充分性的度量，任何测试策略都应该有相对应的覆盖标准，在此基础上选择测试用例，通过覆盖率来说明测试结果的可信性。传统的软件测试的覆盖标准对基于代码的测试而言，主要是代码覆盖，可细分为语句覆盖、路径覆盖、分支覆盖、判定分支覆盖，其中判定分支是最强的覆盖标准。
对于面向对象软件的测试而言代码的覆盖只对方法级测试适用，为了测试面向对象程序设计机制带来的错误风险，必须引入新的覆盖标准。对于继承而言，要求达到继承的上下文覆盖；多态性要求覆盖所有可能的消息绑定；基于代数规约的测试要求能达到公理的覆盖；基于状态的测试要求能覆盖所有的状态和转换。
【编辑推荐】
