《清华大学郑人杰殷仁昆教软件工程讲义08.ppt》由会员分享，可在线阅读，更多相关《清华大学郑人杰殷仁昆教软件工程讲义08.ppt（77页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、软件工程软件工程 第八章第八章 面向对象的测试面向对象的测试8.1 面向对象测试的概念面向对象测试的概念8.2 开发前期的面向对象测试开发前期的面向对象测试8.3 开发后期的面向对象测试开发后期的面向对象测试8.4 分布式系统的测试分布式系统的测试1 1软件工程软件工程8.1 8.1 面向对象测试的概念面向对象测试的概念 面向对象系统的测试与传统的基于功能的系统面向对象系统的测试与传统的基于功能的系统的测试之间存在很大差别：的测试之间存在很大差别：1)对象作为一个单独的构件一般比一个功能模对象作为一个单独的构件一般比一个功能模块大。块大。2)由对象到子系统的集成通常是松散耦合的，由对象到子系统
2、的集成通常是松散耦合的，没有一个明显的没有一个明显的“顶层顶层”。3)如果对象被复用，测试者无权进入构件内部如果对象被复用，测试者无权进入构件内部来分析其代码。来分析其代码。2 2软件工程软件工程n面向对象的开发模型将系统开发分为面向对象分面向对象的开发模型将系统开发分为面向对象分析（析（OOA），面向对象设计（），面向对象设计（OOD）和面向对象编）和面向对象编程（程（OOP）三个阶段。）三个阶段。n分析阶段产生整个问题领域的抽象描述，在此基分析阶段产生整个问题领域的抽象描述，在此基础上，进一步归纳出适用于面向对象编程语言的础上，进一步归纳出适用于面向对象编程语言的类和类结构，最后形成代码。
3、类和类结构，最后形成代码。n针对这种开发模型，结合传统测试步骤的划分，针对这种开发模型，结合传统测试步骤的划分，本着在整个开发过程中不断测试的原则，应将开本着在整个开发过程中不断测试的原则，应将开发阶段的测试与编码完成后的单元测试、集成测发阶段的测试与编码完成后的单元测试、集成测试、系统测试用一个测试模型描述。试、系统测试用一个测试模型描述。3 3软件工程软件工程面向对象测试模型面向对象测试模型 OO System TestOO Integration TestOO Unit TestOOA TestOOD TestOOP TestOOAOODOOP4 4软件工程软件工程nOOA Test和和
4、OOD Test 是对分析结果和设计结果是对分析结果和设计结果的测试，主要是对分析设计产生的文本进行，是的测试，主要是对分析设计产生的文本进行，是软件开发前期的关键性测试。软件开发前期的关键性测试。nOOP Test主要针对编程风格和程序代码实现进行主要针对编程风格和程序代码实现进行测试，其主要的测试内容在面向对象单元测试和测试，其主要的测试内容在面向对象单元测试和面向对象集成测试中体现。面向对象集成测试中体现。n面向对象单元测试是对程序内部具体单一的功能面向对象单元测试是对程序内部具体单一的功能模块的测试，如果程序是用模块的测试，如果程序是用C+语言语言实现，主要实现，主要就是对类成员函数的
5、测试。面向对象单元测试是就是对类成员函数的测试。面向对象单元测试是进行面向对象集成测试的基础。进行面向对象集成测试的基础。5 5软件工程软件工程n面向对象集成测试主要对系统内部的相互服务进面向对象集成测试主要对系统内部的相互服务进行测试，如成员函数间的相互作用，类间的消息行测试，如成员函数间的相互作用，类间的消息传递等。传递等。n面向对象集成测试不但要基于面向对象单元测试，面向对象集成测试不但要基于面向对象单元测试，更要参见更要参见OOD或或OOD Test结果。结果。n面向对象系统测试是基于面向对象集成测试的最面向对象系统测试是基于面向对象集成测试的最后阶段的测试，主要以用户需求为测试标准，
6、也后阶段的测试，主要以用户需求为测试标准，也需要借鉴需要借鉴OOA或或OOA Test结果。结果。6 6软件工程软件工程8.2 8.2 开发前期的面向对象测试开发前期的面向对象测试 n面向对象的系统开发经历面向对象的系统开发经历面向对象分析（面向对象分析（OOA）面向对象设计（面向对象设计（OOD）面向对象编程（面向对象编程（OOP）n等三个阶段。在这个时期的测试工作主要是静态等三个阶段。在这个时期的测试工作主要是静态测试。通过各种评审和质量分析活动，完成必须测试。通过各种评审和质量分析活动，完成必须的测试工作的测试工作，及时检测和克服各种缺陷。，及时检测和克服各种缺陷。7 7软件工程软件工程
7、8.2.1 8.2.1 面向对象分析的测试面向对象分析的测试 n传统的面向过程分析是一个功能分解的过程，是把传统的面向过程分析是一个功能分解的过程，是把一个系统看成可以分解的功能的集合。这种传统的一个系统看成可以分解的功能的集合。这种传统的功能分解分析法的着眼点在于功能分解分析法的着眼点在于一个系统需要什么样一个系统需要什么样的信息处理方法和过程，以过程的抽象来对待系统的信息处理方法和过程，以过程的抽象来对待系统的需要的需要。n面向对象分析（面向对象分析（OOA）是）是“把把ER图和语义网络模图和语义网络模型，即信息模型中的概念，与面向对象程序设计语型，即信息模型中的概念，与面向对象程序设计语
8、言中的重要概念结合在一起而形成的分析方法言中的重要概念结合在一起而形成的分析方法”，最后最后得到问题领域的可视的形式描述得到问题领域的可视的形式描述。nOOA的结果是为后续阶段中类的选定和实现，类层的结果是为后续阶段中类的选定和实现，类层8 8软件工程软件工程层次结构的组织和实现提供平台。层次结构的组织和实现提供平台。nOOA对问题领域分析抽象的不完整，最终会影响软对问题领域分析抽象的不完整，最终会影响软件的功能实现，导致软件开发后期大量可避免的修件的功能实现，导致软件开发后期大量可避免的修补工作；而一些冗余的对象或结构会影响类的选定、补工作；而一些冗余的对象或结构会影响类的选定、程序的整体结
9、构或增加程序员不必要的工作量。因程序的整体结构或增加程序员不必要的工作量。因此，此，OOA测试的重点在其完整性和冗余性。测试的重点在其完整性和冗余性。n根据根据Coad和和Yourdon方法所提出的方法所提出的OOA实现步骤，实现步骤，对对OOA阶段的测试划分为以下五个方面：阶段的测试划分为以下五个方面：对认定的对认定的类类的测试的测试对认定的对认定的结构结构的测试的测试对认定的对认定的主题主题的测试的测试9 9软件工程软件工程对定义的对定义的属性属性和和实例连接实例连接的测试的测试对定义的对定义的服务服务和和消息连接消息连接的测试的测试 1.对认定的类的测试对认定的类的测试OOA中认定的类是
10、对问题领域中的中认定的类是对问题领域中的结构结构，其他其他相关系统相关系统，设备设备，被记忆的事件被记忆的事件，系统涉及的系统涉及的人员人员等实际对象的抽象。对它的测试可以从如等实际对象的抽象。对它的测试可以从如下方面考虑：下方面考虑：a)认定的类是否认定的类是否全面全面，是否问题领域中所有涉，是否问题领域中所有涉及到的对象都反映在认定的类中。及到的对象都反映在认定的类中。b)认定的类是否具有认定的类是否具有多个属性多个属性。只有一个属性。只有一个属性的类通常应看成其他类的属性，而不是抽象的类通常应看成其他类的属性，而不是抽象1010软件工程软件工程为独立的类。为独立的类。c)认定为同一个类的
11、对象是否有共同的，区别认定为同一个类的对象是否有共同的，区别于其他类对象的共同属性。于其他类对象的共同属性。d)对认定为同一类的对象是否对认定为同一类的对象是否提供或需要相同提供或需要相同的服务的服务，如果服务随着不同的对象而变化，如果服务随着不同的对象而变化，认定的对象就需要分解或利用继承性来分类认定的对象就需要分解或利用继承性来分类表示。表示。e)如果系统不需要始终保持类所代表的对象的如果系统不需要始终保持类所代表的对象的信息，认定的类也无必要存在。信息，认定的类也无必要存在。f)认定的类的名称应该尽量准确，适用。认定的类的名称应该尽量准确，适用。2.对认定的结构的测试对认定的结构的测试1
12、1 11软件工程软件工程在在Coad和和Yourdon方法中，认定的结构分为两方法中，认定的结构分为两种：种：泛化结构泛化结构和和复合结构复合结构。泛化泛化结构体现了问结构体现了问题领域中对象的一般与特殊的关系，题领域中对象的一般与特殊的关系，复合复合结构结构体现了问题领域中对象的整体与局部的关系。体现了问题领域中对象的整体与局部的关系。1)对对泛化泛化结构结构的测试可从如下方面着手：的测试可从如下方面着手：a)对于结构中的一个类，尤其是处于高层的类，对于结构中的一个类，尤其是处于高层的类，看是否能在问题领域中派生出其下一层的类。看是否能在问题领域中派生出其下一层的类。b)对于结构中的一个类，
13、尤其是处于同一低层对于结构中的一个类，尤其是处于同一低层的类，看是否能抽象出在现实世界中有意义的类，看是否能抽象出在现实世界中有意义的更一般的上层的类。的更一般的上层的类。1212软件工程软件工程c)高层的类的属性和服务是否完全体现下层高层的类的属性和服务是否完全体现下层的共性。的共性。d)低层的类是否基于其上层类的属性和服务低层的类是否基于其上层类的属性和服务并具有自己的特殊性。并具有自己的特殊性。2)对对复合结构复合结构的测试从如下方面入手：的测试从如下方面入手：a)整体类和局部类的复合（聚合）关系是否符整体类和局部类的复合（聚合）关系是否符合现实的关系。合现实的关系。b)整体类的局部类是
14、否在问题领域中有实际应整体类的局部类是否在问题领域中有实际应用。用。c)整体类中是否遗漏了在问题领域中有用的局整体类中是否遗漏了在问题领域中有用的局部类。部类。1313软件工程软件工程d)局部类是否能够在问题领域中组合出新的有局部类是否能够在问题领域中组合出新的有现实意义的整体类。现实意义的整体类。3.对认定的主题的测试对认定的主题的测试主题是在对象和结构的基础上更高一层的抽象，主题是在对象和结构的基础上更高一层的抽象，是为了提供是为了提供OOA分析结果的可见性，如同文章分析结果的可见性，如同文章对各部分内容的概要。对各部分内容的概要。对主题的测试应该考虑以下方面：对主题的测试应该考虑以下方面
15、：a)贯彻贯彻George Miller 的的“7+2”原则，如果主原则，如果主题个数超过题个数超过 7 个，就要求对有较密切属性和个，就要求对有较密切属性和服务的主题进行归并。服务的主题进行归并。1414软件工程软件工程b)主题所反映的一组类和结构是否具有相同和主题所反映的一组类和结构是否具有相同和相近的属性和服务。相近的属性和服务。c)认定的主题是否是类和结构更高层的抽象，认定的主题是否是类和结构更高层的抽象，是否便于理解是否便于理解OOA结果的概貌（尤其是对非结果的概貌（尤其是对非技术人员的技术人员的OOA 结果读者）。结果读者）。d)主题间的消息连接（抽象）是否代表了主题主题间的消息连
16、接（抽象）是否代表了主题所反映的类和结构之间的所有关联。所反映的类和结构之间的所有关联。4.对定义的属性和实例连接的测试对定义的属性和实例连接的测试属性描述类或结构中实例（对象）的特性。而属性描述类或结构中实例（对象）的特性。而实例连接则反映实例集合之间的映射关系。实例连接则反映实例集合之间的映射关系。1515软件工程软件工程对属性和实例连接的测试从如下方面考虑：对属性和实例连接的测试从如下方面考虑：a)定义的属性是否对相应的类和泛化结构的每定义的属性是否对相应的类和泛化结构的每个实例都适用。个实例都适用。b)定义的属性在现实世界中是否与这种实例关定义的属性在现实世界中是否与这种实例关系密切。
17、系密切。c)定义的属性在问题领域中是否与这种实例关定义的属性在问题领域中是否与这种实例关系密切。系密切。d)定义的属性是否能够不依赖于其他属性被独定义的属性是否能够不依赖于其他属性被独立理解。立理解。e)定义的属性在泛化结构中的位置是否恰当，定义的属性在泛化结构中的位置是否恰当，低层类的共有属性是否在其上层类的属性中低层类的共有属性是否在其上层类的属性中1616软件工程软件工程有定义。有定义。f)问题领域中每个类的属性是否定义完整。问题领域中每个类的属性是否定义完整。g)定义的实例连接是否符合实际。定义的实例连接是否符合实际。h)在问题领域中实例连接的定义是否完整，特在问题领域中实例连接的定义
18、是否完整，特别需要注意一对多和多对多的实例连接。别需要注意一对多和多对多的实例连接。5.对定义的服务和消息关联的测试对定义的服务和消息关联的测试定义服务就是定义每一个类和结构在问题领域定义服务就是定义每一个类和结构在问题领域中的行为。由于问题领域中的实例之间需要通中的行为。由于问题领域中的实例之间需要通信，在信，在OOA中就需要定义消息的连接。中就需要定义消息的连接。对服务和消息连接的测试应考虑以下几方面：对服务和消息连接的测试应考虑以下几方面：1717软件工程软件工程a)类和结构在问题领域中的实例具有不同的状类和结构在问题领域中的实例具有不同的状态，是否为状态转换定义了相应的服务。态，是否为
19、状态转换定义了相应的服务。b)类或结构所需要的服务是否都定义了相应的类或结构所需要的服务是否都定义了相应的消息连接。消息连接。c)定义的消息连接所调用的服务是否正确。定义的消息连接所调用的服务是否正确。d)沿着消息连接所执行的线索（消息的调用序沿着消息连接所执行的线索（消息的调用序列）是否合理，是否符合实际。列）是否合理，是否符合实际。e)定义的服务是否有重复，是否定义了能够得定义的服务是否有重复，是否定义了能够得到的服务。到的服务。1818软件工程软件工程8.2.28.2.2 面向对象设计的测试面向对象设计的测试 n面向对象设计（面向对象设计（OOD）从）从“建模的观点建模的观点”出发，基出
20、发，基于于OOA模型归纳出类，并建立类的层次结构或进一模型归纳出类，并建立类的层次结构或进一步构造成类库，实现分析结果对问题领域的抽象。步构造成类库，实现分析结果对问题领域的抽象。nOOD归纳出的类，可以是归纳出的类，可以是OOA类的类的简单延续简单延续，也，也可以是基于设计要求可以是基于设计要求新建立新建立或或从已有类演化从已有类演化的类。的类。因此，因此，OOD是是OOA的进一步细化和更高层的抽象，的进一步细化和更高层的抽象，OOD与与OOA 的界限通常是难以严格区分的。的界限通常是难以严格区分的。nOOD确定类和类结构是想通过重新组合或加以适当确定类和类结构是想通过重新组合或加以适当的补
21、充，可方便地实现功能的复用和扩充。的补充，可方便地实现功能的复用和扩充。1919软件工程软件工程nOOD的测试可从如下三方面考虑：的测试可从如下三方面考虑：对认定的类的测试对认定的类的测试对构造的类层次结构的测试对构造的类层次结构的测试对类库的支持的测试对类库的支持的测试1.对认定的类的测试对认定的类的测试认定的类的测试应考虑以下几个方面：认定的类的测试应考虑以下几个方面：a)是否涵盖了是否涵盖了OOA中所有认定的对象。中所有认定的对象。b)是否能体现是否能体现OOA中定义的属性。中定义的属性。c)是否能实现是否能实现OOA中定义的服务。中定义的服务。d)是否对应着一个含义明确的数据抽象。是否
22、对应着一个含义明确的数据抽象。2020软件工程软件工程e)是否尽可能少地依赖其他类。是否尽可能少地依赖其他类。f)类中的方法（类中的方法（C+称为类的成员函数）是否称为类的成员函数）是否只有单一用途。只有单一用途。2.对构造的类层次结构的测试对构造的类层次结构的测试为能充分发挥面向对象的继承共享特性，为能充分发挥面向对象的继承共享特性，OOD的类层次结构，通常基于的类层次结构，通常基于OOA中产生的泛化结中产生的泛化结构的原则来组织，着重体现父类和子类之间一构的原则来组织，着重体现父类和子类之间一般性和特殊性关系。般性和特殊性关系。在当前的问题领域，对类层次结构的主要要求在当前的问题领域，对类
23、层次结构的主要要求是能在解空间构造实现全部功能的结构框架。是能在解空间构造实现全部功能的结构框架。为此应做如下几个方面的检查：为此应做如下几个方面的检查：2121软件工程软件工程a)类层次结构中是否涵盖了所有定义的类。类层次结构中是否涵盖了所有定义的类。b)是否能体现是否能体现OOA中所定义的实例连接。中所定义的实例连接。c)是否能实现是否能实现OOA中所定义的消息连接。中所定义的消息连接。d)子类是否具有父类没有的新特性。子类是否具有父类没有的新特性。e)子类之间的共同特性是否完全在父类中得以子类之间的共同特性是否完全在父类中得以体现。体现。3.对类库支持的测试对类库支持的测试对类库的支持虽
24、然也属于类层次结构的组织问对类库的支持虽然也属于类层次结构的组织问题，但其强调的重点是软件的复用。由于它并题，但其强调的重点是软件的复用。由于它并不直接影响当前软件的开发和功能实现，可以不直接影响当前软件的开发和功能实现，可以将其单独提出来测试。将其单独提出来测试。2222软件工程软件工程有关类库支持的测试可从以下几个方面入手有关类库支持的测试可从以下几个方面入手:a)一组子类中有关某种含义相同或基本相同的一组子类中有关某种含义相同或基本相同的操作，是否有相同的接口（包括名字和参数操作，是否有相同的接口（包括名字和参数表）。表）。b)类中方法（类中方法（C+称为类的成员函数）的功能称为类的成员
25、函数）的功能是否比较单一，相应的代码行是否较少（建是否比较单一，相应的代码行是否较少（建议不超过议不超过100行）。行）。c)类的层次结构是否是深度大，宽度小。类的层次结构是否是深度大，宽度小。2323软件工程软件工程8.2.3 8.2.3 面向对象编程的测试面向对象编程的测试 n典型的面向对象程序具有典型的面向对象程序具有继承继承、封装封装和和多态多态等新特等新特性，这使得传统的测试策略必须有所改变。性，这使得传统的测试策略必须有所改变。n封装封装是对数据的隐藏，外界只能通过接口提供的操是对数据的隐藏，外界只能通过接口提供的操作来访问或修改数据，这就降低了直接接触数据的作来访问或修改数据，这
26、就降低了直接接触数据的可能性，妨碍了对非法数据操作的测试。可能性，妨碍了对非法数据操作的测试。n继承继承提高了代码的复用率，同时也提高了错误传播提高了代码的复用率，同时也提高了错误传播的概率。继承向测试提出了这样一个难题：对继承的概率。继承向测试提出了这样一个难题：对继承的代码究竟如何测试？的代码究竟如何测试？n多态多态令面向对象程序对外表现出强大的处理能力，令面向对象程序对外表现出强大的处理能力，2424软件工程软件工程但同时却使得程序内但同时却使得程序内“同一同一”函数的行为复杂化，函数的行为复杂化，测试时不得不考虑不同类型的同名操作具体的实测试时不得不考虑不同类型的同名操作具体的实现代码
27、和产生的行为。现代码和产生的行为。n面向对象程序是把功能的实现分布在类中。与某面向对象程序是把功能的实现分布在类中。与某种设计功能相关的一组对象，通过对象提供的种设计功能相关的一组对象，通过对象提供的服服务务和对象之间的和对象之间的消息传递消息传递，共同协作来，共同协作来实现这个实现这个功能功能。这种面向对象程序风格，可将出现的错误。这种面向对象程序风格，可将出现的错误精确定位在某一个具体的对象。精确定位在某一个具体的对象。n因此，因此，在面向对象编程（在面向对象编程（OOP）阶段，将测试的目）阶段，将测试的目光集中在类光集中在类功能的实现和相应的面向对象程序风功能的实现和相应的面向对象程序风
28、格上。格上。2525软件工程软件工程1.1.数据成员是否满足数据封装的要求数据成员是否满足数据封装的要求n检查数据成员是否满足数据封装的要求，就是检查检查数据成员是否满足数据封装的要求，就是检查其其数据成员是否能被外界（数据成员所属的类或子数据成员是否能被外界（数据成员所属的类或子类以外的调用）直接调用类以外的调用）直接调用。更直观的说，当改变数。更直观的说，当改变数据成员的结构时，看其是否影响了类的对外接口，据成员的结构时，看其是否影响了类的对外接口，是否会导致相应外界必须改动。是否会导致相应外界必须改动。n值得注意，有时强制的类型转换会破坏数据的封装值得注意，有时强制的类型转换会破坏数据的
29、封装特性。例如：特性。例如：class Hiden private:int a=1;2626软件工程软件工程 char*p=hiden;class Visible public:int b=2;char*s=visible;.Hiden pp;Visible*qq=(Visible*)&pp;n在上面的程序段中，在上面的程序段中，pp的数据成员可以通过的数据成员可以通过qq被随被随意访问。意访问。2727软件工程软件工程2.2.类是否实现了要求的功能类是否实现了要求的功能 n类的功能都是通过类的成员函数实现的。在测试类类的功能都是通过类的成员函数实现的。在测试类的功能实现时，应该首先保证类成员
30、函数执行的正的功能实现时，应该首先保证类成员函数执行的正确性。确性。n单独地看类的成员函数，与过程性程序中的函数或单独地看类的成员函数，与过程性程序中的函数或过程没有本质的区别，几乎所有传统的单元测试中过程没有本质的区别，几乎所有传统的单元测试中使用的方法，都可在面向对象的单元测试中使用。使用的方法，都可在面向对象的单元测试中使用。n类函数成员的正确行为只是类能够实现要求功能的类函数成员的正确行为只是类能够实现要求功能的基础，而类成员函数之间的交互和类之间的服务调基础，而类成员函数之间的交互和类之间的服务调用是单元测试无法确定的。因此需要进行面向对象用是单元测试无法确定的。因此需要进行面向对象
31、的集成测试。的集成测试。2828软件工程软件工程n需要注意的是，测试类的功能，不能仅满足于被需要注意的是，测试类的功能，不能仅满足于被测试代码能测试代码能无错运行无错运行或被测试类提供的或被测试类提供的功能无错功能无错，还应该以还应该以OOD结果为依据，检测类提供的功能是结果为依据，检测类提供的功能是否满足设计的要求，是否有缺陷。否满足设计的要求，是否有缺陷。n必要时（如通过必要时（如通过OOD结果仍不清楚明确的地方）结果仍不清楚明确的地方）还应该参照还应该参照OOA的结果的结果，并以其为最终标准。，并以其为最终标准。2929软件工程软件工程n编程完成之后，需要经历三个阶段的测试：编程完成之后
32、，需要经历三个阶段的测试：单元测试单元测试集成测试集成测试系统测试系统测试n传统的单元测试是针对程序的函数、过程或完成传统的单元测试是针对程序的函数、过程或完成某一特定功能的程序块所进行的测试。某一特定功能的程序块所进行的测试。8.3 8.3 开发后期的面向对象测试开发后期的面向对象测试8.3.1 8.3.1 面向对象的单元测试（面向对象的单元测试（Unit TestUnit Test）3030软件工程软件工程n面向对象的单元测试则是针对面向对象程序的基面向对象的单元测试则是针对面向对象程序的基本单元本单元对象类。为此需要分两步走：对象类。为此需要分两步走：1)测试与对象相关联的单个操作测试与
33、对象相关联的单个操作 它们是一些函它们是一些函数或程序，传统的白盒测试和黑盒测试方法都数或程序，传统的白盒测试和黑盒测试方法都可以使用。可以使用。2)测试单个对象类测试单个对象类 黑盒测试的原理不变，但等黑盒测试的原理不变，但等价划分的概念要扩展以适合操作序列的情况。价划分的概念要扩展以适合操作序列的情况。n在设计测试用例时，可基于以下两个假设：在设计测试用例时，可基于以下两个假设：1.1.对象操作的测试对象操作的测试3131软件工程软件工程a)如果操作（成员函数）对某一类输入中的一个如果操作（成员函数）对某一类输入中的一个数据正确执行，对同类中的其他输入也能正确数据正确执行，对同类中的其他输
34、入也能正确执行。执行。b)如果操作（成员函数）对某一复杂度的输入能如果操作（成员函数）对某一复杂度的输入能够正确执行，则对更高复杂度的输入也应能正够正确执行，则对更高复杂度的输入也应能正确执行。确执行。例如需要选择字符串作为输入时，基例如需要选择字符串作为输入时，基于本假设，就无需计较字符串的长度。除非字于本假设，就无需计较字符串的长度。除非字符串的长度是固定的，如符串的长度是固定的，如IP地址字符串。地址字符串。n在面向对象程序中，对象的操作（成员函数）通在面向对象程序中，对象的操作（成员函数）通常都很小，功能单一，函数之间调用频繁，容易常都很小，功能单一，函数之间调用频繁，容易出现一些不宜
35、发现的错误。例如：出现一些不宜发现的错误。例如：3232软件工程软件工程if(-1=write(fid,buffer,amount)error_out();该语句没有全面检查该语句没有全面检查 write()的返回值，无意中的返回值，无意中假设了只有数据被假设了只有数据被完全写入完全写入和和没有写入没有写入两种情两种情况。此测试还忽略了数据况。此测试还忽略了数据部分写入部分写入的情况，就的情况，就给程序遗留了隐患。给程序遗留了隐患。按程序的设计，使用函数按程序的设计，使用函数 strrchr()查找最后的查找最后的匹配字符，但程序中误写成了函数匹配字符，但程序中误写成了函数 strchr()，
36、使，使程序功能实现时查找的是第一个匹配字符。程序功能实现时查找的是第一个匹配字符。程序中将程序中将 if(strncmp(str1,str2,strlen(str1)误误写成了写成了if(strncmp(str1,str2,strlen(str2)。如。如果测试用例中使用的数据果测试用例中使用的数据 str1 和和 str2 长度相长度相3333软件工程软件工程同，就无法检测出。同，就无法检测出。因此，在设计测试用例时，应对因此，在设计测试用例时，应对以函数返回值以函数返回值作为条件判断作为条件判断，字符串操作字符串操作等情况特别注意。等情况特别注意。n面向对象编程的特性使得对成员函数的测试，
37、又面向对象编程的特性使得对成员函数的测试，又不完全等同于传统的函数或过程测试。尤其是继不完全等同于传统的函数或过程测试。尤其是继承特性和多态特性，承特性和多态特性，Brian Marick 提出提出了两点：了两点：1)继承的成员函数可能需要重新测试继承的成员函数可能需要重新测试 对父类中已经测试过的成员函数，两种情况需对父类中已经测试过的成员函数，两种情况需要在子类中重新测试：要在子类中重新测试：a)继承的成员函数在子类中做了改动；继承的成员函数在子类中做了改动；b)成员函数调用了改动过的成员函数。成员函数调用了改动过的成员函数。3434软件工程软件工程例如：假设父类例如：假设父类 Bass
38、有两个成员函数：有两个成员函数：Inherited()Redefined()若子类若子类 Derived 对对 Redefined()做了改动，做了改动，Derived:Redefined()必必需重新测试。但如果需重新测试。但如果 Derived:Inherited()包含有调用包含有调用 Redefined()的的语句（如：语句（如：x=x/Redefined()），就需要重新），就需要重新测试；反之，则不必重新测试。测试；反之，则不必重新测试。2)对父类的测试用例不能照搬到子类对父类的测试用例不能照搬到子类根据以上的假设，根据以上的假设，Base:Redefined()和和Derived
39、:Redefined()是不同的成员函数，它们是不同的成员函数，它们3535软件工程软件工程有不同的说明和实现。对此，应该对有不同的说明和实现。对此，应该对 Derived:Redefined()重新设计测试用例。重新设计测试用例。由于面向对象的继承性，使得两个函数还是有由于面向对象的继承性，使得两个函数还是有相似之处，故只需在相似之处，故只需在 Base:Redefined()的测试的测试用例基础上添加对用例基础上添加对 Derived:Redfined()的新测的新测试用例。试用例。例如：例如：Base:Redefined()含有如下语句含有如下语句 if(value 0)message(
40、less);else if(value=0)message(equal);else message(more);Derived:Redfined()中定义为中定义为3636软件工程软件工程 if(value 0)message(less);else if(value=0)message(“It is equal);else message(more);if(value=88)message(luck);在原有的测试上，对在原有的测试上，对 Derived:Redfined()的测的测试只需做如下改动：改动试只需做如下改动：改动 value=0 的预期测的预期测试结果，并增加试结果，并增加 va
41、lue=88 的测试。的测试。n多态有几种不同的形式，如多态有几种不同的形式，如参数多态参数多态，包含多态包含多态，重载多态重载多态。n包含多态包含多态和和重载多态重载多态在面向对象语言程序中通常在面向对象语言程序中通常3737软件工程软件工程n体现在体现在子类与父类的继承关系子类与父类的继承关系上，对这两种多态上，对这两种多态的测试可参照对父类成员函数继承和重载的情况的测试可参照对父类成员函数继承和重载的情况处理。处理。n在测试对象时，完全的覆盖测试应当包括：在测试对象时，完全的覆盖测试应当包括：隔离对象中所有隔离对象中所有操作操作，进行独立测试。，进行独立测试。测试对象中所有测试对象中所有
42、属性属性的设置和访问。的设置和访问。测试对象的所有可能的测试对象的所有可能的状态转换状态转换。所有可能。所有可能引起状态改变的事件都要模拟到。引起状态改变的事件都要模拟到。2.2.对象类测试对象类测试3838软件工程软件工程对对象象类类，作作为为在在语语法法上上独独立立的的构构件件，应应当当允允许许在在不不同同应应用用中中使使用用。每每个个类类都都应应是是可可靠靠的的且且不不需需了了解解任任何何实实现现细细节节就就能能复复用用。因因此此对对象象类类应应尽尽可可能能孤立地进行测试。孤立地进行测试。设计操作的测试用例时的要点：设计操作的测试用例时的要点：1)首先定义测试对象首先定义测试对象各操作各
43、操作的测试用例。的测试用例。2)对对于于一一个个单单独独的的操操作作，可可通通过过该该操操作作的的前前置置条条件件选选择择测测试试用用例例，产产生生输输出出，让让测测试试者者能能够够判判断断后置条件后置条件是否能够得到满足。是否能够得到满足。3)各各个个操操作作的的测测试试与与传传统统对对函函数数过过程程定定义义的的测测试试基本相同。基本相同。3939软件工程软件工程4)然然后后再再把把测测试试用用例例组组扩扩充充，针针对对被被测测操操作作调调用用对对象象类类中中其其他他操操作作的的情情况况，设设计计操操作作序序列列的的测测试用例组。试用例组。5)测试可以覆盖每个操作的整个输入域。但这不测试可
44、以覆盖每个操作的整个输入域。但这不够，还必须测试这些操作的相互作用，才能认够，还必须测试这些操作的相互作用，才能认为测试是充分的。为测试是充分的。6)各个操作间的相互作用包括各个操作间的相互作用包括类内通信类内通信和和类间通类间通信信。n设计对象类的规格说明测试时的要点：设计对象类的规格说明测试时的要点：1)把对象类当做一个黑盒，确认类的实现是否遵把对象类当做一个黑盒，确认类的实现是否遵照它的定义。照它的定义。4040软件工程软件工程putReferencePoint(Point)moveTo(Point)ReferencePointarea()draw()erase()getReferenc
45、ePoint(Point)DisplayableShape(Point)DisplayableShape类内消息类内消息类间消息类间消息DisplayableShape()4141软件工程软件工程例如，对于例如，对于“栈栈”的测试应当确保的测试应当确保 LIFO 原则原则得以实施。得以实施。2)对于多数对象类，主要检验在类声明的对于多数对象类，主要检验在类声明的 public 域域中的那些操作。中的那些操作。3)对于子类，要检查继承父类的对于子类，要检查继承父类的public 域域和和protected 域域的那些操作。的那些操作。4)检查所有检查所有public域域，protected域域及
46、及private 域域中中的操作以完全检查对象中定义的操作。的操作以完全检查对象中定义的操作。5)等价划分的思想也可用到对象类上。将等价划分的思想也可用到对象类上。将使用对使用对象相同属性象相同属性的测试归入同一个等价划分集合中。的测试归入同一个等价划分集合中。这样可以建立对对象类属性进行初始化、这样可以建立对对象类属性进行初始化、4242软件工程软件工程访问、更新等的等价划分。访问、更新等的等价划分。在设计对象类的行为测试时需要注意：在设计对象类的行为测试时需要注意：1)基于对象的基于对象的状态模型状态模型进行测试时，首先要识别进行测试时，首先要识别需要测试的需要测试的状态的变迁序列状态的变
47、迁序列，并定义事件序列，并定义事件序列来强制执行这些变迁。来强制执行这些变迁。2)原则上应当测试每一个状态变迁序列，当然这原则上应当测试每一个状态变迁序列，当然这样做测试成本很高。样做测试成本很高。3)完全的单元应当保证类的执行必须完全的单元应当保证类的执行必须覆盖它的一覆盖它的一个有代表性的状态集合个有代表性的状态集合。4)构造函数和消息序列（线程）的参数值的选择构造函数和消息序列（线程）的参数值的选择应当满足这个规则。应当满足这个规则。4343软件工程软件工程8.3.2 8.3.2 面向对象的集成测试面向对象的集成测试(OO Integrate Test)(OO Integrate Tes
48、t)n当开发面向对象系统时，集成的层次并不明显。而当开发面向对象系统时，集成的层次并不明显。而当一组对象类通过组合行为提供一组服务时，则需当一组对象类通过组合行为提供一组服务时，则需将它们一起测试，这就是簇测试。此时不存在自底将它们一起测试，这就是簇测试。此时不存在自底向上和自顶向下的集成。向上和自顶向下的集成。n面向对象程序相互调用的功能是散布在程序的不同面向对象程序相互调用的功能是散布在程序的不同类中，类通过消息相互作用申请和提供服务。类的类中，类通过消息相互作用申请和提供服务。类的行为与它的状态密切相关，状态不仅仅是体现在类行为与它的状态密切相关，状态不仅仅是体现在类数据成员的值，也许还
49、包括其他类中的状态信息。数据成员的值，也许还包括其他类中的状态信息。4444软件工程软件工程对象集成测试又称对象集成测试又称交互测试交互测试，目的是确保对象的，目的是确保对象的消息传递能够正确进行。消息传递能够正确进行。面向对象系统的集成测试有面向对象系统的集成测试有 3 种可用的方法：种可用的方法：1)用例或基于场景的测试用例或基于场景的测试 用例或场景描述了对用例或场景描述了对系统的使用模式。测试可以根据场景描述和对系统的使用模式。测试可以根据场景描述和对象簇来制定。这种测试象簇来制定。这种测试着眼于系统结构，首先着眼于系统结构，首先测试几乎不使用服务器类的独立类，再测试那测试几乎不使用服
50、务器类的独立类，再测试那些使用了独立类的下一层次的（依赖）类。这些使用了独立类的下一层次的（依赖）类。这样一层一层地持续下去，直到整个系统构造完样一层一层地持续下去，直到整个系统构造完成。成。2)基于线程的测试基于线程的测试 它把为响应某一系统输入或它把为响应某一系统输入或4545软件工程软件工程事件所需的一组对象类组装在一起。每一条线事件所需的一组对象类组装在一起。每一条线程将分别测试和组装。因为面向对象系统通常程将分别测试和组装。因为面向对象系统通常是事件驱动的，因此这是一个特别合适的测试是事件驱动的，因此这是一个特别合适的测试形式。形式。3)对象交互测试对象交互测试 这个方法提出了集成测