随着软件系统的日益复杂,软件开发、维护以及进化的大部分工作和主要成本集中在对现有系统的理解上。软件逆向工程是一种辅助程序理解的重要手段,其目标是利用工程化的方法和技术分析软件系统组件及其之间的相互关联,并以另一种方式或更高层次的抽象形式来描述该系统。在深入分析了逆向工程、UML2.0、XMI2.0等理论的基础上,论文重点研究了逆向工程中行为模型的恢复方法。首先提出了一种以动态信息为基础,结合静态信息逆向生成序列图的方法,生成的序列图符合UML2.0标准,更加合理全面;接着借助于改进的序列图,对状态图的生成作了进一步的探索,讨论了利用BK算法及UML2.0序列图合成状态图的方法。该方法简化了用户操作,生成的状态图更加接近于实际模型,有利于用户对目标系统的全面理解和认识。论文中提出的所有方法、算法均已在XDRE(XiDian Reverse Engineering,西电逆向工程工具集)中实现。