软件重构技术研究

第1章绪论
1.1软件重构的概念
1.2代码坏味问题
1.3软件重构规则
1.4软件重构流程
1.5软件重构研究现状
1.6主要研究内容
第2章模型重构
2.1模型
2.2软件模型
2.2.1模型驱动的体系结构
2.2.2以模型为核心的迭代开发
2.2.3以模型为核心的软件维护
2.3模型重构
2.4模型重构的方法和工具
2.5模型重构主要问题
2.6自动化模型重构方案
2.6.1图转换技术
2.6.2基于图转换的模型重构方案
2.7小结
第3章模型重构描述语言
3.1形式化的意义
3.2形式化规则描述语言
3.2.1基本概念
3.2.2设计模型的形式化表示
3.2.3自由变量
3.2.4多重性
3.2.5嵌套模式
3.2.6序列
3.2.7负面应用条件
3.2.8不存在
3.2.9所有
3.2.10OCL约束
3.3模型的形式化描述
3.3.1简单模式及模式匹配
3.3.2复杂模式及模式匹配
3.4模型重构的形式化规则
3.5形式化语法规则
3.6模型重构形式化实例
3.7小结
第4章模型重构约束的描述与验证
4.1特性保持约束
4.2模型重构实例
4.3重构规则的表示
4.4重构约束的描述
4.5重构约束的验证
4.6适用条件
4.7小结
第5章模型坏昧通用检测方法
5.1坏味检测概述
5.2通用检测方法设计思路
5.3CSP问题及其求解方法
5.4图模式匹配到CSP的转换
5.5通用检测方法
5.6通用检测方法的局限性
5.7小结
第6章顺序图中的克隆块检测
6.1顺序图中的克隆块
6.2基本顺序图及后缀树
6.2.1基本顺序图及克隆块
6.2.2后缀树
6.3顺序图中克隆块的检测
6.3.1检测方案设计思路
6.3.2基本顺序图的克隆块检测
6.3.3顺序图的高级特性及其处理对策
6.4检测测试
6.5小结
第7章用况模型中的重复事件流片段检测
7.1用况抽象模型与特征追踪关系
7.2关键词抽取与事件相似度
7.3事件流片段相似度
7.4基于启发式搜索的相似事件流检测算法
7.5算法分析
7.6算法测试
7.7小结
第8章重叠用况检测
8.1重叠用况问题
8.2重叠用况特征
8.3重叠用况
8.3.1教务管理系统功能说明
8.3.2重叠用况的影响
8.3.3对重叠用况采取的措施
8.3.4重叠用况难于检测
8.4重叠用况的检测方法
8.4.1方法概览
8.4.2目标的标识与比较
8.4.3生成状态机图
8.4.4检测重叠状态迁移路径
8.4.5检测重叠消息序列
8.5算法测试
8.6小结
第9章重构调度策略
9.1调度的重要性
9.2重构冲突示例
9.3重构质量度量模型
9.4重构冲突的形式化表示
9.5调度策略
9.5.1方法概述
9.5.2冲突矩阵
9.5.3调度模型
9.5.4调度策略
9.6算法测试
9.6.1测试项目
9.6.2测试流程
9.6.3测试结果
9.7小结
第10章基于图转换的模型重构工具
10.1重构工具的现状
10.2功能需求
10.3体系结构
10.3.1建模工具及元建模工具
10.3.2规则描述语言编辑器
10.3.3规则描述语言解析器
10.3.4冲突检测
10.3.5坏味检测
10.3.6重构调度
10.3.7执行引擎
10.3.8其他插件
10.4小结
第11章方法抽取重构的检测与分析
11.1概述
11.2方法抽取重构
11.3方法抽取重构检测
11.4方法抽取检测算法
11.4.1查找新方法
11.4.2判断方法抽取
11.5方法抽取检测插件的实现
11.6插件测试
11.6.1测试结果
11.6.2测试分析
11.7小结
……
第12章实时增量式重构检测
第13章面向代码坏昧检测的阈值动态优化方法
参考文献