面向对象实现.ppt

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,大连理工大学软件学院,*,软件工程,第,12,章 面向对象实现,把面向对象设计结果，,翻译,成用某种程序设计语言书写的面向对象程序；,测试,并,调试,面向对象的程序。,面向对象程序的质量基本上由面向对象设计的质量决定，但是，所采用的程序设计语言的特点和程序设计风格也将对程序的可靠性、可重用性和可维护性产生影响。,2025/12/10 周三,2,大连理工大学软件学院,面向对象测试的目标，是用尽可能低的测试成本和尽可能少的测试方案，发现尽可能多的错误。,面向对象程序中特有的,封装、继承和多态,等机制，也给面向对象测试带来一些新特点，增加了测试和调试的难度。,必须通过实践，努力探索适合于面向对象软件的更好的测试方法。,2025/12/10 周三,3,大连理工大学软件学院,12.1,程序设计语言,12.2,程序设计风格,12.3,测试策略,12.4,设计测试用例,12.5,小结,2025/12/10 周三,4,大连理工大学软件学院,12.1,程序设计语言,面向对象语言的优点,选择编程语言的关键因素，是语言的一致的表达能力、可重用性及可维护性。,2025/12/10 周三,5,大连理工大学软件学院,面向对象语言的技术特点,纯面向对象语言着重支持面向对象方法研究和快速原型的实现,smalltalk,java,混合型面向对象语言的目标则是提高运行速度和使传统程序员容易接受面向对象思想。,C+,成熟的面向对象语言通常都提供丰富的类库和强有力的开发环境。,2025/12/10 周三,6,大连理工大学软件学院,支持类与对象概念的机制（,内存回收,）,实现整体,部分结构的机制（,内部指针,）,实现一般,特殊结构的机制（,多继承,）,实现属性和服务的机制（,多态,）,类型检查（,编译时强弱类型检查,）,类库,效率,持久保存对象,参数化类,开发环境,2025/12/10 周三,7,大连理工大学软件学院,12.2,程序设计风格,良好的程序设计风格对面向对象实现来说尤其重要，不仅能明显减少维护或扩充的开销，而且有助于在新项目中重用已有的程序代码。,良好的面向对象程序设计风格，既包括,传统,的程序设计风格准则，也包括为适应面向对象方法所特有的概念,(,例如，继承性,),而必须遵循的一些,新准则,。,2025/12/10 周三,8,大连理工大学软件学院,提高可重用性,面向对象方法一个主要目标，是提高软件的可重用性。,软件重用有多个层次，在编码阶段主要考虑,代码重用,的问题。一般说来，代码重用有两种：一种是本项目内的代码重用，另一种是新项目重用旧项目的代码。,设计重用,内部重用主要是找出设计中相同或相似的部分，然后利用继承机制共享它们。,为做到外部重用,(,即一个项目重用另一项目的代码,),，必须有长远眼光，需要反复考虑精心设计。,2025/12/10 周三,9,大连理工大学软件学院,提高方法的内聚（,功能单一,）,减小方法的规模（,提高内聚,）,保持方法的一致性（,能够被子类替换,）,把策略与实现分开（,抽象与实现,）,为提高可重用性，在编程时不要把策略和实现放在同一个方法中，应该把算法的核心部分放在一个单独的具体实现方法中。,为此需要从策略方法中提取出具体参数，作为调用实现方法的变元。,2025/12/10 周三,10,大连理工大学软件学院,全面覆盖（,考虑周全,）,尽量不使用全局信息（,降低耦合,）,利用继承机制,在面向对象程序中，使用继承机制是实现共享和提高重用程度的主要途径。,调用子过程,分解因子（,方法中的,switch,语句，多态！,）,使用委托,把代码封装在类中（,走向继承,）,2025/12/10 周三,11,大连理工大学软件学院,通过调用公用方法实现代码重用,2025/12/10 周三,12,大连理工大学软件学院,通过因子分解实现代码重用,2025/12/10 周三,13,大连理工大学软件学院,提高可扩充性,上一小节所述的提高可重用性的准则，也能提高程序的可扩充性。,此外，下列的面向对象程序设计准则也有助于提高可扩充性。,封装实现策略,不要用一个方法遍历多条关联链（,功能不单一,）,避免使用多分支语句,精心确定公有方法（,对外接口,）,2025/12/10 周三,14,大连理工大学软件学院,提高健壮性,程序员在编写实现方法的代码时，既应该考虑效率，也应该考虑健壮性。,通常需要在健壮性与效率之间做出适当的折衷。必须认识到，对于任何一个实用软件来说，健壮性都是不可忽略的质量指标。,为提高健壮性应该遵守以下几条准则。,预防用户的操作错误,检查参数的合法性,不要预先确定限制条件,先测试后优化,2025/12/10 周三,15,大连理工大学软件学院,12.3,测试策略,经典策略是，,从“小型测试”开始，逐步过渡到“大型测试”,，用软件测试专业术语来说，就是从单元测试开始，逐步进入集成测试，最后进行确认测试和系统测试。,对于传统软件系统，,单元测试,集中测试可编译的程序单元,(,过程模块,),，然后,集成,到程序结构中，同时进行,回归测试,，以发现模块接口和新单元加入带来的错误。,再把系统作为一个,整体,来测试，发现软件需求中的错误。,测试面向对象软件的策略与上述基本相同，但有新特点。,2025/12/10 周三,16,大连理工大学软件学院,面向对象的单元测试,最小的可测试单元是封装起来的类和对象。一个类可以包含一组不同的操作，而一个特定的操作也可能存在于一组不同的类中。因此，对于面向对象的软件来说，单元测试的含义发生了很大变化。,不能再孤立地测试单个操作，而应该把操作作为类的一部分来测试。,2025/12/10 周三,17,大连理工大学软件学院,面向对象的集成测试,面向对象软件的集成测试有两种不同的策略。,基于线程的测试,(thread-based testing),：把响应系统的一个输入或一个事件所需要的一组类集成起来。分别集成并测试每个线程，同时应用回归测试以保证没有产生副作用。,基于使用的测试,(use-based testing),：首先测试几乎不使用服务类的那些类,(,称为独立类,),，接下来测试使用独立类的下一个层次的类,(,称为依赖类,),。对依赖类的测试一个层次一个层次地持续进行下去，直至把整个软件系统构造完为止。,2025/12/10 周三,18,大连理工大学软件学院,集群测试,(cluster testing),是面向对象软件集成测试的一个步骤：用精心设计的测试用例检查一群相互协作的类,(,通过研究对象模型可以确定协作类,),，这些测试用例力图发现协作错误。,2025/12/10 周三,19,大连理工大学软件学院,面向对象的确认测试,在确认测试或系统测试层次，不再考虑类之间相互连接的细节。,和传统的确认测试一样，面向对象软件的确认测试也集中检查用户可见的动作和用户可识别的输出。,为了导出确认测试用例，测试人员应该认真研究动态模型和描述系统行为的脚本，以确定最可能发现用户交互需求错误的情景。,2025/12/10 周三,20,大连理工大学软件学院,传统的黑盒测试方法也可用于设计确认测试用例,但对于面向对象的软件来说，,主要还是根据动态模型和描述系统行为的脚本来设计确认测试用例,2025/12/10 周三,21,大连理工大学软件学院,12.4,设计测试用例,测试类的方法,软件测试从“小型”测试开始，逐步过渡到“大型”测试。对面向对象的软件来说，小型测试着重测试单个类和类中封装的方法。,测试单个类的方法主要有，,随机测试、划分测试和基于故障的测试,等三种。,2025/12/10 周三,22,大连理工大学软件学院,随机测试,银行系统的,account(,账户,),类有下列操作：,open(,打开,),，,setup(,建立,),，,deposit(,存款,),，,withdraw(,取款,),，,balance(,余额,),，,summarize(,清单,),，,creditLimit,(,透支限额,),和,close(,关闭,),。,每个操作都可以应用于,account,类的实例，但该系统的性质对操作的应用施加了一些限制，如必须在其他操作之前先打开账户，完成全部操作之后才关闭账户。,即使有这些限制，可做的操作也有许多种排列方法。一个,account,类实例的最小行为历史包括下列操作：,2025/12/10 周三,23,大连理工大学软件学院,opensetupdepositwithdrawclose,这是对,account,类的最小测试序列。但在下面的序列中可能发生许多其他行为：,Open setup deposit deposit,withdraw,balance,summarize,creditLimit,n,withdraw close,上列序列可以随机产生一系列不同的操作序列，如：,#r1:opensetupdepositdepositbalancesummarizewithdrawclose,#r2:opensetupdepositwithdrawdepositbalancecreditLimitwithdrawclose,执行上述这些及另外一些随机产生的测试用例，可以测试类实例的不同生存历史。,2025/12/10 周三,24,大连理工大学软件学院,划分测试,与测试传统软件时采用等价划分方法类似，采用划分测试,(partition testing),方法可以减少测试类时所需要的测试用例的数量。,首先，把输入和输出分类，然后设计测试用例以测试划分出的每个类别。,2025/12/10 周三,25,大连理工大学软件学院,基于状态的划分,根据类操作改变类状态的能力来划分类操作。,account,类的状态操作包括,deposit,和,withdraw,，,而非状态操作有,balance,summarize,和,creditLimit,。,设计测试用例，分别测试改变状态的操作和不改变状态的操作。如：,测试用例,#p1:opensetupdepositdepositwithdrawwithdrawclose,#p2:opensetupdepositsummarizecreditLimitwithdrawclose,测试用例,#P1,改变状态，而测试用例,#P2,测试不改变状态的操作,(,在最小测试序列中的操作除外,),。,2025/12/10 周三,26,大连理工大学软件学院,基于属性的划分,根据类操作使用的属性来划分类操作。对于,account,类来说，可使用属性,balance,来定义划分，从而把操作划分成三个类别：,使用,balance,的操作；,修改,balance,的操作；,不使用也不修改,balance,的操作。,然后，为每个类别设计测试序列。,2025/12/10 周三,27,大连理工大学软件学院,基于故障的测试,基于故障的测试,(fault_based testing),与传统的错误推测法类似，是首先推测软件中可能有的错误，然后设计出最可能发现这些错误的测试用例。,例如，软件工程师经常在问题的边界处犯错误，因此，在测试,SQRT(,计算平方根,),操作,(,该操作在输入为负数时返回出错信息,),时，应该着重检查边界情况：一个接近零的负数和零本身。,其中“零本身”用于检查程序员是否犯了如下错误：,2025/12/10 周三,28,大连理工大学软件学院,把语句,if(x,0)calculate-square-root(),；,误写成,if(x,0)calculate-square-root(),；,为了推测出软件中可能有的错误，应该仔细研究分析模型和设计模型，而且在很大程度上要依靠测试人员的经验和直觉。,如果推测得比较准确，则使用基于故障的测试方法能够用相当低的工作量发现大量错误；反之，如果推测不准，则这种方法的效果并不比随机测试技术的效果好。,2025/12/10 周三,29,大连理工大学软件学院,集成测试方法,开始集成面向对象系统以后，测试用例的设计变得更加复杂。必须对,类间协作,进行测试。,为说明设计类间测试用例的方法，扩充银行系统的例子，使它包含图所示的类和协作。,箭头方向代表消息的传递方向，箭头线上的标注给出了作为由消息所蕴含的协作的结果而调用的操作。,2025/12/10 周三,30,大连理工大学软件学院,银行系统的类,协作图,2025/12/10 周三,31,大连理工大学软件学院,和测试单个类相似，测试类协作可以使用随机测试方法和划分测试方法，以及基于情景的测试和行为测试完成。,多类测试,生成多个类的随机测试用例：,对每个客户类，使用类操作符列表来生成一系列随机测试序列。这些操作符向服务类实例发送消息。,对所生成的每个消息，确定协作类和在服务对象中对应操作符。,对服务对象中的每个操作符,(,已经被来自客户对象的消息调用,),，确定传递的消息。,对每个消息，确定下一层被调用的操作符，并把这些操作符结合进测试序列中。,2025/12/10 周三,32,大连理工大学软件学院,用上述步骤生成多个类的,随机测试用例,，考虑,Bank,类相对于,ATM,类的操作序列：,verifyAcct verifyPIN,verifyPolicywithdrawReq|depositReq|acctInfo,n,对,Bank,类的随机测试用例可能是：,#r3:verifyAcct verifyPIN depositReq,上述测试涉及的协作者，考虑与测试用例,#r3,中的每个操作相关联的消息。,Bank,必须和,ValidationInfo,协作以执行,verifyAcct,和,verifyPIN,，,Bank,还必须和,Account,协作以执行,depositReq,。因此，测试上面的协作的新测试用例是：,2025/12/10 周三,33,大连理工大学软件学院,#r4:verifyAcct,Bank,validAcct,ValidationInfo,verifyPIN,Bank,validPIN,validationInfo,depositReq,deposit,account,多个类的划分测试方法,类似于单个类的划分测试方法。但对于多类测试，应扩充测试序列以包括那些通过发送给协作类的消息而被调用的操作。,另一种划分测试方法，根据与特定类的接口来划分类操作。,Bank,类接收来自,ATM,类和,Cashier,类的消息，因此，可以通过把,Bank,类中的方法划分成服务于,ATM,的和服务于,Cashier,的两类来测试它们。,还可以用基于状态的划分，进一步精化划分。,2025/12/10 周三,34,大连理工大学软件学院,从动态模型导出测试用例,类的状态图可以帮助导出测试该类,(,及与其协作的那些类,),的动态行为的测试用例。,图,9.4,是,account,类的状态图，初始转换经过了,empty acct,和,setup acct,这两个状态，而类实例的大多数行为发生在,working acct,状态中，最终的,withdraw,和,close,使得,account,类分别向,nonworking acct,状态和,dead acct,状态转换。,2025/12/10 周三,35,大连理工大学软件学院,account,类的状态转换图,2025/12/10 周三,36,大连理工大学软件学院,设计出的测试用例应该覆盖所有状态，操作序列应使,account,类实例遍历所有允许的状态转换：,测试用例,#s1:opensetupAccntdeposit(initial)withdraw(final)close,上面列出的序列与前面讨论的最小测试序列相同。向最小序列中加入附加的测试序列，可以得出其他测试用例：,2025/12/10 周三,37,大连理工大学软件学院,测试用例,#s2:opensetupAccntdeposit(initial)depositbalancecreditwithdraw(final)close,#s3:opensetupAccntdeposit(initial)depositwithdrawaccntInfowithdraw(final)close,还可导出更多测试用例，以保证该类的所有行为都被适当地测试了。,在类的行为导致与一个或多个类协作的情况下，使用多个状态图去跟踪系统的行为流。,2025/12/10 周三,38,大连理工大学软件学院,12.5,小结,面向对象方法学把分析、设计和实现很自然地联系在一起了。虽然面向对象设计原则上不依赖于特定的实现环境，但是实现结果和实现成本却在很大程度上取决于实现环境。,因此，直接支持面向对象设计范型的面向对象程序语言、开发环境及类库，对于面向对象实现来说是非常重要的。,2025/12/10 周三,39,大连理工大学软件学院,具有方便的开发环境和丰富的类库的面向对象程序设计语言，是实现面向对象设计的最佳选择。,良好的程序设计风格对于面向对象实现来说格外重要。它既包括传统的程序设计风格准则，也包括与面向对象方法的特点相适应的一些新准则。,在测试面向对象程序的时候，除了继承传统的测试技术之外，还必须研究与面向对象程序特点相适应的新的测试技术。,面向对象测试的策略和技术从过程构件,(,模块,),移向了对象类。,2025/12/10 周三,40,大连理工大学软件学院,一旦完成了面向对象程序设计，就开始对每个类进行单元测试。测试类时使用的方法主要有随机测试、划分测试和基于故障的测试。,每种方法都测试类中封装的操作。应该设计测试序列以保证相关的操作受到充分测试。,检查对象的状态,(,由对象的属性值表示,),，以确定是否存在错误。,2025/12/10 周三,41,大连理工大学软件学院,采用基于线程或基于使用的策略完成集成测试。,基于线程的测试，集成一组相互协作以对某个输入或某个事件作出响应的类。,基于使用的测试，从不使用服务类的类开始，按层次构造系统。,设计集成测试用例，可采用随机测试和划分测试方法。,从动态模型导出测试用例，可测试指定类及其协作者。,面向对象系统的确认测试也是面向黑盒的，且可以应用传统的黑盒方法完成测试。但基于情景的测试是面向对象系统确认测试的主要方法。,2025/12/10 周三,42,大连理工大学软件学院,