基于依赖性分析的对象行为协议逆向恢复

计算机科学 ›› 2008, Vol. 35 ›› Issue (8): 265-268.

基于依赖性分析的对象行为协议逆向恢复

黄洲彭鑫赵文耘

复旦大学计算机科学与工程系软件工程实验室,上海200433

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
国家863计划（2007AA012125）、国家自然科学基金（60473061,60703092）.

HUANG Zhou PENG Xin ZHAO Wen-yun （Department of Computer Science and Engineering, Fudan University, Shanghai 200433, China）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 对象行为协议对于理解对象行为语义、对象行为验证、测试以及指导其他开发者正确使用对象所提供的外部行为都有十分重要的意义。然而在很多遗产系统中，对象行为协议常常缺失或随着长期的代码维护而出现不一致。针对这一问题，本文提出了一种静态的对象行为协议逆向恢复方法。该方法首先通过源代码分析获取对象（类）内部各方法之间直接和间接的依赖关系，然后在对象（类）内部依赖关系的基础上构建行为协议状态机。由于对象（类）内部的依赖关系是对象行为约束的主要根源，而静态分析具有全面、准确的优点，因此该方法获得的行为协议具有较好的准确性

关键词: 行为协议抽象状态图方法依赖静态分析再工程逆向工程

Abstract: The behavior protocol of object has the critical meaning in understanding and integrating the object into development. Unfortunately, protocol is rarely maintained during the development of lagecy systems. To handle the problem,this paper proposes a techn

Key words: Behavior protocol, Abstract state graph, Function dependence, Static analysis, Reengineering, Reverse engi- neering

黄洲彭鑫赵文耘. 基于依赖性分析的对象行为协议逆向恢复[J]. 计算机科学, 2008, 35(8): 265-268. https://doi.org/

HUANG Zhou PENG Xin ZHAO Wen-yun （Department of Computer Science and Engineering, Fudan University, Shanghai 200433, China）. [J]. Computer Science, 2008, 35(8): 265-268. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed