| 一种基于类型约束的泛型Java程序重构方法 |
| |
| 引用本文： | 陈林,徐宝文,周晓宇,曹璟. 一种基于类型约束的泛型Java程序重构方法[J]. 电子学报, 2007, 35(Z2) |
| |
| 作者姓名： | 陈林 徐宝文 周晓宇 曹璟 |
| |
| 作者单位： | 1. 东南大学计算机科学与工程学院,江苏南京,210096
2. 江苏省软件质量研究所,江苏南京,210096 |
| |
| 基金项目： | 国家杰出青年科学基金，国家自然科学基金，高等学校博士学科点专项科研基金，江苏省自然科学基金，江苏省高技术研究项目 |
| |
| 摘 要： | 泛化关系重构是一类非常重要的重构方法,能否实施这类重构取决于程序中的类型约束.本文针对现有泛化关系重构方法在处理泛型程序时不考虑参数化类型的约束,会破坏程序类型正确性的问题,提出了一组泛型Java程序的类型约束规则,通过构造类型约束图分析了重构前后程序的类型约束,并给出了提炼接口和成员上移的自动化重构算法,可以在与程序代码规模成线性关系的时间内实施重构,并有效地保证程序的类型正确性.
|
| 关 键 词： | 重构 泛型Java 类型约束 软件维护 |
Refactoring Generic Java Programs Based on Type Inference |
| |
| CHEN Lin,XU Bao-wen,ZHOU Xiao-yu,CAO Jing. Refactoring Generic Java Programs Based on Type Inference[J]. Acta Electronica Sinica, 2007, 35(Z2) |
| |
| Authors: | CHEN Lin XU Bao-wen ZHOU Xiao-yu CAO Jing |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
