逆向工程从可运行的程序系统出发，生成对应源程序的系统结构以及相关的设计逻辑等等。它具有重大现实意义和经济价值，可以将大量的遗产系统转化为易于演化的系统，从而充分有效地利用这些有用资产。虽然近年对软件逆向工程的研究已有不少，但是它仍然属于一个未充分发展的领域，并未形成统一的标准、方法和过程，因此很有必要进行深入研究。 本文以C语言源程序的逆向工程为例，对软件逆向工程的理论和方法进行了较为深入的研究，主要内容和技术包括： 1．描述了当前软件逆向工程发展中的技术现状，提出了逆向工程只是一个分析检查的过程，揭示系统的本质关系，从而辅助对系统的理解，它涉及到三个规范活动：数据收集、知识组织和信息浏览。 2．提出将同步细化策略作为软件逆向工程的理解策略，同步细化策略基于对设计决策的探测，它比自顶向下策略和自底向上策略能够更好地克服程序理解中的困难，同时它所产生的再工程的设计也更能适应软件逆向工程的需要。 3．分析了本系统中的文档／视图结构的实现技术，及对逆向工程的第一步骤实现的支持—EUCP系统的反编译技术过程。