一种基于形式概念分析的软件维护方法,当用户提议某个修改请求,首先利用形式概念分析技术进行特征定位,识别该修改请求在源代码中对应的代码信息即初始的修改集;然后利用形式概念分析构造程序的中间表示,理解源代码中元素之间的依赖关系,辅助程序理解;再根据这些依赖关系进行修改影响分析,得到一种层次化的影响集;最后,根据影响集结果,定义可修改性度量,并根据该度量进行修改评估,从而给出具有指导意义的修改评估结果,判断是否接受该修改;当评估通过该修改方案后,则进入到修改传播分析阶段,需要不断地进行影响分析以及可能需要实施的二次修改,直至完成所有的修改;在修改完成之后,进行回归测试以及调试,保证新系统的一致性以及正确性。