基于语义的软件演化的度量

论文摘要

随着计算机应用的深入和软件工程的发展,软件系统已成为现代社会最重要的资产之一。越来越多的公司和社会机构依赖于其内部的软件系统来提高竞争力和减少成本。软件系统与其他系统一样,随着技术的进步和环境的不断变化,其自身也会逐渐老化,不再适应用户和环境的需要而变成遗产系统。因此,为了充分有效地利用这些有用资源,对遗产系统进行持续改造使之能满足客户的需要变得十分重要。软件演化就是指对遗传软件系统在其生命周期中不断维护,不断完善的系统动力学行为。在软件演化领域,人们提出了许多不同的方法,但仍然有较大的研究空间,特别是在软件演化的技术度量方面。在研究国内外现有方法的基础之上,文章提出基于模型切片的软件演化度量框架,在这个框架中,模型切片成为演化的核心。模型是系统形式化的规约,文章扩展程序切片的思想对模型进行切片,并将模型切片以赋权类依赖图的形式表示,这样可以利用图论中的方法来计算软件演化过程中模型的改变以及这种变化带来的波及效应的度量值。此外,本体定义元模型的研究将知识工程与软件工程结合在一起,文章提出在本体定义元模型的基础上构造本体依赖图,并利用切片规则对其本体切片,在此基础上研究基于语义的软件演化的度量。

论文目录

• 摘要
• ABSTRACT
• 第一章 引言
• 1.1 论文的研究背景
• 1.2 本文的选题目的
• 1.3 国内外研究现状
• 1.4 文章的组织形式
• 第二章 软件演化理论和软件度量的概念
• 2.1 软件演化的基本概念
• 2.1.1 软件演化与软件再工程
• 2.1.2 软件演化与软件复用
• 2.1.3 软件演化与软件维护
• 2.2 软件演化过程及其特征
• 2.2.1 软件演化过程模型
• 2.2.2 软件演化过程特征
• 2.3 软件的技术度量
• 2.3.1 软件质量
• 2.3.2 软件度量
• 2.4 面向对象的度量技术
• 2.4.1 面像对象的CK 度量
• 2.4.2 面向对象的MOOD 度量
• 2.4.3 基于UML 类图模型的CK 度量分析
• 2.4.4 基于UML 类图模型的MOOD 度量分析
• 2.5 软件演化过程的度量
• 第三章 基于模型切片的软件演化及度量
• 3.1 程序切片技术
• 3.1.1 程序切片技术的定义
• 3.1.2 静态和动态切片技术
• 3.1.3 面向对象的切片技术
• 3.1.4 使用图形进行程序切片
• 3.1.5 基于程序切片的软件度量
• 3.2 模型切片技术
• 3.2.1 模型切片概念的提出
• 3.2.2 上下文无关的模型切片
• 3.3 模型切片的演化分析
• 3.3.1 模型切片演化概念的提出
• 3.3.2 模型切片的耦合问题分析
• 3.3.3 模型切片演化的波及效应分析
• 3.3.4 赋权类依赖图
• 3.4 模型切片演化的度量技术
• 3.4.1 基于邻接矩阵的切片复杂度度量
• 3.4.2 基于距离矩阵的切片复杂度度量
• 第四章 基于本体切片的软件演化及度量
• 4.1 模型驱动体系构架
• 4.1.1 MDA 框架
• 4.1.2 MDA 实现步骤
• 4.1.3 MDA 核心规范
• 4.1.4 模型变换
• 4.2 基于MDA 的软件演化
• 4.2.1 MDA 演化框架
• 4.2.2 MDA 演化类型
• 4.3 本体
• 4.3.1 本体描述语言
• 4.3.2 本体的构造规则
• 4.4 本体语义演化及其度量
• 4.4.1 本体定义元模型
• 4.4.2 本体演化
• 4.4.3 本体的演化过程和框架
• 4.4.4 本体依赖图
• 4.4.5 本体切片
• 4.4.6 本体切片演化的语义度量
• 第五章 总结与展望
• 5.1 总结
• 5.2 展望
• 致谢
• 参考文献
• 攻读硕士学位期间发表的论文
• 攻读硕士学位期间参与的科研项目