第12篇 面向对象实现.ppt

* * * * * * 图12.4 account类的状态转换图 2. 从动态模型导出测试用例 类的状态图可以帮助我们导出测试该类（及与其协作的那些类）的动态行为的测试用例。图12.4给出了前面讨论过的account类的状态图，从图可见，初始转换经过了empty acct和setup acct这两个状态，而类实例的大多数行为发生在working acct状态中，最终的withdraw和close使得account类分别向nonworking acct状态和dead acct状态转换。 设计出的测试用例应该覆盖所有状态，也就是说，操作序列应该使得account类实例遍历所有允许的状态转换： 测试用例#s1:open·setupAccnt·deposit(initial)·withdraw(final)·close 应该注意，上面列出的序列与12.4.1节讨论的最小测试序列相同。向最小序列中加入附加的测试序列，可以得出其他测试用例： 测试用例#s2:open·setupAccnt·deposit(initial)·deposit·balance·credit·withdraw(final)·close 测试用例#s3:open·setupAccnt·deposit(initial)·deposit·withdraw·accntInfo·withdraw(final)·close 还可以导出更多测试用例，以保证该类的所有行为都被适当地测试了。在类的行为导致与一个或多个类协作的情况下，应该使用多个状态图去跟踪系统的行为流。 12.5 小结 程序设计语言 程序设计风格 测试策略 设计测试用例 思考题 如何用面向对象方法实现软件设计？ * * * * * * * * * * * * * * * * * * * * * * * * * * 单击此处编辑母版标题样式 单击此处编辑母版副标题样式 第12章 面向对象实现 【教学目的】 掌握面向对象的程序设计风格，测试用例的设计。熟悉面向对象程序设计语言的特点和测试策略 【重点难点】 测试用例的设计 【主要内容】 程序设计语言 程序设计风格 测试策略 设计测试用例 12.1 程序设计语言 12.1.1 面向对象语言的优点 一致的表示方法 可重用性 可维护性 12.1.2 面向对象语言的技术特点 面向对象语言 纯面向对象语言，如Smalltalk和Eiffel等语言 混合型面向对象语言，如C++等语言 技术特点 支持类与对象概念的机制 实现整体-部分(即聚集)结构的机制 实现一般-特殊(即泛化)结构的机制 实现属性和服务的机制 类型检查 类库 效率 持久保存对象 参数化类 开发环境 12.1.3 选择面向对象语言 将来能否占主导地位 可重用性 类库和开发环境 其他因素 12.2 程序设计风格 良好的面向对象程序设计风格，既包括传统的程序设计风格准则，也包括为适应面向对象方法所特有的概念(例如，继承性)而必须遵循的一些新准则。 12.2.1 提高可重用性 提高方法的内聚 减小方法的规模 保持方法的一致性 把策略与实现分开 全面覆盖 尽量不使用全局信息 利用继承机制 12.2.2 提高可扩充性 封装实现策略 不要用一个方法遍历多条关联链 避免使用多分支语句 精心确定公有方法 12.2.3 提高健壮性 预防用户的操作错误 检查参数的合法性 不要预先确定限制条件 先测试后优化 12.3 测试策略 测试软件的经典策略是，从“小型测试”开始，逐步过渡到“大型测试”。即从单元测试开始，逐步进入集成测试，最后进行确认测试和系统测试。 12.3.1 面向对象的单元测试 测试面向对象软件时，不能再孤立地测试单个操作，而应该把操作作为类的一部分来测试。例如，假设有一个类层次，操作X在超类中定义并被一组子类继承，每个子类都使用操作X，但是，X调用子类中定义的操作并处理子类的私有属性。由于在不同的子类中使用操作X的环境有微妙的差别，因此有必要在每个子类的语境中测试操作X。 12.3.2 面向对象的集成测试 （1） 基于线程的测试（thread based testing)。这种策略把响应系统的一个输入或一个事件所需要的那些类集成起来。分别集成并测试每个线程，同时应用回归测试以保证没有产生副作用。 （2） 基于使用的测试（use based testing)。这种方法首先测试几乎不使用服务器类的那些类（称为独立类），把独立类都测试完之后，再测试使用独立类的下一个层次的类（称为依赖类）。对依赖类的测试一个层次一个层次地持续进行下去，直至把整个软件系统构造完为止。 12.3.3 面向对象的确认测试 和传统的确认测试一样，面向对象软件的确认测试也集中检查用户可见的动作和用户可识别的输出。为了导出确