论文部分内容阅读
面向对象是一种新兴的程序设计方法,其基本思想是使用对象、类、继承、封装、消息等基本概念来进行程序设计。面向对象方法包括分析、设计和实现活动,分析的主要任务是通过分析问题域建立系统的类结构。合理的类结构对面向对象设计阶段起着非常重要的作用。 类是类结构的基本元素,本文研究了良好的类应当具备的四个基本特征:完整性和充分性、原子性、高内聚、低耦合。并给出定量的指标对类进行度量,度量的指标包括:类的加权方法数、继承树的深度、子女的数目、方法继承因子、属性继承因子、耦合因子和多态因子,通过这些指标了解各个类的复杂程度等一些重要的特性。 类结构中类之间的关系包括:一般一特殊关系,整体-部分关系,对象之间的静态关系,对象之间的动态关系。本文重点研究了建立一般-特殊关系所必须服从的抗变性、协变形原则和闭合行为原则。这些原则保证了一般-特殊结构中父类和子类在行为和状态上的一致性,从而使用户可以安全的使用一般-特殊结构给设计带来的好处。另外参考关系数据库中引用完整性概念,即要求不允许引用不存在的元组,提出类结构的引用完整性原则,即如果一个类结构是引用完整的,那么它所对应的图应该是连通图。 最后提出以XML来表示类结构,并结合上述的理论完成了一个类结构检验工具的分析与设计。