uml模型和java代码之间的一致性检测方法

针对代码与模型之间的不一致性问题,提出了一种基于uml模型和java代码之间的一致性检测方法。首先,对uml类图和时序图进行形式化描述,并提出时序调用图(sd-cg)这一概念,在此基础上完成类的关联关系到关联属性的转换以及uml时序图到时序调用图sd-cg的转换；其次,通过方法调用图cg来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对java源代码的词法分析与语法分析,可获得类的信息及方法调用图cg；然后设计了uml模型与java源代码间一致性检测算法,包括对类间静态信息以及时序调用图sd-cg与方法调用图cg间的一致性检测；最后,通过开发uml模型与java源代码一致性检测工具,验证了所提出的方法是可行有效的。