基于静态代码分析的自动化对象接口规范提取工具.pdfVIP

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