可视化面向对象形式化分析工具VOOFA的设计及实现

摘要

为了协助用户进行面向对象分析和设计,加强对象的理解和使用,该文试图从数学的角度业分析面向对象的概念.首先把面向对象中的类看作集合,类的对象看成集合中的元素,并用数学公式来表示.然后以此为基础来描述、推导或证明面向对象分析和设计中的一系列公理、定理、公式、算法和设计原则.这些公理、定理、公式、算法、设计原则既可作为学习面向对象设计的理论知识,又可作为进行面向对象分析和设计的工具和指导原则.面向对象软件度量的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱,软件度量学理论党政军缺少坚实的理论基础,而且有的度量可操作性不好.通过对OO语言的共性的研究及引入面向对象形式化逻辑分析的结果,该文给出了一套不同层次上(类层次上和系统层次上)的、可操作性好的面向对象系统度量集.并设计了一个可视化的面向对象分析辅助工具,利用该工具,用户可用在设计过程中进行各种面向对象特性的度量,而且还能对系统中类之间、对象之间的关系进行分析和评价.用户可以根据分析结果确定系统重点测试的目标从而降低系统的故障率.同时该文党政军提供了一个可重用的C++类来帮助用户实现持久对象,利用它用户可以方便地在自己的系统中实现对象持久化.

目录

文摘

英文文摘

第一章引言

1.1面向对象技术的发展回顾

1.2面向对象系统的开发过程

1.3面向对象开发方法的介绍及比较

1.3.1 Coad/Yourdon方法

1.3.2 Booch方法

1.3.3 Rumbaugh的OMT方法

1.3.4 Jacobson方法

1.4现有方法的不足及研究的意义

1.5本文的主要内容

第二章面向对象的形式化逻辑分析理论

2.1形式化逻辑分析的动因

2.2形式化逻辑分析基础

2.3符号、公式的定义及公理和定理

2.3.1常用符号、公式的定义

2.3.2公理和定理

2.4对象状态分析

2.4.1程序状态变迁的表示

2.4.2对象属性状态的表示

2.4.3对象状态的表示

2.4.4子类和父类状态空间的关系

2.4.5对象状态变迁的表示

2.5类的分析

2.5.1类的封闭性逻辑分析(用到表2-1中编号为17,21,22,34的定义)

2.5.2类的聚合性逻辑分析(用到表2-1中33的定义)

2.5.3类的继承性逻辑分析(用到表2-1中27，39的定义)

2.6一些算法

2.7在面向对象开发中软件度量的作用

2.7.1与继承相关的度量

2.7.2与封装相关的度量一些算法

2.7.3与多态相关的度量

第三章对象模式和关系模式的映射理论基础

3.1对象存储的现状及提出对象存储层的迫切性

3.2关系模式与对象模式的比较

3.2.1不同的类型系统

3.2.2不同的语言

3.2.3不同的范例

3.2.4不同的基本数据实体

3.3对象关系映射中存在的若干问题

3.4对象的映射

3.4.1超集(Superset)映射

3.4.2子集(Subset)映射

3.4.3表(Table)映射

3.5对象关系的映射

3.5.1继承关系的映射

3.5.2关联、聚集及其他关系的映射

3.6映射规则小结

3.7对象标识(OID)的管理

第四章系统的目标与特点及主要功能模块的介绍

4.1系统的目标与特点

4.1.1本系统的优势

4.1.2系统的目标

4.2系统主要功能模块的介绍

4.3对象的存储

4.3.1对象标识符

4.3.2类的存储

4.3.3对象实例的存储

第五章CRUD模型——一个面向对象持久化的模型

5.1实现对象—关系映射的几种方法

5.2模型的组成及各部分的交互图介绍

5.3 C++实现持久类的主要接口

第六章可视化面向对象形式化逻辑分析系统VOOFA的介绍

6.1系统主界面

6.2菜单区

6.2.1文件菜单

6.2.2类模式管理

6.2.3对象查询

6.2.4工具菜单

6.3实例一：一个简单类图耦合性的度量

6.3.1类图表示

6.3.2系统交互耦合度量结果

6.4实例二：干扰解扰有限电视收费系统的分析和改进

6.4.1系统需求

6.4.2建立对象类图

6.4.3修改类图及系统改进

结束语

参考文献

致 谢

勘误表