北邮软件工程课件第9章面向对象实现-(精品课件).pptVIP

为了说明怎样用上述步骤生成多个类的随机测试用例，考虑Bank类相对于ATM类(见图9.3) 的操作序列： verifyAcct·verifyPIN·［〔verifyPolicy·withdrawReq〕depositReqacctInfoREQ］n 对Bank类的随机测试用例可能是： 测试用例#r3:verifyAcct·verifyPIN·depositReq 为了考虑在上述这个测试中涉及的协作者，需要考虑与测试用例#r3中的每个操作相关联的消息。Bank必须和ValidationInfo协作以执行verifyAcct和verifyPIN，Bank还必须和Account协作以执行depositReq。因此，测试上面提到的协作的新测试用例是： 测试用例#r4:verifyAcctBank·［validAcctValidationInfo］·verifyPINBank·［validPINvalidationInfo］·deposiReq·［depositaccount］  多个类的划分测试方法类似于单个类的划分测试方法(见9.4.1节)。但是，对于多类测试来说，应该扩充测试序列以包括那些通过发送给协作类的消息而被调用的操作。另一种划分测试方法，根据与特定类的接口来划分类操作。如图93所示，Bank类接收来自ATM类和Cashier类的消息，因此，可以通过把Bank类中的方法划分成服务于ATM的和服务于Cashier的两类来测试它们。还可以用基于状态的划分(见941节)，进一步精化划分。 2. 从动态模型导出测试用例 在本书第6章中已经讲过，怎样用状态转换图作为表示类的动态行为模型。类的状态图可以帮助我们导出测试该类(及与其协作的那些类)的动态行为的测试用例。图9.4给出了前面讨论过的account类的状态图，从图可见，初始转换经过了empty acct和setup acct这两个状态，而类实例的大多数行为发生在working acct状态中，最终的withdraw和close使得account类分别向nonworking acct状态和dead acct状态转换。 图9.4 account类的状态转换图 设计出的测试用例应该覆盖所有状态，也就是说，操作序列应该使得account类实例遍历所有允许的状态转换： 测试用例#s1:open·setupAccnt·deposit(initial)·withdraw(final)·close 应该注意，上面列出的序列与9.4.1节讨论的最小测试序列相同。向最小序列中加入附加的测试序列，可以得出其他测试用例： 测试用例#s2:open·setupAccnt·deposit(initial)·deposit·balance·credit·withdr aw(final)·close 测试用例#s3:open·setupAccnt·deposit(initial)·deposit·withdraw·accntInfo·wi thdraw(final)·close 还可以导出更多测试用例，以保证该类的所有行为都被适当地测试了。在类的行为导致与一个或多个类协作的情况下，使用多个状态图去跟踪系统的行为流。 9.5 小结 面向对象方法学把分析、设计和实现很自然地联系在一起了。虽然面向对象设计原则上不依赖于特定的实现环境，但是实现结果和实现成本却在很大程度上取决于实现环境。因此，直接支持面向对象设计范型的面向对象程序语言、开发环境及类库，对于面向对象实现来说是非常重要的。 为了把面向对象设计结果顺利地转变成面向对象程序，首先应该选择一种适当的程序设计语言。面向对象的程序设计语言非常适合用来实现面向对象设计结果。事实上，具有方便的开发环境和丰富的类库的面向对象程序设计语言，是实现面向对象设计的最佳选择。 良好的程序设计风格对于面向对象实现来说格外重要。它既包括传统的程序设计风格准则，也包括与面向对象方法的特点相适应的一些新准则。 面向对象方法学使用独特的概念和技术完成软件开发工作，因此，在测试面向对象程序的时候，除了继承传统的测试技术之外，还必须研究与面向对象程序特点相适应的新的测试技术。 面向对象测试的总目标与传统软件测试的目标相同，也是用最小的工作量发现最多的错误。但是，面向对象测试的策略和技术与传统测试有所不同，测试的焦点从过程构件(模块)移向了对象类。 一旦完成了面向对象程序设计，就开始对每个类进行单元测试。测试类时使用的方法主要有