基于LoCMD的软件修改分析技术

作者：孙小兵; 李必信; 陶传奇

来源：软件学报, 2012, (06): 1368-1381.

• 形式概念分析
• 修改影响分析
• 修改评估
• 修改分析
• 类与方法依赖格 formal concept analysis(FCA)
• impact analysis
• change analysis
• change assessment
• lattice of class and method dependence

当对软件进行修改时,肯定会对软件的其他部分造成一些潜在的影响,从而带来软件的不一致性;如果该修改所带来的影响波及到整个系统,可能就需要考虑其他修改方案来实施该修改.因此在实施修改之前,需要对所提出的修改方案进行修改分析,从而确定是否需要进行修改或者选择什么方案进行修改.基于形式概念分析技术,提出了一种紧凑的面向对象程序中间表示——类与方法依赖格(LoCMD);然后,基于LoCMD,提出了一种修改分析模型,该模型包含了修改实施前一系列软件修改分析活动,包括与修改相关的程序理解、影响分析以及修改评估.实验结果表明了所提出的LoCMD和修改模型的有效性,从而有助于维护人员对所提出的修改建议做出正确的...

• 单位
  中国科学院软件研究所; 东南大学; 计算机科学国家重点实验室