本文我们研究的是使用概念分析的方法进行程序的重构。概念就是有共同属性的所有对象的集合。概念分析的就是求解概念格的计算方法。早期是作为数学理论提出来的，目的是为了重构格理论。计算概念格的步骤是：第一步：计算最小概念。这个概念是指这样的一个对象的集合，这些集合中的对象具有所有的属性，通常这个概念是不存在的。第二步：计算出原概念。原概念是一组由对象域和属性域组成的集合。属性域就是共同属性的集合，对象域是指包含这些属性的（与这些属性相同或除了拥有这些属性之外还拥有其他属性）的对象的集合。第三步：计算子概念，形成概念格。在上步求得的原概念的基础之上，找出各原概念之间的共同属性，然后求出拥有这些共同属性的所有对象的集合。因为概念分析的过程，是寻找拥有共同属性的所有对象集合的过程。所以这种方法逐渐的应用于计算机领域。1995年成立的概念化结构国际会议，标志着概念分析在计算机科学中成为一个独立的研究领域。在人工智能、数据挖掘、知识表示、概念化图、描述逻辑、机器学习、软件工程等众多的研究领域，都会应用到概念分析的方法。在本文，我们利用概念分析的方法来解决程序重构的问题。使没有模块化形式的程序，转换成相应的程序，使维护和进一步的开发变得容易。 <WP=53>早期Lindig和Snelting也运用概念分析的方法来解决程序的重构问题。他们研究了在Fortran和Cobol中，对于小程序或中等程序的应用，但结果并不理想。概念格并没有把程序分解成有用的模块。分析Lindig和Snelting没有成功的原因。主要是应用的语言对象，Fortun语言和Cobol语言的结构性不强，而且他们没能够解决内在联系的问题。本文研究的起点是C语言，C语言的结构体变量，使C语言有更强的结构性。解决内在联系的问题，我们采用反面信息的方法。以往的研究我们使用的是正面的信息。比如“函数f使用了变量x”或者“函数f有参数t”等。反面的信息就是没有使用参数或变量的信息。比如“功能f没有使用堆栈结构体”。这样不但可以区分出来功能之间的相似之处，也可以区分出来它们之间的不同之处。本文的程序重构过程是运用概念分析的方法来实现的。第一步：建立三元组，三元组由对象、属性以及它们之间的二元关系组成。这个二元关系是指某一对象是否具有某种属性。如果有，这个二元关系就为“真”，如果没有，这个二元关系就为“假”。第二步：根据概念格计算的方法，建立概念格。第三步：确定概念的划分，总结得到的概念，获得模块化的结果。在程序重构的时候，经常会遇到具有内在联系的程序。我们在文章中就举了这样一个例子。在原程序中，使用了堆栈和队列两个结构体。队列用两个堆栈来表示，1个是首部的堆栈，1个是尾部的堆栈。当尾部的堆栈为空时，数据就从首部的堆栈弹出，压入尾部的堆栈。这样，对于队列的操作，需要访问堆栈，间接的使用了堆栈域。队列和堆栈这两个模块是有内在联系的。如果我们仍然沿袭老的方法建立三元组，最终计算出来的概念格，<WP=54>没有一个概念可以表示堆栈模块。为了解决这个问题，我们在建立三元组时，考虑使用反面的信息。原来在建立三元组时，我们设置了一个属性“使用了队列域”，我们现在再增加一个属性，“没有使用队列域”。在这个基础上求出的概念格，就有一个概念可以表示堆栈模块。上面我们讲述了概念分析在程序重构技术中的应用。在实际的工作中，我们还会考虑，在生成的许多概念中，如何选择我们所需要的概念。这就是概念的划分。划分的原则是，所有模块的集合是不相交的，但又必须表示出输入程序的所有功能。概念的划分，就是把所有的概念分成不同集合。每个概念集合中，各概念的对象集合包含了所有的对象，并且每组对象之间不交迭，就是说1个对象不会出现2次。这时，这组概念集合就是一个概念的划分。为了方便软件工程师的工作，使他们不至于陷入纷繁复杂的选择中，对概念进行划分是非常必要的。进行概念的划分之后，方便了软件工程师的工作，使他们免于陷入纷繁复杂的工作当中。本文我们研究了如何使用概念分析的方法，将一个没有模块化形式的C语言程序，转换成C++语言程序，使其具有了类的形式。主要讨论了概念格的建立过程以及如何进行概念的划分，并且用C语言实现了这个过程。