依赖注入技术及其执行过程的形式化描述

依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系，将被调用构件实例化，并注入到调用构件之中。本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。     

基于版本的多重软件重构自动检测技术研究

软件重构的自动检测是目前软件重构领域的一个研究热点.目前,多重软件重构的自动检测方法能够检测出在不同软件版本的不同位置上实施的多重重构操作,但是对发生在不同软件版本的相同位置上的多重重构操作则无能为力.为此,该文提出了一种在函数级别,利用函数调用图,实现基于多版本的多重软件重构的自动检测方法.该方法能够自动检测出在不同软件版本中的同一个函数上发生的“函数抽取”和“函数重命名”多重重构操作.同时,通过实验验证了该方法的有效性.     

版本信息驱动的框架变化点识别技术研究

面向对象的框架是实现软件产品线的一种重要形式.文章分析了当前面向对象框架开发的不足,提出了一种版本信息驱动的框架变化点识别技术,即采用概念格的数学方法从软件配置管理系统中挖掘框架实例化的模式,这些模式作为面向对象框架变化点的设计候选,从而更加精确和全面地辅助框架变化点设计.     

面向对象框架变化点识别技术分析

面向对象的框架是实现软件产品线的一种重要形式,变化点体现了领域内产品家族的变化性,获取和设计尽可能完整的变化点是提高面向对象框架可复用性关键之一。目前存在各种面向对象框架的构造和变化点分析技术,该文提出了一个分类框架,从知识获取、知识表示和知识获取手段3个方面分析了面向对象框架变化点的识别技术的特点和发展;最后指出其不足和未来可能改进的方向。     

基于演化依赖的Java软件聚类实现技术研究

传统的软件聚类方法没有考虑软件实体间存在一些无法通过静态分析手段获取的关系（即演化依赖关系）,这将导致聚类后的软件可能不符合“高内聚、低耦合”特征。为了解决上述问题,提出了将软件演化信息纳入软件聚类过程的策略,并在扩展的Java依赖模型的基础上,实现了一个基于模拟退火的软件聚类算法。实验结果表明:该方法能达到提高软件聚类准确度的目的。     

静态网页结构模式相似性判断研究

网页内容的不断更新往往使得采用静态网页制作技术设计的网站难以维护。本文采用基于最长公共子序列算法(LCS),挖掘静态网页之间在网页结构上的相似性即结构模式,结合可视化标注技术辅助静态网站的维护。     

基于多维属性演化树的软件演化风格匹配方法研究

为了提高软件企业的过程能力,该文提出一种基于多维属性演化树的软件演化匹配方法,利用软件的每个版本包含的原子构件个数、原子构件大小、软件体系结构大小、有效代码行数、java文件数等属性,再通过树匹配的方法找出特定类型项目的软件演化风格,优化软件企业演化过程,为提高软件企业的过程能力提供条件.     

一种自动的软件体系结构规约重写方法及工具支持

在软件体系结构层次实施重构,能更好地提高软件的易维护性.该文提出了一种体系结构规约重写的策略描述方法,将体系结构重构转换为接口重构和实现体重构两部分,给出了接口规约重写的基本操作,以及实现体规约重写的操作,并用策略描述语言对这些规则进行了描述和代码实现.