论文部分内容阅读
对象行为协议对于理解对象接口、正确实现模块集成以及类代码的复用都有着重要的意义。在前期工作中,提出了一种基于静态源代码分析的对象行为协议自动提取方法。该方法通过源代码分析获取对象(类)内部各接口方法之间直接和间接的依赖关系,然后在对象(类)内部依赖关系的基础上构建接口的状态机图。在此基础上,进一步介绍相应的支持工具,包括主要模块、各部分的主要实现技术等。