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