(精)软件工程12.ppt

序 面向对象实现主要包括两项工作： 把面向对象设计结果翻译成用某种程序语言书写的面向对象程序； 测试并调试面向对象的程序。 程序语言的选择：所采用的程序语言的特点和程序设计风格对程序的可靠性、可重用性及可维护性产生深远影响。 测试及测试用例的设计 面向对象测试的目标，也是用尽可能低的测试成本发现尽可能多的软件错误。 面向对象程序中特有的封装、继承和多态等机制，给面向对象测试带来一些新特点，增加了测试和调试的难度。 第12章 面向对象实现 12.1 程序设计语言 12.2 程序设计风格 12.3 测试策略 12.4 设计测试用例 12.5 小结 12.1 程序设计语言 面向对象设计的结果既可以用面向对象语言、也可以用非面向对象语言实现。 使用面向对象语言时，编译程序可以自动把面向对象概念映射到目标程序中。 使用非面向对象语言时，则必须由程序员自己把面向对象概念映射到目标程序中。 要么完全回避继承的概念，要么在声明特殊化类时，把对一般化类的引用嵌套在它里面。 12.1.1 面向对象语言的优点 面向对象语言的语法能完整、准确地表达问题域语义，有下述几个重要优点： 1.一致的表示方法 2. 可重用性 3. 可维护性 以ATM系统为例，说明在程序内部表达问题域语义对维护工作的意义。 假设在维护该系统时没有合适的文档资料可供参阅，于是维护人员人工浏览程序或使用软件工具扫描程序，记下或打印出程序显式陈述的问题域语义，维护人员看到“ATM”、“账户”、“现金兑换卡”等，这对维护人员理解所要维护的软件将有很大帮助。 因此，在选择编程语言时，应该考虑的首要因素，是看哪个语言能最好地表达问题域语义。 12.1.2 面向对象语言的技术特点 20世纪80年代以来，形成两类面向对象语言： 纯面向对象语言，如Smalltalk和Eiffel等语言。 混合型面向对象语言，在过程语言的基础上增加面向对象机制，使传统程序员容易接受面向对象思想。如C++等语言。 1. 支持类与对象概念的机制 所有面向对象语言都允许用户动态创建对象，并且可以用指针引用动态创建的对象。 允许动态创建对象，就意味着系统必须处理内存管理问题。 有两种管理内存的方法： 一种是由语言运行机制自动管理内存，即自动回收机制； 另一种是由程序员编写释放内存的代码。某些面向对象的语言允许程序员定义析构函数(destructor)。每当一个对象超出范围或被显式删除时，就自动调用析构函数。这种机制使得程序员能够方便地构造和唤醒释放内存的操作，却又不是垃圾收集机制。 2. 实现整体-部分(即聚集)结构的机制 实现整体-部分结构有两种方法：使用指针和独立的关联对象。 大多数现有的面向对象语言并不显式支持独立的关联对象，在这种情况下，使用指针是最容易的实现方法，通过增加内部指针可以方便地实现关联。 3. 实现一般-特殊(即泛化)结构的机制 包括实现继承机制和解决名字冲突机制。 支持多重继承的语言中解决名字冲突，指的是处理在多个基类中可能出现的重名问题。 不论使用何种语言，程序员都应该尽力避免出现名字冲突。 4. 实现属性和服务的机制 对于实现属性的机制应该考虑以下方面： 支持实例连接的机制； 属性的可见性控制和属性值的约束机制； 对于服务主要应该考虑下列因素： 支持消息连接(即表达对象交互关系)的机制； 控制服务可见性的机制和动态联编机制。 所谓动态联编：是指系统在运行过程中，当需要执行一个服务时，选择实现该服务的适当算法的能力，使程序员在向对象发送消息前，无须知道接受消息的对象当时属于哪个类。 5. 类型检查 程序语言可按照编译时进行类型检查的严格程度分。 弱类型：要求每个变量或属性隶属于一个对象； 强类型：语法规定每个变量或属性必须准确地属于某个特定的类。C++则是强类型语言。 强类型语言主要有两个优点： 一是有利于在编译时发现程序错误， 二是增加了优化的可能性。 强类型语言有助于提高软件的可靠性和运行效率，现代的程序语言理论支持强类型检查，大多数新语言都是强类型的。 6. 类库 大多数面向对象语言都提供一个实用的类库。某些语言本身并没有规定提供什么样的类库，而是由实现这种语言的编译系统自行提供类库。 类库中往往包含实现通用数据结构(例如，动态数组、表、队列、栈、树等等)的类，通常把这些类称为包容类。在类库中还可以找到实现各种关联的类。 更完整的类库通常还提供独立于具体设备的接口类。此外，用于实现窗口系统的用户界面类也非常有用，它们构成一个相对独立的图形库。 7. 效率 许多人认为面向对象语言效率低。原因： 某些早期的面向对象语言是解释型而不是编译型的。 事实上，类库中提供了更高效的算法和更好的数据结构。 查找过程优化，实现了高效率查找。如在使用动态联编实现多