基于静态代码分析的自动化对象接口规范提取工具
在面向对象程序中,对象的接口行为对于理解对象行为,对象行为验证、测试以及指导其他开发者正确使用对象所提供的外部行为都有十分重要的意义。然而在很多遗产系统中,对象接口规范常常缺失或随着长期的代码维护而出现不一致。因此,有效的自动化接口行为逆向恢复对于面向对象程序的维护具有重要意义。针对这一问题,本文提出了一种基于静态源代码分析的对象接口规范自动提取工具。该工具通过读入源代码分析获取对象(类)内部各接口方法之间直接和间接的依赖关系,然后在对象(类)内部依赖关系的基础上构建接口的状态机图。由于对象(类)内部的依赖关系是接口行为约束的主要根源,而静态分析具有全面,准确的优点,因此该工具获得的接口规范具有较好的准确性,而相关的实验结果也很好地验证了这一点。
面向对象 接口规范 抽象状态图 状态分析 逆向工程
黄洲 彭鑫 赵文耘
复旦大学计算机科学与技术学院 上海 200433
国内会议
广州
中文
113-118
2008-11-11（万方平台首次上网日期，不代表论文的发表时间）