第09章面向对象实现.pptVIP

9.4 设计测试用例 9.4.2 集成测试方法 测试用例#r4:verifyAcctBank·［validAcctValidationInfo］·verifyPINBank·［validPINvalidationInfo］·deposiReq·［depositaccount］  多个类的划分测试方法类似于单个类的划分测试方法(见9.4.1节)。但是，对于多类测试来说，应该扩充测试序列以包括那些通过发送给协作类的消息而被调用的操作。另一种划分测试方法，根据与特定类的接口来划分类操作。如图9.3所示，Bank类接收来自ATM类和Cashier类的消息，因此，可以通过把Bank类中的方法划分成服务于ATM的和服务于Cashier的两类来测试它们。还可以用基于状态的划分(见9.4.1节)，进一步精化划分。 9.4 设计测试用例 9.4.2 集成测试方法 ?从动态模型导出测试用例 在本书第6章中已经讲过，怎样用状态转换图作为表示类的动态行为模型。类的状态图可以帮助我们导出测试该类(及与其协作的那些类)的动态行为的测试用例。图9.4给出了前面讨论过的account类的状态图，从图可见，初始转换经过了empty acct和setup acct这两个状态，而类实例的大多数行为发生在working acct状态中，最终的withdraw和close使得account类分别向nonworking acct状态和dead acct状态转换。 9.4 设计测试用例 9.4.2 集成测试方法 account类的状态转换图 9.4 设计测试用例 9.4.2 集成测试方法 设计出的测试用例应该覆盖所有状态，也就是说，操作序列应该使得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 小节 面向对象方法学把分析、设计和实现很自然地联系在一起了。虽然面向对象设计原则上不依赖于特定的实现环境，但是实现结果和实现成本却在很大程度上取决于实现环境。因此，直接支持面向对象设计范型的面向对象程序语言、开发环境及类库，对于面向对象实现来说是非常重要的。 9.5 小节 为了把面向对象设计结果顺利地转变成面向对象程序，首先应该选择一种适当的程序设计语言。面向对象的程序设计语言非常适合用来实现面向对象设计结果。事实上，具有方便的开发环境和丰富的类库的面向对象程序设计语言，是实现面向对象设计的最佳选择。 良好的程序设计风格对于面向对象实现来说格外重要。它既包括传统的程序设计风格准则，也包括与面向对象方法的特点相适应的一些新准则。 9.5 小节 面向对象方法学使用独特的概念和技术完成软件开发工作，因此，在测试面向对象程序的时候，除了继承传统的测试技术之外，还必须研究与面向对象程序特点相适应的新的测试技术。 面向对象测试的总目标与传统软件测试的目标相同，也是用最小的工作量发现最多的错误。但是，面向对象测试的策略和技术与传统测试有所不同，测试的焦点从过程构件(模块)移向了对象类。 9.5 小节 一旦完成了面向对象程序设计，就开始对每个类进行单元测试。测试类时使用的方法主要有随机测试、划分测试和基于故障的测试。每种方法都测试类中封装的操作。应该设计测试序列以保证相关的操作受到充分测试。检查对象的状态(由对象的属性值表示)，以确定是否存在错误。 9.5 小节 可以采用基于线程或基于使用的策略完成集成测试。基于线程的测试，集成一组相互协作以对某个输入或某个事件作出响应的类。基于使用的测试，从那些不使用服务器类的类开始，按层次构造系统。设计集成测试用例，也可以采用随机测试和划分测试方法。此外，从动态模型导出的测试用例，可以测试指定的类及