一种基于类型传播分析的泛型实例重构方法

摘要：

重构泛型实例有利于提高软件的复用性和类型安全,但现有重构方法的时间复杂度较高,不适用于即时持续的重构.分析了变量类型传播分析方法在重构中的不足,提出了一种改进的泛型变量类型传播分析方法.该方法通过引入一种可以描述复杂参数化类型关系的泛型类型传播图,以复制节点的方式实现泛型变量属性敏感的类型分析,并通过解决别名问题来提高分析的精度.实例研究表明,可以在与程序规模呈近似线性增长的时间复杂度内实施重构,取得了较满意的效果.

关键词：泛型、软件重构、类型传播分析、别名分析、软件重用

所属期刊栏目：20

分类号：TP311(计算技术、计算机技术)

资助基金：the National Natural Science Foundation of China under Grant Nos.90818027, 60633010;the National High-Tech Research and Development Plan of China under Grant No.2009AA01Z147 国家高技术研究发展计划863

在线出版日期：2009-12-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：2617-2627